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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoutheasternAsia

 Sigma KEE - SoutheasternAsia
SoutheasternAsia
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 geographicSubregion SoutheasternAsia and Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 268-268 geographicSubregion SoutheasternAsia and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 104-104 SoutheasternAsia e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. Geography.kif 269-269 SoutheasternAsia engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 270-270 SoutheasternAsia engloba SouthernHemisphere

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 598-598 geographicSubregion AshmoreAndCartierIslands and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 599-599 geographicSubregion Brunei and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 604-604 geographicSubregion Cambodia and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 606-606 geographicSubregion ChristmasIsland and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 607-607 geographicSubregion CocosKeelingIslands and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 608-608 geographicSubregion EastTimor and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 610-610 geographicSubregion Indonesia and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 612-612 geographicSubregion Laos and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 614-614 geographicSubregion Malaysia and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 601-601 geographicSubregion Myanmar and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 616-616 geographicSubregion PapuaNewGuinea and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 618-618 geographicSubregion ParacelIslands and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 619-619 geographicSubregion Philippines and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 621-621 geographicSubregion Singapore and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 623-623 geographicSubregion SpratlyIslands and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 624-624 geographicSubregion Thailand and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 626-626 geographicSubregion Vietnam and SoutheasternAsia
No TPTP formula. May not be expressible in strict first order. Geography.kif 135-135 SoutheasternAsia se chama nome "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 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