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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherGrainFarming

 Sigma KEE - OtherGrainFarming
OtherGrainFarming(其他粮食种植)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 125-127
No TPTP formula. May not be expressible in strict first order. naics.kif 123-123 其他粮食种植 是 油籽和粮食种植 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 136-136 所有其他粮食种植 是 其他粮食种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 6173-6173 大麦种植 是 其他粮食种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 6188-6188 小米种植 是 其他粮食种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 6168-6168 燕麦种植 是 其他粮食种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 129-129 油籽和粮食组合农业 是 其他粮食种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 6178-6178 黑麦种植 是 其他粮食种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 6183-6183 高粱种植 是 其他粮食种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43062-43062
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43061-43061
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43060-43060


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