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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoultryProcessing

 Sigma KEE - PoultryProcessing
PoultryProcessing(poultry processing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1652-1655
No TPTP formula. May not be expressible in strict first order. naics.kif 1650-1650 Poultry processing is a subattribute of animal slaughtering and processing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46952-46952
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46951-46951
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46950-46950


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