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...

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3365-3365 Nation is disjoint from continent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14117-14118
No TPTP formula. May not be expressible in strict first order. Merge.kif 14113-14116
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3359-3359 "http://upload.wikimedia.org/wikipedia/commons/7/78/ Developed_nation.png" is a URL depicting nation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14111-14111 Nation is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14112-14112 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 970-970 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 6367-6367 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 16895-16895 The number 2 argument of citizen is an instance of nation
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1626-1626 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 22115-22122 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 1530-1534
No TPTP formula. May not be expressible in strict first order. Government.kif 4605-4610
No TPTP formula. May not be expressible in strict first order. Government.kif 4585-4594
No TPTP formula. May not be expressible in strict first order. Government.kif 4472-4477
No TPTP formula. May not be expressible in strict first order. Government.kif 4448-4456
No TPTP formula. May not be expressible in strict first order. Government.kif 4407-4415
No TPTP formula. May not be expressible in strict first order. Government.kif 1569-1573
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 697-702
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1092-1096
No TPTP formula. May not be expressible in strict first order. Government.kif 3166-3170
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. MilitaryProcesses.kif 2276-2295
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2211-2219
No TPTP formula. May not be expressible in strict first order. Government.kif 768-776
No TPTP formula. May not be expressible in strict first order. Government.kif 899-906
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 1416-1422
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 1431-1435
No TPTP formula. May not be expressible in strict first order. Government.kif 2151-2156
No TPTP formula. May not be expressible in strict first order. Geography.kif 6261-6265
No TPTP formula. May not be expressible in strict first order. Government.kif 2309-2316

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 2848-2856
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 14652-14668
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1123-1127
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1073-1077
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1139-1143
No TPTP formula. May not be expressible in strict first order. Government.kif 2478-2482
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13901-13915
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 894-909
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24931-24941
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24948-24960
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 10856-10861
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1345-1361
No TPTP formula. May not be expressible in strict first order. Government.kif 2463-2471
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 994-1003
No TPTP formula. May not be expressible in strict first order. Merge.kif 14129-14134
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17110-17118
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19815-19824
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22109-22113
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11577-11586

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


No TPTP formula. May not be expressible in strict first order. Government.kif 916-924 For all a nation, an election,, , a process and a human 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners