Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nation
Nation(nation)
Afghan, Afghani, Afghanistani, African_country, African_nation, Algerian, Angolan, Aram, Argentine, Argentinian, Asian_Russia, Asian_country, Asian_nation, Australian, Austrian, Bahamian, Bahraini, Balkans, Bangladeshi, Barbadian, Belgian, Beninese, Bermudan, Bhutanese, Blighty, Bolivian, Brazilian, Britannic, Bruneian, Bulgarian, Burmese, Burundi, Burundian, Cambodian, Cameroonian, Canadian, Central_American_country, Central_American_nation, Ceylonese, Chadian, Chilean, Chinese, Colombian, Costa_Rican, Cuban, Czech, Czechoslovakia, Czechoslovakian, Danish, Djiboutian...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3378-3378 Nation is disjoint from continent
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3346-3347
No TPTP formula. May not be expressible in strict first order. Merge.kif 13224-13227
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3359-3359
No TPTP formula. May not be expressible in strict first order. Merge.kif 13222-13222 Nation is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13223-13223 Nation is a subclass of land area

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 568-568 Afghanistan is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 371-371 Albania is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 117-117 Algeria is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 153-153 Angola is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 429-429 Antigua and barbuda is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 514-514 Argentina is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 631-631 Armenia is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 661-661 Australia is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 276-276 Austria is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 633-633 Azerbaijan is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 241-241 Bahrain is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 570-570 Bangladesh is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 434-434 Barbados is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 297-297 Belarus is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 472-472 Belize is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 192-192 Benin is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 572-572 Bhutan is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 496-496 Bolivia is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 373-373 Bosnia and herzegovina is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 156-156 Botswana is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 501-501 Brazil is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 600-600 Brunei is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 375-375 Bulgaria is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 194-194 Burkina faso is an instance of nation
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 86-86 Burundi is an instance of nation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 948-948 The number 1 argument of national anthem is an instance of nation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6349-6349 The number 4 argument of street address is an instance of nation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15608-15608 The number 2 argument of citizen is an instance of nation
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1624-1624 The number 1 argument of inflationRateInCountry is an instance of nation

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22551-22558 A PostalPlace is located at a geopolitical area and the PostalPlace is an instance of PostalPlace and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the PostalPlace is in the geopolitical area
No TPTP formula. May not be expressible in strict first order. Economy.kif 861-865
No TPTP formula. May not be expressible in strict first order. Government.kif 1524-1528
No TPTP formula. May not be expressible in strict first order. Government.kif 4599-4604
No TPTP formula. May not be expressible in strict first order. Government.kif 4579-4588
No TPTP formula. May not be expressible in strict first order. Government.kif 4466-4471
No TPTP formula. May not be expressible in strict first order. Government.kif 4442-4450
No TPTP formula. May not be expressible in strict first order. Government.kif 4401-4409
No TPTP formula. May not be expressible in strict first order. Government.kif 1563-1567
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 195-201
No TPTP formula. May not be expressible in strict first order. Geography.kif 704-709
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1134-1138
No TPTP formula. May not be expressible in strict first order. Government.kif 3160-3164
No TPTP formula. May not be expressible in strict first order. Government.kif 3154-3158
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2289-2308
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2224-2232
No TPTP formula. May not be expressible in strict first order. Government.kif 761-769
No TPTP formula. May not be expressible in strict first order. Government.kif 892-899
No TPTP formula. May not be expressible in strict first order. Government.kif 496-500
No TPTP formula. May not be expressible in strict first order. Government.kif 1410-1416
No TPTP formula. May not be expressible in strict first order. Government.kif 1419-1423
No TPTP formula. May not be expressible in strict first order. Government.kif 1425-1429
No TPTP formula. May not be expressible in strict first order. Government.kif 2145-2150
No TPTP formula. May not be expressible in strict first order. Geography.kif 6369-6373
No TPTP formula. May not be expressible in strict first order. Government.kif 2303-2310

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
No TPTP formula. May not be expressible in strict first order. Geography.kif 2860-2868
No TPTP formula. May not be expressible in strict first order. Government.kif 121-125
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14940-14956
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1165-1169
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1115-1119
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1181-1185
No TPTP formula. May not be expressible in strict first order. Government.kif 2472-2476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14189-14203
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 893-908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25410-25420
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25427-25439
No TPTP formula. May not be expressible in strict first order. Government.kif 482-487
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 32-41
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10901-10906
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1356-1372
No TPTP formula. May not be expressible in strict first order. Government.kif 2457-2465
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1005-1014
No TPTP formula. May not be expressible in strict first order. Merge.kif 13236-13241
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17501-17509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20278-20287
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22545-22549
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11870-11879

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 909-917 For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER contains information voter citizenship requirement


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners