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 7942-7942
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6881-6881
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7943-7943
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 54156-54156
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54155-54155
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54154-54154


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