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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EthylAlcoholManufacturing
EthylAlcoholManufacturing(ethyl alcohol manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3234-3237
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9198-9198
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8475-8475
No TPTP formula. May not be expressible in strict first order. naics.kif 3232-3232 Ethyl alcohol manufacturing is a subattribute of other basic organic chemical manufacturing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22480-22480
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22479-22479
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22478-22478


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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