Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GrassMower(mower) |
| appearance as argument number 1 |
|
| (subclass GrassMower GardenAppliance) | HouseholdAppliances.kif 454-454 | Mower is a subclass of garden tool |
| (documentation GrassMower EnglishLanguage "A GardenAppliance that can be used to cut grass.") | HouseholdAppliances.kif 455-455 | Mower is a subclass of garden tool |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GrassMower "mower") | HouseholdAppliances.kif 456-456 | |
| (subclass ElectricGrassMower GrassMower) | HouseholdAppliances.kif 470-470 | Electric mower is a subclass of mower |
| antecedent |
|
|
| (=> (instance ?DEVICE GrassMower) (hasPurpose ?DEVICE (exists (?GRASS ?PROC) (and (instance ?PROC Cutting) (instance ?GRASS Grass) (patient ?PROC ?GRASS) (instrument ?PROC ?DEVICE))))) |
HouseholdAppliances.kif 459-467 | If X is an instance of mower, then X has the purpose there exist Y, Z such that Z is an instance of cutting, Y is an instance of grass plant, Y is a patient of Z, and X is an instrument for Z |
|