is_derwent_water_deeper_than_lac_des_toules

You asked:

No

Derwent Water, one of the principal bodies of water in the Lake District National Park in the North West of England

Lac des Toules

Lac des Toules, the reservoir in Valais, Switzerland, at Bourg-Saint-Pierre

Report Abuse

Rate this answer:

Vote

or Vote

How do we know?

Is Derwent Water, one of the principal bodies of water in the Lake District National Park in the North West of England currently deeper (has greater distance from the base to the surface) than Lac des Toules, the reservoir in Valais, Switzerland, at Bourg-Saint-Pierre?

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 September 1st 2014, 21:23:06

The current time is September 1st 2014, 21:23:06

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:
75 meters
is the depth of
Lac des Toules
([fact: ["1077190194@trueknowledge.com"]])

Fact 1
is true for
December 31st 2010 onwards
([fact: ["1077190198@trueknowledge.com"]])

Fact 2:
22 meters
is the depth of
Derwent Water
([fact: ["432989316@trueknowledge.com"]])

Fact 2
is true for
August 13th 2009 onwards
([fact: ["432989320@trueknowledge.com"]])

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

22 is the first parameter of 22 meters

22 is the first parameter of 22 meters

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

22 is a number

22 is a number

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

22 meters is strictly equal to 22 meters

22 meters is strictly equal to 22 meters

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

22 meters is the base unit equivalent of 22 meters

22 meters is the base unit equivalent of 22 meters

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

meter is the second parameter of 22 meters

meter is the second parameter of 22 meters

I know from locally stored knowledge that:

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

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

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

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

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

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

meter is a scalar unit

meter is a scalar unit

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

meter is the unit used in 22 meters

meter is the unit used in 22 meters

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

meter is the second parameter of 75 meters

meter is the second parameter of 75 meters

I know from locally stored knowledge that:

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

Fact 3: 1 is the multiplier that converts meter and meter ([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 September 1st 2014, 21:23:06

Fact 3 is true at September 1st 2014, 21:23:06

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

75 is the first parameter of 75 meters

75 is the first parameter of 75 meters

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

75 is the product of 1 and 75

75 is the product of 1 and 75

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

length is the class of the parametered object 75 meters

length is the class of the parametered object 75 meters

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

75 meters is the parametered object corresponding to length and 75 and meter

75 meters is the parametered object corresponding to length and 75 and meter

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

Fact 4: 75 meters is equivalent to 75 meters

Fact 4: 75 meters is equivalent to 75 meters

Fact 4
is true at
September 1st 2014, 21:23:06

Fact 4:
meter
is the unit used in
75 meters

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

75 is greater than 22

75 is greater than 22

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

75 is not less than 22

75 is not less than 22

75
is not the same as
22

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

75 meters is greater than 22 meters

75 meters is greater than 22 meters

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

December 31st 2010 onwards is the timeperiod intersection of December 31st 2010 onwards and August 13th 2009 onwards

December 31st 2010 onwards is the timeperiod intersection of December 31st 2010 onwards and August 13th 2009 onwards

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

Fact 5: Lac des Toules is deeper than Derwent Water

Fact 5: Lac des Toules is deeper than Derwent Water

Fact 5
is true for
December 31st 2010 onwards

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

Fact 6: Derwent Water is not deeper than Lac des Toules

Fact 6: Derwent Water is not deeper than Lac des Toules

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

Fact 6 is true for December 31st 2010 onwards

Fact 6 is true for December 31st 2010 onwards

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

Fact 6 is true for all of timepoint September 1st 2014, 21:23:06

Fact 6 is true for all of timepoint September 1st 2014, 21:23:06

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'

75 meters has been the depth of Lac des Toules since at least December 31st 2010

22 meters has been the depth of Derwent Water since at least August 13th 2009

meter is an unit of length

meter is an unit of measurement

meter is a SI base unit

meter is a metric unit of measurement

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

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.