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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherCropFarming

 Sigma KEE - OtherCropFarming
OtherCropFarming(other crop farming)

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 Other crop farming is a subattribute of crop production

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


No TPTP formula. May not be expressible in strict first order. naics.kif 308-308 All other crop farming is a subattribute of other crop farming
No TPTP formula. May not be expressible in strict first order. naics.kif 290-290 Cotton farming is a subattribute of other crop farming
No TPTP formula. May not be expressible in strict first order. naics.kif 302-302 Hay farming is a subattribute of other crop farming
No TPTP formula. May not be expressible in strict first order. naics.kif 296-296 Sugarcane farming is a subattribute of other crop farming
No TPTP formula. May not be expressible in strict first order. naics.kif 284-284 Tobacco farming is a subattribute of other crop farming
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