PlantRoot - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - PlantRoot

PlantRoot(plant root)

pneumatophore, root

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	Plant root is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9500-9500	Plant root is a subclass of plant anatomical structure

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	If an entity is an instance of plant stem and another entity is an instance of plant root, then the statement the entity is above to the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9507-9519	If a physical is an instance of plant root, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the physical is an instrument for the entity and the entity originates at the third entity and the third entity is outside to the physical and the object transferred in the entity is the other entity and the other entity is an instance of freshwater or the other entity is an instance of nutrient

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 9546-9557

If a physical is an instance of plant stem,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the physical is an instrument for the entity and the other entity is an instance of plant root and the entity originates at the other entity and the third entity is an instance of substance and fluid is an attribute of the third entity and the object transferred in the entity is the third entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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