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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SorghumFarming

 Sigma KEE - SorghumFarming
SorghumFarming(sorghum farming)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8724-8724
No TPTP formula. May not be expressible in strict first order. Economy.kif 6184-6184 Sorghum grain is an industry product type of sorghum farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 6181-6181 Sorghum farming is an instance of industry attribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 6182-6182 Sorghum farming is a subattribute of cereal grain farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 6183-6183 Sorghum farming is a subattribute of other grain farming

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53982-53982
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53981-53981
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53980-53980


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