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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnimalProduction

 Sigma KEE - AnimalProduction
AnimalProduction(动物生产)

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 动物生产 是 农业林业捕鱼和狩猎 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 440-440 动物水产养殖 是 动物生产 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 340-340 养牛和养殖 是 动物生产 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 379-379 生猪和养猪 是 动物生产 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 466-466 其他动物生产 是 动物生产 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 385-385 家禽和鸡蛋生产 是 动物生产 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 422-422 绵羊和山羊养殖 是 动物生产 的 subAttribute
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