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 OtherCropFarming est un sous-attribut de CropProduction

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


No TPTP formula. May not be expressible in strict first order. naics.kif 308-308 AllOtherCropFarming est un sous-attribut de OtherCropFarming
No TPTP formula. May not be expressible in strict first order. naics.kif 290-290 CottonFarming est un sous-attribut de OtherCropFarming
No TPTP formula. May not be expressible in strict first order. naics.kif 302-302 HayFarming est un sous-attribut de OtherCropFarming
No TPTP formula. May not be expressible in strict first order. naics.kif 296-296 SugarcaneFarming est un sous-attribut de OtherCropFarming
No TPTP formula. May not be expressible in strict first order. naics.kif 284-284 TobaccoFarming est un sous-attribut de OtherCropFarming
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