| SnowSki | |
| appearance as argument number 1 |
|
|
| (documentation SnowSki EnglishLanguage "SnowSki is a type of TransportationDevice made of narrow metal, wood or plastic used to glide through snow") | Sports.kif 1037-1038 | |
| (subclass SnowSki TransportationDevice) | Sports.kif 1036-1036 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SnowSki "ski") | Sports.kif 1039-1039 |
| antecedent |
|
|
| (=> (and (instance ?SKI SnowSki) (material ?MAT ?SKI)) (or (subclass ?MAT Metal) (subclass ?MAT Wood) (subclass ?MAT Plastic))) |
Sports.kif 1041-1048 | |
| (=> (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 1050-1059 |
| consequent |
|
|
| (=> (instance ?SKI Skiing) (exists (?SKIS ?PROC) (and (instance ?PROC Transportation) (subProcess ?PROC ?SKI) (instrument ?PROC ?SKIS) (instance ?SKIS SnowSki)))) |
Sports.kif 1067-1074 |
|
|
|