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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlantRoot

 Sigma KEE - PlantRoot
PlantRoot(植物根)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9502-9504
No TPTP formula. May not be expressible in strict first order. pictureList.kif 160-160
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2309-2309
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9501-9501 植物根 是 器官 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9500-9500 植物根 是 植物解剖结构 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46128-46128
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46127-46127
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46126-46126

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9539-9544
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9507-9519

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9546-9557


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