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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Gulf

 Sigma KEE - Gulf
Gulf(海灣)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5125-5127
No TPTP formula. May not be expressible in strict first order. pictureList.kif 859-859
No TPTP formula. May not be expressible in strict first order. Geography.kif 5122-5122 子類 海灣 and 水體
No TPTP formula. May not be expressible in strict first order. Geography.kif 5123-5123 子類 海灣 and SaltWaterArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5165-5165 例 腺嘌呤 and 海灣
No TPTP formula. May not be expressible in strict first order. Geography.kif 5173-5173 例 GulfOfMexico and 海灣
No TPTP formula. May not be expressible in strict first order. Geography.kif 5157-5157 例 阿曼灣 and 海灣
No TPTP formula. May not be expressible in strict first order. Geography.kif 5151-5151 例 波斯灣 and 海灣
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27036-27036
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27035-27035
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27034-27034

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5145-5149
No TPTP formula. May not be expressible in strict first order. Geography.kif 5129-5136
No TPTP formula. May not be expressible in strict first order. Geography.kif 5138-5143


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