is_almsee_deeper_than_alton_water

You asked:

No

Almsee

Almsee, the lake in Upper Austria's part of the Salzkammergut in the Almtal valley, south of the village of Grünau im Almtal

Report Abuse

Rate this answer:

Vote

or Vote

How do we know?

Is Almsee, the lake in Upper Austria's part of the Salzkammergut in the Almtal valley, south of the village of Grünau im Almtal currently deeper (has greater distance from the base to the surface) than Alton Water (or Alton Reservoir), the manmade reservoir?

Facts
Show facts

Show reasoning
Reasoning

I followed this chain of reasoning:

By calculation (generator: ["now@trueknowledge.com"]) I know that:

The current time is April 16th 2014, 07:23:33

The current time is April 16th 2014, 07:23:33

I know from locally stored knowledge that:

treat as antisymmetric applies to is deeper than ([fact: ["232414502@trueknowledge.com"]])

treat as antisymmetric applies to is deeper than ([fact: ["232414502@trueknowledge.com"]])

physical object
is the left class of
is deeper than
([fact: ["163492322@trueknowledge.com"]])

physical object
is the right class of
is deeper than
([fact: ["163492326@trueknowledge.com"]])

By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:

physical object is strictly equal to physical object

physical object is strictly equal to physical object

I know from locally stored knowledge that:

is deeper than is a left comparison of is the depth of ([fact: ["163492390@trueknowledge.com"]])

is deeper than is a left comparison of is the depth of ([fact: ["163492390@trueknowledge.com"]])

Fact 1:
20 metres
is the depth of
Alton Water
([fact: ["994317082@trueknowledge.com"]])

Fact 1
is true for
October 2nd 2010 onwards
([fact: ["994317090@trueknowledge.com"]])

Fact 1
is true for
November 14th 2010 onwards
([fact: ["1009648966@trueknowledge.com"]])

Fact 2:
9 metres
is the depth of
Almsee
([fact: ["1048467578@trueknowledge.com"]])

Fact 2
is true for
December 16th 2009 onwards
([fact: ["1048467582@trueknowledge.com"]])

By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:

9 is the first parameter of 9 metres

9 is the first parameter of 9 metres

By calculation (generator: ["instance_number@trueknowledge.com"]) I know that:

9 is a number

9 is a number

By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:

9 metres is strictly equal to 9 metres

9 metres is strictly equal to 9 metres

By calculation (generator: ["base_unit_equivalent5@trueknowledge.com"]) I know that:

9 metres is the base unit equivalent of 9 metres

9 metres is the base unit equivalent of 9 metres

By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:

metre is the second parameter of 9 metres

metre is the second parameter of 9 metres

I know from locally stored knowledge that:

metre is a unit of length ([fact: ["1162015@trueknowledge.com"]])

metre is a unit of length ([fact: ["1162015@trueknowledge.com"]])

metre
is a
unit of measurement
([fact: ["155570053@trueknowledge.com"]])

metre
is a
SI base unit
([fact: ["129904688@trueknowledge.com"]])

metre
is a
metric unit of measurement
([fact: ["134510878@trueknowledge.com"]])

By calculation (generator: ["instance_scalar_unit@trueknowledge.com"]) I know that:

metre is a scalar unit

metre is a scalar unit

By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:

metre is the unit used in 9 metres

metre is the unit used in 9 metres

By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:

metre is the second parameter of 20 metres

metre is the second parameter of 20 metres

I know from locally stored knowledge that:

Fact 3: 1 is the multiplier that converts metre and metre ([fact: ["641960576@trueknowledge.com"]])

Fact 3: 1 is the multiplier that converts metre and metre ([fact: ["641960576@trueknowledge.com"]])

Fact 3
is true for
all time
([fact: ["1050412214@trueknowledge.com"]])

By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:

Fact 3 is true at April 16th 2014, 07:23:33

Fact 3 is true at April 16th 2014, 07:23:33

By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:

20 is the first parameter of 20 metres

20 is the first parameter of 20 metres

By calculation (generator: ["product@trueknowledge.com"]) I know that:

20 is the product of 1 and 20

20 is the product of 1 and 20

By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:

length is the class of the parametered object 20 metres

length is the class of the parametered object 20 metres

By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:

20 metres is the parametered object corresponding to length and 20 and metre

20 metres is the parametered object corresponding to length and 20 and metre

By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:

Fact 4: 20 metres is equivalent to 20 metres

Fact 4: 20 metres is equivalent to 20 metres

Fact 4
is true at
April 16th 2014, 07:23:33

Fact 4:
metre
is the unit used in
20 metres

By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:

20 is greater than 9

20 is greater than 9

Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):

20 is not less than 9

20 is not less than 9

20
is not the same as
9

By calculation (generator: ["scalar_greater@trueknowledge.com"]) I know that:

20 metres is greater than 9 metres

20 metres is greater than 9 metres

By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:

October 2nd 2010 onwards is the timeperiod intersection of October 2nd 2010 onwards and December 16th 2009 onwards

October 2nd 2010 onwards is the timeperiod intersection of October 2nd 2010 onwards and December 16th 2009 onwards

By calculation (generator: ["scalar_comparison3@trueknowledge.com"]) I know that:

Fact 5: Alton Water is deeper than Almsee

Fact 5: Alton Water is deeper than Almsee

Fact 5
is true for
October 2nd 2010 onwards

Fact 5
is true for
March 29th 2012 onwards

I know from locally stored knowledge that:

Fact 6: 5 metres is the depth of Almsee ([fact: ["2503117726@trueknowledge.com"]])

Fact 6: 5 metres is the depth of Almsee ([fact: ["2503117726@trueknowledge.com"]])

Fact 6
is true for
March 29th 2012 onwards
([fact: ["2503117730@trueknowledge.com"]])

By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:

5 is the first parameter of 5 metres

5 is the first parameter of 5 metres

By calculation (generator: ["instance_number@trueknowledge.com"]) I know that:

5 is a number

5 is a number

By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:

5 metres is strictly equal to 5 metres

5 metres is strictly equal to 5 metres

By calculation (generator: ["base_unit_equivalent5@trueknowledge.com"]) I know that:

5 metres is the base unit equivalent of 5 metres

5 metres is the base unit equivalent of 5 metres

By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:

metre is the second parameter of 5 metres

metre is the second parameter of 5 metres

By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:

metre is the unit used in 5 metres

metre is the unit used in 5 metres

By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:

20 is greater than 5

20 is greater than 5

Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):

20 is not less than 5

20 is not less than 5

20
is not the same as
5

By calculation (generator: ["scalar_greater@trueknowledge.com"]) I know that:

20 metres is greater than 5 metres

20 metres is greater than 5 metres

By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:

March 29th 2012 onwards is the timeperiod intersection of November 14th 2010 onwards and March 29th 2012 onwards

March 29th 2012 onwards is the timeperiod intersection of November 14th 2010 onwards and March 29th 2012 onwards

Therefore (generator: ["antisymmetric1@trueknowledge.com"]):

Fact 7: Almsee is not deeper than Alton Water

Fact 7: Almsee is not deeper than Alton Water

By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:

Fact 7 is true for March 29th 2012 onwards

Fact 7 is true for March 29th 2012 onwards

By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:

Fact 7 is true for all of timepoint April 16th 2014, 07:23:33

Fact 7 is true for all of timepoint April 16th 2014, 07:23:33

By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:

Fact 7 is true for October 2nd 2010 onwards

Fact 7 is true for October 2nd 2010 onwards

I used the following facts to provide this answer:

'is deeper than' is treat as antisymmetric

physical object is the left class of 'is deeper than'

physical object is the right class of 'is deeper than'

'is deeper than' is a left comparison of 'is the depth of'

20 metres has been the depth of Alton Water since at least October 2nd 2010

20 metres has been the depth of Alton Water since at least November 14th 2010

9 metres has been the depth of Almsee since at least December 16th 2009

metre is an unit of length

metre is an unit of measurement

metre is a SI base unit

metre is a metric unit of measurement

1 has always been the multiplier that converts metre and metre and will be forever

5 metres has been the depth of Almsee since at least March 29th 2012

tk10publ tk10canl

Evi is our best selling mobile app that can answer questions about local knowledge, weather, books, music, films, people and places, recipe ideas, shopping and much more. Over the next few months we will be adding all of Evi's power to this site.

Until then, to experience all of the power of Evi you can download Evi for free on iOS, Android and Kindle Fire.