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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MedanIndonesia

 Sigma KEE - MedanIndonesia
MedanIndonesia(medan indonesia)
Medan

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2041-2041
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5142-5142
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5340-5340
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3216-3216 Medan indonesia is a geographic subregion of indonesia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2040-2040 Medan indonesia is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3217-3217 Medan indonesia has name "Medan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36767-36767
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36766-36766
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36765-36765


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