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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nation

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 13994-13997
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 13992-13992 Nation is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13993-13993 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 952-952 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 6408-6408 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 16499-16499 The number 2 argument of citizen is an instance of nation
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1681-1681 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 24180-24187 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 1567-1571
No TPTP formula. May not be expressible in strict first order. Government.kif 4660-4665
No TPTP formula. May not be expressible in strict first order. Government.kif 4640-4649
No TPTP formula. May not be expressible in strict first order. Government.kif 4527-4532
No TPTP formula. May not be expressible in strict first order. Government.kif 4503-4511
No TPTP formula. May not be expressible in strict first order. Government.kif 4462-4470
No TPTP formula. May not be expressible in strict first order. Government.kif 1606-1610
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 3221-3225
No TPTP formula. May not be expressible in strict first order. Government.kif 3215-3219
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 772-780
No TPTP formula. May not be expressible in strict first order. Government.kif 903-910
No TPTP formula. May not be expressible in strict first order. Government.kif 507-511
No TPTP formula. May not be expressible in strict first order. Government.kif 1453-1459
No TPTP formula. May not be expressible in strict first order. Government.kif 1462-1466
No TPTP formula. May not be expressible in strict first order. Government.kif 1468-1472
No TPTP formula. May not be expressible in strict first order. Government.kif 2188-2193
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 2359-2366

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 16846-16862
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 2528-2532
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16056-16070
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 948-963
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26611-26621
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26628-26640
No TPTP formula. May not be expressible in strict first order. Government.kif 493-498
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 12786-12791
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 2513-2521
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 14006-14011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19127-19135
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21944-21953
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24174-24178
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13739-13748

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


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


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

Show without tree


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