Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
PlantRoot(plant root)
|  | pneumatophore, root |
| appearance as argument number 1 |
|
|
| (subclass PlantRoot PlantAnatomicalStructure) | Mid-level-ontology.kif 10991-10991 | Plant root is a subclass of plant anatomical structure |
| (subclass PlantRoot Organ) | Mid-level-ontology.kif 10992-10992 | Plant root is a subclass of organ |
| (documentation PlantRoot EnglishLanguage "An Organ of Plants whose main purpose is twofold, viz. to absorb Nutrient and Water; and to anchor the Plant in place.") | Mid-level-ontology.kif 10993-10995 | Plant root is a subclass of organ |
| (externalImage PlantRoot "http://upload.wikimedia.org/wikipedia/commons/ 6/ 65/ Pinus_silvestris_roots001xx.jpg") | pictureList.kif 160-160 | Plant root is a subclass of organ |
| (externalImage PlantRoot "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ Primary_and_secondary_cotton_roots.jpg") | pictureList.kif 2308-2308 | Plant root is a subclass of organ |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ROOT PlantRoot) (hasPurpose ?ROOT (exists (?TRAN ?STUFF ?HOST) (and (instance ?TRAN Transfer) (instrument ?TRAN ?ROOT) (origin ?TRAN ?HOST) (orientation ?HOST ?ROOT Outside) (objectTransferred ?TRAN ?STUFF) (or (instance ?STUFF FreshWater) (instance ?STUFF Nutrient)))))) |
Mid-level-ontology.kif 10998-11010 | If X is an instance of plant root, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) X is an instrument for Y (4) Y originates at W (5) W is outside of to X (6) the object transferred in Y is Z (7) Z is an instance of freshwater or Z is an instance of nutrient |
| (=> (and (instance ?STEM PlantStem) (instance ?ROOT PlantRoot)) (modalAttribute (orientation ?STEM ?ROOT Above) Likely)) |
Mid-level-ontology.kif 11030-11035 | If X is an instance of plant stem and Y is an instance of plant root, then the statement X is above to Y has the modal force of likely |
| consequent |
|
|
| (=> (instance ?STEM PlantStem) (hasPurpose ?STEM (exists (?TRAN ?ROOT ?SUB) (and (instance ?TRAN Transfer) (instrument ?TRAN ?STEM) (instance ?ROOT PlantRoot) (origin ?TRAN ?ROOT) (instance ?SUB Substance) (attribute ?SUB Fluid) (objectTransferred ?TRAN ?SUB))))) |
Mid-level-ontology.kif 11037-11048 | If X is an instance of plant stem, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) X is an instrument for Y (4) Z is an instance of plant root (5) Y originates at Z (6) W is an instance of substance (7) fluid is an attribute of W (8) the object transferred in Y is W |
|