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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PotatoFarming

 Sigma KEE - PotatoFarming
PotatoFarming(马铃薯种植)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 151-153
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8662-8662
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9560-9560
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9561-9561
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9562-9562
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9563-9563
No TPTP formula. May not be expressible in strict first order. Economy.kif 6207-6207 马铃薯块茎 是 马铃薯种植 的 industry 产品类别
No TPTP formula. May not be expressible in strict first order. naics.kif 149-149 马铃薯种植 是 蔬菜和甜瓜种植 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46880-46880
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46879-46879
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46878-46878


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