is_lake_managua_deeper_than_tyrifjorden

You asked:

No

Lake Managua (also known as Lake Xolotlán) (located at ), the lake in Nicaragua

Tyrifjorden

Tyrifjorden, Norway's fifth largest lake with an area of 137 km², has a volume of 13 km³, is 295 meters deep at its deepest, and lies 63 meters above sea level

Report Abuse

Rate this answer:

Vote

or Vote

How do we know?

Is Lake Managua (also known as Lake Xolotlán) (located at ), the lake in Nicaragua currently deeper (has greater distance from the base to the surface) than Tyrifjorden, Norway's fifth largest lake with an area of 137 km, has a volume of 13 km, is 295 meters deep at its deepest, and lies 63 meters above sea level?

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 July 26th 2014, 11:14:08

The current time is July 26th 2014, 11:14:08

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:
295 metres
is the depth of
Tyrifjorden
([fact: ["685371972@trueknowledge.com"]])

Fact 1
is true for
February 17th 2010 onwards
([fact: ["685371984@trueknowledge.com"]])

Fact 2:
20 metres
is the depth of
Lake Managua
([fact: ["908421170@trueknowledge.com"]])

Fact 2
is true for
June 4th 2010 onwards
([fact: ["908421174@trueknowledge.com"]])

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: ["instance_number@trueknowledge.com"]) I know that:

20 is a number

20 is a number

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

20 metres is strictly equal to 20 metres

20 metres is strictly equal to 20 metres

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

20 metres is the base unit equivalent of 20 metres

20 metres is the base unit equivalent of 20 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:

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 20 metres

metre is the unit used in 20 metres

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

metre is the second parameter of 295 metres

metre is the second parameter of 295 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 July 26th 2014, 11:14:08

Fact 3 is true at July 26th 2014, 11:14:08

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

295 is the first parameter of 295 metres

295 is the first parameter of 295 metres

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

295 is the product of 1 and 295

295 is the product of 1 and 295

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

length is the class of the parametered object 295 metres

length is the class of the parametered object 295 metres

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

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

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

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

Fact 4: 295 metres is equivalent to 295 metres

Fact 4: 295 metres is equivalent to 295 metres

Fact 4
is true at
July 26th 2014, 11:14:08

Fact 4:
metre
is the unit used in
295 metres

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

295 is greater than 20

295 is greater than 20

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

295 is not less than 20

295 is not less than 20

295
is not the same as
20

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

295 metres is greater than 20 metres

295 metres is greater than 20 metres

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

June 4th 2010 onwards is the timeperiod intersection of February 17th 2010 onwards and June 4th 2010 onwards

June 4th 2010 onwards is the timeperiod intersection of February 17th 2010 onwards and June 4th 2010 onwards

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

Fact 5: Tyrifjorden is deeper than Lake Managua

Fact 5: Tyrifjorden is deeper than Lake Managua

Fact 5
is true for
June 4th 2010 onwards

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

Fact 6: Lake Managua is not deeper than Tyrifjorden

Fact 6: Lake Managua is not deeper than Tyrifjorden

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

Fact 6 is true for June 4th 2010 onwards

Fact 6 is true for June 4th 2010 onwards

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

Fact 6 is true for all of timepoint July 26th 2014, 11:14:08

Fact 6 is true for all of timepoint July 26th 2014, 11:14:08

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'

295 metres has been the depth of Tyrifjorden since at least February 17th 2010

20 metres has been the depth of Lake Managua since at least June 4th 2010

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

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.