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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SeaIce

 Sigma KEE - SeaIce
SeaIce(海冰)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 2626-2626
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4817-4817
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2521-2521
No TPTP formula. May not be expressible in strict first order. Geography.kif 5935-5935 子類 海冰 and 冰

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4679-4679 海冰 是區域 南部海洋 的 natural 有害類別
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51681-51681
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51680-51680
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51679-51679


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