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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IslandOfBaliIndonesia

Sigma KEE - IslandOfBaliIndonesia
IslandOfBaliIndonesia

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4882-4882
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4743-4743
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4989-4989
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2953-2953 geographicSubregion IslandOfBaliIndonesia and Indonesia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2952-2952 IslandOfBaliIndonesia est une instance de secteur g�ographique

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2954-2954 IslandOfBaliIndonesia s'appele nom "Island of Bali"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31171-31171
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31170-31170
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31169-31169


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