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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoftDrinkAndIceManufacturing

Sigma KEE - SoftDrinkAndIceManufacturing
SoftDrinkAndIceManufacturing(软饮料和制冰)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1865-1867
No TPTP formula. May not be expressible in strict first order. naics.kif 1863-1863 软饮料和制冰饮料制造业subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1876-1876 瓶装水制造软饮料和制冰subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1883-1883 制冰软饮料和制冰subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1869-1869 软饮料制造软饮料和制冰subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53704-53704
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53703-53703
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53702-53702


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