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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoralReef
  SugarBeetFarming

 Sigma KEE - SugarBeetFarming
SugarBeetFarming(甜菜种植)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 316-318
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8740-8740
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9700-9700
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9701-9701
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9702-9702
No TPTP formula. May not be expressible in strict first order. Economy.kif 6208-6208 甜菜 是 甜菜种植 的 industry 产品类别
No TPTP formula. May not be expressible in strict first order. naics.kif 314-314 甜菜种植 是 所有其他农作物 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55969-55969
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55968-55968
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55967-55967


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