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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SouthernAsia
SouthernAsia(southern asia)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 7941-7941
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6880-6880
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7942-7942
No TPTP formula. May not be expressible in strict first order. Geography.kif 182-182 Southern asia is a geographic subregion of asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 264-264 Southern asia is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 103-103 Southern asia is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 265-265 Southern asia and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 266-266 Southern asia and southern hemisphere overlapsSpatially

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 567-567 Afghanistan is a geographic subregion of southern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 569-569 Bangladesh is a geographic subregion of southern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 571-571 Bhutan is a geographic subregion of southern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 573-573 British indian ocean territory is a geographic subregion of southern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 574-574 India is a geographic subregion of southern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 576-576 Maldives is a geographic subregion of southern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 578-578 Nepal is a geographic subregion of southern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 580-580 Pakistan is a geographic subregion of southern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 582-582 Sri lanka is a geographic subregion of southern asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 134-134 Southern asia has name "Southern Asia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54174-54174
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54173-54173
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54172-54172


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