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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Strait

 Sigma KEE - Strait
Strait(海峽)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5293-5295
No TPTP formula. May not be expressible in strict first order. pictureList.kif 883-883
No TPTP formula. May not be expressible in strict first order. Geography.kif 5292-5292 子類 海峽 and 水體

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5312-5312 例 霍爾木茲海峽 and 海峽
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55536-55536
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55535-55535
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55534-55534

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 5297-5303


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