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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TobaccoFarming
TobaccoFarming(tobacco farming)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 286-288
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8759-8759
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9733-9733
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9734-9734
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9735-9735
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9737-9737
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9738-9738
No TPTP formula. May not be expressible in strict first order. naics.kif 284-284 Tobacco farming is a subattribute of other crop farming

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58244-58244
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58243-58243
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58242-58242


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