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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Malaysia

Sigma KEE - Malaysia
Malaysia

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3309-3309 currencyType Malaysia and MalaysianRinggit
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1287-1287
No TPTP formula. May not be expressible in strict first order. Economy.kif 675-675 economyType Malaysia and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 291-291 economyType Malaysia and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 573-573
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 615-615 Malaysia e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3534-3534 geographicSubregion SipadanIslandMalaysia and Malaysia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4180-4180 Malaysia se chama nome "Malaysia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35807-35807
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35806-35806
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35805-35805

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2762-2762 codeMapping ISO-3166-1-alpha-2, "MY" and Malaysia


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