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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherAnimalProduction

Sigma KEE - OtherAnimalProduction
OtherAnimalProduction(other animal production)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 468-470
No TPTP formula. May not be expressible in strict first order. naics.kif 466-466 Other animal production is a subattribute of animal production

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


No TPTP formula. May not be expressible in strict first order. naics.kif 492-492 All other animal production is a subattribute of other animal production
No TPTP formula. May not be expressible in strict first order. naics.kif 472-472 Apiculture is a subattribute of other animal production
No TPTP formula. May not be expressible in strict first order. naics.kif 485-485 Fur bearing animal and rabbit production is a subattribute of other animal production
No TPTP formula. May not be expressible in strict first order. naics.kif 478-478 Horse and other equine production is a subattribute of other animal production
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42740-42740
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42739-42739
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42738-42738


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