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 10849-10851
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 2308-2308
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10848-10848	Plant root is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10847-10847	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 46159-46159
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46158-46158
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46157-46157

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10886-10891	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 10854-10866	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 10893-10904

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