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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OilseedAndGrainFarming

Sigma KEE - OilseedAndGrainFarming
OilseedAndGrainFarming

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


No TPTP formula. May not be expressible in strict first order. naics.kif 82-84
No TPTP formula. May not be expressible in strict first order. naics.kif 80-80 OilseedAndGrainFarming est un sous-attribut de CropProduction

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6155-6155 CerealGrainFarming est un sous-attribut de OilseedAndGrainFarming
No TPTP formula. May not be expressible in strict first order. naics.kif 111-111 CornFarming est un sous-attribut de OilseedAndGrainFarming
No TPTP formula. May not be expressible in strict first order. naics.kif 99-99 DryPeaAndBeanFarming est un sous-attribut de OilseedAndGrainFarming
No TPTP formula. May not be expressible in strict first order. naics.kif 92-92 OilseedExceptSoybeanFarming est un sous-attribut de OilseedAndGrainFarming
No TPTP formula. May not be expressible in strict first order. naics.kif 123-123 OtherGrainFarming est un sous-attribut de OilseedAndGrainFarming
No TPTP formula. May not be expressible in strict first order. naics.kif 117-117 RiceFarming est un sous-attribut de OilseedAndGrainFarming
No TPTP formula. May not be expressible in strict first order. naics.kif 86-86 SoybeanFarming est un sous-attribut de OilseedAndGrainFarming
No TPTP formula. May not be expressible in strict first order. naics.kif 105-105 WheatFarming est un sous-attribut de OilseedAndGrainFarming
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41996-41996
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41995-41995
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41994-41994


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