PlantStem |
appearance as argument number 1 |
(documentation PlantStem EnglishLanguage "The structural part of Plants above the PlantRoot. It support and elevate the PlantLeaf, Flowers and Fruits, as well as to Transfer fluid between them and the roots.") | Mid-level-ontology.kif 9562-9564 | |
(subclass PlantStem Organ) | Mid-level-ontology.kif 9561-9561 | |
(subclass PlantStem PlantAnatomicalStructure) | Mid-level-ontology.kif 9560-9560 |
appearance as argument number 2 |
(termFormat EnglishLanguage PlantStem "plant stem") | domainEnglishFormat.kif 65328-65328 |
antecedent |
consequent |
(=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem)))) |
Economy.kif 5485-5493 | |
(=> (and (instance ?P Plant) (part ?TIS ?P)) (exists (?K ?W ?CLASS) (and (instance ?K ?CLASS) (subclass ?CLASS Keeping) (instance ?W FreshWater) (patient ?K ?W) (capability ?CLASS instrument ?TIS) (or (instance ?TIS PlantLeaf) (instance ?TIS PlantStem))))) |
Mid-level-ontology.kif 9588-9601 | |
(=> (instance ?F Felling) (hasPurpose ?F (exists (?T ?TIMB ?S) (and (instance ?T BotanicalTree) (patient ?F ?T) (result ?F ?TIMB) (instance ?TIMB Timber) (equal ?TIMB ?S) (instance ?S PlantStem) (holdsDuring (BeginFn (WhenFn ?F)) (part ?S ?T)) (holdsDuring (EndFn (WhenFn ?F)) (not (part ?S ?T))))))) |
Economy.kif 5502-5521 | |
(=> (instance ?FELL Felling) (exists (?C ?F ?T ?S) (and (instance ?C Cutting) (patient ?C ?T) (instance ?T BotanicalTree) (result ?C ?F) (instance ?F Falling) (patient ?F ?S) (instance ?S PlantStem) (part ?S ?T)))) |
Economy.kif 5472-5483 |