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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IceManufacturing

 Sigma KEE - IceManufacturing
IceManufacturing(製冰)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1885-1887
No TPTP formula. May not be expressible in strict first order. naics.kif 1883-1883 子屬性 製冰 and 軟飲料和製冰

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29157-29157
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29156-29156
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29155-29155


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