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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrangeGroves

 Sigma KEE - OrangeGroves
OrangeGroves(橘子树林)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 170-172
No TPTP formula. May not be expressible in strict first order. pictureList.kif 934-934
No TPTP formula. May not be expressible in strict first order. naics.kif 168-168 橘子树林 是 水果和树坚果种植 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42414-42414
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42413-42413
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42412-42412


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