Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LeafBlower(leaf blower) |
| appearance as argument number 1 |
|
| (subclass LeafBlower GardenAppliance) | HouseholdAppliances.kif 484-484 | Leaf blower is a subclass of garden tool |
| (documentation LeafBlower EnglishLanguage "A GardenAppliance that can be used to move debris by using propelled air blown through a nozzle.") | HouseholdAppliances.kif 485-485 | Leaf blower is a subclass of garden tool |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?DEVICE LeafBlower) (hasPurpose ?DEVICE (exists (?LEAF ?TRANSFER) (and (instance ?LEAF PlantLeaf) (instance ?TRANSFER Transfer) (instrument ?TRANSFER ?DEVICE) (patient ?TRANSFER ?LEAF))))) |
HouseholdAppliances.kif 488-496 | If X is an instance of leaf blower, then X has the purpose there exist Y, Z such that Y is an instance of plant leaf, Z is an instance of transfer, X is an instrument for Z, and Y is a patient of Z |
|