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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnimalProduction

Sigma KEE - AnimalProduction
AnimalProduction(animal production)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 336-338
No TPTP formula. May not be expressible in strict first order. naics.kif 334-334 Animal production is a subattribute of agriculture forestry fishing and hunting

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


No TPTP formula. May not be expressible in strict first order. naics.kif 440-440 Animal aquaculture is a subattribute of animal production
No TPTP formula. May not be expressible in strict first order. naics.kif 340-340 Cattle ranching and farming is a subattribute of animal production
No TPTP formula. May not be expressible in strict first order. naics.kif 379-379 Hog and pig farming is a subattribute of animal production
No TPTP formula. May not be expressible in strict first order. naics.kif 466-466 Other animal production is a subattribute of animal production
No TPTP formula. May not be expressible in strict first order. naics.kif 385-385 Poultry and egg production is a subattribute of animal production
No TPTP formula. May not be expressible in strict first order. naics.kif 422-422 Sheep and goat farming is a subattribute of animal production
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7596-7596
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7595-7595
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7594-7594


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