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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PeanutFarming
PeanutFarming

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


No TPTP formula. May not be expressible in strict first order. naics.kif 322-324
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8647-8647
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9540-9540
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9541-9541
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9543-9543
No TPTP formula. May not be expressible in strict first order. Economy.kif 6202-6202 industryProductType PeanutFarming and Groundnut
No TPTP formula. May not be expressible in strict first order. naics.kif 320-320 PeanutFarming e' um sub-atributo de AllOtherCropFarming

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44936-44936
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44935-44935
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44934-44934


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