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 3677-3677 Nation is disjoint from continent
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3346-3347 Nation is disjoint from continent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14378-14381 Nation is disjoint from continent
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3357-3357 Nation is disjoint from continent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14376-14376 Nation is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14377-14377 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 956-956 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 7647-7647 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 16928-16928 The number 2 argument of citizen is an instance of nation
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1693-1693 The number 1 argument of inflation rate in country is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26375-26382 A postal place is located at a geopolitical area and the postal place is an instance of postal place 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 postal place is in the geopolitical area
No TPTP formula. May not be expressible in strict first order. Economy.kif 865-869
No TPTP formula. May not be expressible in strict first order. Government.kif 1532-1536
No TPTP formula. May not be expressible in strict first order. Government.kif 4629-4634
No TPTP formula. May not be expressible in strict first order. Government.kif 4609-4618
No TPTP formula. May not be expressible in strict first order. Government.kif 4496-4501
No TPTP formula. May not be expressible in strict first order. Government.kif 4472-4480
No TPTP formula. May not be expressible in strict first order. Government.kif 4431-4439
No TPTP formula. May not be expressible in strict first order. Government.kif 1571-1575
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 870-875
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 3190-3194
No TPTP formula. May not be expressible in strict first order. Government.kif 3184-3188
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2309-2328
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2244-2252
No TPTP formula. May not be expressible in strict first order. Government.kif 736-745
No TPTP formula. May not be expressible in strict first order. Government.kif 868-875
No TPTP formula. May not be expressible in strict first order. Government.kif 471-475
No TPTP formula. May not be expressible in strict first order. Government.kif 1418-1424
No TPTP formula. May not be expressible in strict first order. Government.kif 1427-1431
No TPTP formula. May not be expressible in strict first order. Government.kif 1433-1437
No TPTP formula. May not be expressible in strict first order. Government.kif 2152-2157
No TPTP formula. May not be expressible in strict first order. Geography.kif 7275-7279
No TPTP formula. May not be expressible in strict first order. Government.kif 2323-2330

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 3159-3167
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 18903-18919
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 2492-2496
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17948-17962
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 951-966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29026-29036
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29043-29055
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 725-736
No TPTP formula. May not be expressible in strict first order. Government.kif 457-462
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. Medicine.kif 3538-3562
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14605-14610
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 2477-2485
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 14390-14395
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21263-21271
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24020-24029
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26369-26373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15591-15600

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


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