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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SoutheasternAsia
SoutheasternAsia(southeastern asia)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6876-6876
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7928-7928
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7929-7929
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7930-7930
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7931-7931
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7932-7932
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7933-7933
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7936-7936
No TPTP formula. May not be expressible in strict first order. Geography.kif 183-183 Southeastern asia is a geographic subregion of asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 268-268 Southeastern asia is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 104-104 Southeastern asia is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 269-269 Southeastern asia and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 270-270 Southeastern asia and southern hemisphere overlapsSpatially

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 598-598 Ashmore and cartier islands is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 599-599 Brunei is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 604-604 Cambodia is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 606-606 Christmas island is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 607-607 Cocos keeling islands is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 608-608 East timor is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 610-610 Indonesia is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 612-612 Laos is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 614-614 Malaysia is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 601-601 Myanmar is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 616-616 Papua new guinea is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 618-618 Paracel islands is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 619-619 Philippines is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 621-621 Singapore is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 623-623 Spratly islands is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 624-624 Thailand is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 626-626 Vietnam is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 135-135 Southeastern asia has name "Southeastern Asia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54096-54096
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54095-54095
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54094-54094


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