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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SugarBeetFarming
SugarBeetFarming(sugar beet farming)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 316-318
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8740-8740
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9700-9700
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9701-9701
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9702-9702
No TPTP formula. May not be expressible in strict first order. Economy.kif 6208-6208 Sugar beet is an industry product type of sugar beet farming
No TPTP formula. May not be expressible in strict first order. naics.kif 314-314 Sugar beet farming is a subattribute of all other crop farming

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55969-55969
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55968-55968
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55967-55967


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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