is_andorra_bigger_than_budapest

You asked:

No

Report Abuse

Rate this answer:

Vote

or Vote

How do we know?

Is Andorra, officially the Principality of Andorra, also called the Principality of the Valleys of Andorra, the small country in southwestern Europe, located in the eastern Pyrenees mountains and bordered by Spain and France currently a place with a higher population than Budapest (also; names in other languages), the capital city of Hungary?

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 29th 2014, 16:48:55

The current time is July 29th 2014, 16:48:55

I know from locally stored knowledge that:

treat as antisymmetric applies to is more populous than ([fact: ["232414450@trueknowledge.com"]])

treat as antisymmetric applies to is more populous than ([fact: ["232414450@trueknowledge.com"]])

geographical area
is the left class of
is more populous than
([fact: ["127562310@trueknowledge.com"]])

geographical area
is the right class of
is more populous than
([fact: ["127562311@trueknowledge.com"]])

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

geographical area is strictly equal to geographical area

geographical area is strictly equal to geographical area

I know from locally stored knowledge that:

is more populous than is a left comparison of is the population of ([fact: ["127562353@trueknowledge.com"]])

is more populous than is a left comparison of is the population of ([fact: ["127562353@trueknowledge.com"]])

Fact 1:
1,800,000
is the population of
Budapest
([fact: ["123965883@trueknowledge.com"]])

Fact 1
is true for
1949 onwards
([fact: ["123965884@trueknowledge.com"]])

Fact 2:
84,484
is the population of
Andorra
([fact: ["468495328@trueknowledge.com"]])

Fact 2
is true for
September 2nd 2009 onwards
([fact: ["468495464@trueknowledge.com"]])

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

1,800,000 is greater than 84,484

1,800,000 is greater than 84,484

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

1,800,000 is not less than 84,484

1,800,000 is not less than 84,484

1,800,000
is not the same as
84,484

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

September 2nd 2009 onwards is the timeperiod intersection of 1949 onwards and September 2nd 2009 onwards

September 2nd 2009 onwards is the timeperiod intersection of 1949 onwards and September 2nd 2009 onwards

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

Fact 3: Budapest is more populous than Andorra

Fact 3: Budapest is more populous than Andorra

Fact 3
is true for
September 2nd 2009 onwards

Fact 3
is true for
September 9th 2011 onwards

I know from locally stored knowledge that:

Fact 4: 1,733,685 is the population of Budapest ([fact: ["2341739006@trueknowledge.com"]])

Fact 4: 1,733,685 is the population of Budapest ([fact: ["2341739006@trueknowledge.com"]])

Fact 4
is true for
September 9th 2011 onwards
([fact: ["2342137458@trueknowledge.com"]])

Fact 5:
84,082
is the population of
Andorra
([fact: ["850088636@trueknowledge.com"]])

Fact 5
is true for
June 7th 2010 onwards
([fact: ["850088640@trueknowledge.com"]])

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

1,733,685 is greater than 84,082

1,733,685 is greater than 84,082

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

1,733,685 is not less than 84,082

1,733,685 is not less than 84,082

1,733,685
is not the same as
84,082

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

September 9th 2011 onwards is the timeperiod intersection of September 9th 2011 onwards and June 7th 2010 onwards

September 9th 2011 onwards is the timeperiod intersection of September 9th 2011 onwards and June 7th 2010 onwards

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

Fact 6: Andorra is not more populous than Budapest

Fact 6: Andorra is not more populous than Budapest

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

Fact 6 is true for September 9th 2011 onwards

Fact 6 is true for September 9th 2011 onwards

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

Fact 6 is true for all of timepoint July 29th 2014, 16:48:55

Fact 6 is true for all of timepoint July 29th 2014, 16:48:55

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

Fact 6 is true for September 2nd 2009 onwards

Fact 6 is true for September 2nd 2009 onwards

I used the following facts to provide this answer:

'is more populous than' is treat as antisymmetric

geographical area is the left class of 'is more populous than'

geographical area is the right class of 'is more populous than'

'is more populous than' is a left comparison of 'is the population of'

1,800,000 has been the population of Budapest since 1949

84,484 has been the population of Andorra since at least September 2nd 2009

1,733,685 has been the population of Budapest since at least September 9th 2011

84,082 has been the population of Andorra since at least June 7th 2010

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.