TreeView Knowledge Base Browser - CentralAsia

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CentralAsia

CentralAsia(central asia)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6242-6242
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6243-6243
No TPTP formula. May not be expressible in strict first order.	Geography.kif 177-177	Central asia is a geographic subregion of asia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 256-256	Central asia is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 257-257	Central asia is a geographic subregion of northern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 100-100	Central asia is an instance of geographic area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 529-529	Kazakhstan is a geographic subregion of central asia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 531-531	Kyrgyzstan is a geographic subregion of central asia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 533-533	Tajikistan is a geographic subregion of central asia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 535-535	Turkmenistan is a geographic subregion of central asia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 537-537	Uzbekistan is a geographic subregion of central asia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 131-131	Central asia has name "Central Asia"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13824-13824
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13823-13823
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13822-13822

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