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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StateOrProvince
StateOrProvince(state or province)Abkhaz, Abkhazia, Adzhar, Adzharia, Alberta, Andhra_Pradesh, Anjou, Artois, Assamese, Australian_state, Bavaria, Bavarian, Bihar, Bourgogne, Breiz, Bretagne, British_Columbia, Brittany, Buganda, Burgundy, Californian, Campeche, Canadian_Maritime_Provinces, Canadian_province, Cape_Colony, Cape_Province, Cape_of_Good_Hope, Cape_of_Good_Hope_Province, Chihuahua, Chosen, Coahuila, Eritrean, Franche-Comte, Free_State, Friesland, Galwegian, Gansu, Gansu_province, Georgian, Goa, Guangdong, Guangdong_province, Hebei, Hebei_province, Hopeh, Hopei, Hunan, Hunan_province, Inner_Mongolia, Kansu...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3348-3349
No TPTP formula. May not be expressible in strict first order. Merge.kif 14232-14235
No TPTP formula. May not be expressible in strict first order. Merge.kif 14230-14230 State or province is a subclass of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14231-14231 State or province is a subclass of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 21-21 American state is a subclass of state or province
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 959-959
No TPTP formula. May not be expressible in strict first order. english_format.kif 1125-1125
No TPTP formula. May not be expressible in strict first order. french_format.kif 635-635
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 166-166
No TPTP formula. May not be expressible in strict first order. terms-it.txt 169-169
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2320-2320
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 587-587
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 171-171
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 203-203
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 656-656
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 170-170

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24741-24741 The number 2 argument of post district is an instance of state or province

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24747-24752 A postal place is located at a state or province and the postal place is an instance of postal place and the state or province is an instance of state or province if and only if the postal place is in the state or province
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8326-8328 A geopolitical area is an instance of state or province if and only if the government of the geopolitical area is an instance of state government
No TPTP formula. May not be expressible in strict first order. Geography.kif 6938-6942
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24722-24727
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24690-24695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24804-24809
No TPTP formula. May not be expressible in strict first order. Merge.kif 14237-14242

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1622-1624
No TPTP formula. May not be expressible in strict first order. Merge.kif 14258-14263

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6976-6976 American state is equal to all the instances of state or province in united states


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