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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PeanutFarming

 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 花生 是 花生種植 的 industry 產品類別
No TPTP formula. May not be expressible in strict first order. naics.kif 320-320 子屬性 花生種植 and 所有其他農作物

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


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


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