DeciduousTree |
appearance as argument number 1 |
(disjoint DeciduousTree EvergreenTree) | Geography.kif 6389-6389 | |
(documentation DeciduousTree EnglishLanguage "DeciduousTrees shed their PlantLeaf(ves) annually.") | Geography.kif 6390-6391 | |
(subclass DeciduousTree BotanicalTree) | Geography.kif 6388-6388 |
appearance as argument number 2 |
antecedent |
(=> (and (sheddingLeaves ?T ?L) (instance ?T DeciduousTree) (instance ?L PlantLeaf)) (exists (?SHED ?S) (and (subclass ?SHED Removing) (frequency ?SHED YearDuration) (instance ?S ?SHED) (origin ?S ?T) (patient ?S ?L)))) |
Geography.kif 6393-6404 |
consequent |
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely)) |
Economy.kif 5284-5291 | |
(=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree)) |
Food.kif 2184-2186 |