Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SnowBlower |  | snow_blower, snow_thrower |
| appearance as argument number 1 |
|
|
| (subclass SnowBlower Machine) | Society.kif 888-888 | SnowBlower is a subclass of machine |
| (documentation SnowBlower EnglishLanguage "A snow blower or snow thrower is a machine for removing snow from an area where it is not wanted, such as a driveway, sidewalk, roadway, railroad track, rink, runway, or houses.") | Society.kif 890-892 | SnowBlower is a subclass of machine |
| antecedent |
|
|
| (=> (instance ?SB SnowBlower) (hasPurpose ?SB (exists (?IMP ?SNOW) (and (instance ?IMP Impelling) (instrument ?IMP ?SB) (instance ?SNOW Snowing) (patient ?IMP ?SNOW))))) |
Society.kif 894-902 | If X is an instance of SnowBlower, then X has the purpose there exist Y, Z such that Y is an instance of impelling, X is an instrument for Y, Z is an instance of snowing, and Z is a patient of Y |
|