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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OatFarming

 Sigma KEE - OatFarming
OatFarming(燕麦种植)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8624-8624
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9482-9482
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9483-9483
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9484-9484
No TPTP formula. May not be expressible in strict first order. Economy.kif 6169-6169 燕麦粒 是 燕麦种植 的 industry 产品类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 6166-6166 燕麦种植 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 6167-6167 燕麦种植 是 谷物种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 6168-6168 燕麦种植 是 其他粮食种植 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41512-41512
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41511-41511
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41510-41510


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