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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherCropFarming

 Sigma KEE - OtherCropFarming
OtherCropFarming(其他农作物种植)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 280-282
No TPTP formula. May not be expressible in strict first order. naics.kif 278-278 其他农作物种植 是 作物生产 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 308-308 所有其他农作物 是 其他农作物种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 290-290 棉花种植 是 其他农作物种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 302-302 干草养殖 是 其他农作物种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 296-296 甘蔗种植 是 其他农作物种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 284-284 烟草种植 是 其他农作物种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42900-42900
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42899-42899
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42898-42898


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