TreeView Knowledge Base Browser - BarleyFarming

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - BarleyFarming

BarleyFarming

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8369-8369
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8964-8964
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8965-8965
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6174-6174	industryProductType BarleyFarming and BarleyGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6171-6171	BarleyFarming e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6172-6172	BarleyFarming e' um sub-atributo de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6173-6173	BarleyFarming e' um sub-atributo de OtherGrainFarming

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9960-9960
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9959-9959
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9958-9958

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