Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DeciduousTree(deciduous tree) |
| appearance as argument number 1 |
|
| (subclass DeciduousTree BotanicalTree) | Geography.kif 8013-8013 | Deciduous tree is a subclass of botanical tree |
| (disjoint DeciduousTree EvergreenTree) | Geography.kif 8014-8014 | Deciduous tree is disjoint from evergreen tree |
| (documentation DeciduousTree EnglishLanguage "DeciduousTrees shed their PlantLeaf(ves) annually.") | Geography.kif 8015-8016 | Deciduous tree is disjoint from evergreen tree |
| 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 8018-8029 | If X is a Removing Y from its stems, X is an instance of deciduous tree, and Y is an instance of plant leaf, then there exist Z, W such that Z is a subclass of removing, Z occurs every year duration, W is an instance of Z, W originates at X, and Y is a patient of W |
| consequent |
|
|
| (=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely)) |
Economy.kif 5633-5640 | If equal X and Object made from Y, X is a subclass of hardwood, and Y is a subclass of plant stem, then the statement every Y is initially part of a deciduous tree has the modal force of likely |
| (=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree)) |
Food.kif 2204-2206 | If equal X and plant fn apple, then X is a subclass of deciduous tree |
|