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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CornFarming

 Sigma KEE - CornFarming
CornFarming(玉米种植)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 113-115
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8440-8440
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9117-9117
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9118-9118
No TPTP formula. May not be expressible in strict first order. Economy.kif 6162-6162 玉米粒 是 玉米种植 的 industry 产品类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 6159-6159 玉米种植 是 谷物种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 111-111 玉米种植 是 油籽和粮食种植 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17340-17340
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17339-17339
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17338-17338


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