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 3441-3441 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 13971-13974
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 13969-13969 Nation is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13970-13970 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 949-949 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 6370-6370 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 16471-16471 The number 2 argument of citizen is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24063-24070 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 860-864
No TPTP formula. May not be expressible in strict first order. Government.kif 1555-1559
No TPTP formula. May not be expressible in strict first order. Government.kif 4648-4653
No TPTP formula. May not be expressible in strict first order. Government.kif 4628-4637
No TPTP formula. May not be expressible in strict first order. Government.kif 4515-4520
No TPTP formula. May not be expressible in strict first order. Government.kif 4491-4499
No TPTP formula. May not be expressible in strict first order. Government.kif 4450-4458
No TPTP formula. May not be expressible in strict first order. Government.kif 1594-1598
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 712-717
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1145-1149
No TPTP formula. May not be expressible in strict first order. Government.kif 3209-3213
No TPTP formula. May not be expressible in strict first order. Government.kif 3203-3207
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2308-2327
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2243-2251
No TPTP formula. May not be expressible in strict first order. Government.kif 760-768
No TPTP formula. May not be expressible in strict first order. Government.kif 891-898
No TPTP formula. May not be expressible in strict first order. Government.kif 495-499
No TPTP formula. May not be expressible in strict first order. Government.kif 1441-1447
No TPTP formula. May not be expressible in strict first order. Government.kif 1450-1454
No TPTP formula. May not be expressible in strict first order. Government.kif 1456-1460
No TPTP formula. May not be expressible in strict first order. Government.kif 2176-2181
No TPTP formula. May not be expressible in strict first order. Geography.kif 6626-6630
No TPTP formula. May not be expressible in strict first order. Government.kif 2347-2354

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 2923-2931
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 16769-16785
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1176-1180
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1126-1130
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1192-1196
No TPTP formula. May not be expressible in strict first order. Government.kif 2516-2520
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15981-15995
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26495-26505
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26512-26524
No TPTP formula. May not be expressible in strict first order. Government.kif 481-486
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 12727-12732
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1357-1373
No TPTP formula. May not be expressible in strict first order. Government.kif 2501-2509
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1006-1015
No TPTP formula. May not be expressible in strict first order. Merge.kif 13983-13988
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19042-19050
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21835-21844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24057-24061
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13686-13695

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


No TPTP formula. May not be expressible in strict first order. Government.kif 908-916 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