|
|
   DeciduousTree
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint DeciduousTree EvergreenTree) | Geography.kif 6389-6389 | DeciduousTree ist dijunkt von EvergreenTree %n{nicht} |
| (documentation DeciduousTree EnglishLanguage "DeciduousTrees shed their PlantLeaf(ves) annually.") | Geography.kif 6390-6391 | |
| (subclass DeciduousTree BotanicalTree) | Geography.kif 6388-6388 | DeciduousTree ist eine teilkategorie von BotanicalTree |
| 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 |
|
|
|
|