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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OsakaJapan

 Sigma KEE - OsakaJapan
OsakaJapan(osaka japan)Osaka

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2166-2166
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3354-3354 Osaka japan is a geographic subregion of japan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2165-2165 Osaka japan is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3355-3355 Osaka japan has name "Osaka"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42650-42650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42649-42649
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42648-42648


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