Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SnowSki(ski) |  | ski |
| appearance as argument number 1 |
|
|
| (subclass SnowSki TransportationDevice) | Sports.kif 1063-1063 | Ski is a subclass of transportation device |
| (documentation SnowSki EnglishLanguage "SnowSki is a type of TransportationDevice made of narrow metal, wood or plastic used to glide through snow") | Sports.kif 1064-1065 | Ski is a subclass of transportation device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SnowSki "ski") | Sports.kif 1066-1066 |
| antecedent |
|
|
| (=> (and (instance ?SKI SnowSki) (material ?MAT ?SKI)) (or (subclass ?MAT Metal) (subclass ?MAT Wood) (subclass ?MAT Plastic))) |
Sports.kif 1068-1075 | If X is an instance of ski and X is made of Y, then At least one of the following holds: (1) Y is a subclass of metal (2) Y is a subclass of wood (3) Y is a subclass of plastic |
| (=> (instance ?SKI SnowSki) (hasPurpose ?SKI (exists (?GLIDE ?SNOW ?ICE) (and (instance ?SNOW Snowing) (result ?SNOW ?ICE) (instance ?GLIDE Transportation) (instrument ?GLIDE ?SKI) (eventLocated ?GLIDE ?ICE))))) |
Sports.kif 1077-1086 | If X is an instance of ski, then X has the purpose there exist Y, Z, W such that Z is an instance of snowing, W is a result of Z, Y is an instance of transportation, X is an instrument for Y, and Y is located at W |
| consequent |
|
|
| (=> (instance ?SKI Skiing) (exists (?SKIS ?PROC) (and (instance ?PROC Transportation) (subProcess ?PROC ?SKI) (instrument ?PROC ?SKIS) (instance ?SKIS SnowSki)))) |
Sports.kif 1094-1101 | If X is an instance of skiing, then there exist Y, Z such that Z is an instance of transportation, Z is a subprocess of X, Y is an instrument for Z, and Y is an instance of ski |
|