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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CookieCrackerAndPastaManufacturing

Sigma KEE - CookieCrackerAndPastaManufacturing
CookieCrackerAndPastaManufacturing(cookie cracker and pasta manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1712-1714
No TPTP formula. May not be expressible in strict first order. naics.kif 1710-1710 Cookie cracker and pasta manufacturing is a subattribute of bakeries and tortilla manufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1716-1716 Cookie and cracker manufacturing is a subattribute of cookie cracker and pasta manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1730-1730 Dry pasta manufacturing is a subattribute of cookie cracker and pasta manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1723-1723 Flour mixes and dough manufacturing from purchased flour is a subattribute of cookie cracker and pasta manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17160-17160
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17159-17159
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17158-17158


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