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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shrub

 Sigma KEE - Shrub
Shrub(灌木)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6256-6257
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1006-1006
No TPTP formula. May not be expressible in strict first order. Geography.kif 6255-6255 子類 灌木 and WoodyPlant

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4598-4598 子類 CoffeePlant and 灌木
No TPTP formula. May not be expressible in strict first order. Geography.kif 6270-6270 子類 紫丁香 and 灌木
No TPTP formula. May not be expressible in strict first order. Economy.kif 4724-4724 子類 TeaPlant and 灌木
No TPTP formula. May not be expressible in strict first order. Economy.kif 4551-4551 子類 茶樹 and 灌木
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52880-52880
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52879-52879
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52878-52878

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 6259-6268

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 2210-2212
No TPTP formula. May not be expressible in strict first order. Geography.kif 6723-6725


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