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 1036-1037 | |
(subclass SnowSki TransportationDevice) | Sports.kif 1035-1035 | SnowSki は 輸送機 の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage SnowSki "ski") | Sports.kif 1038-1038 |
antecedent |
(=> (and (instance ?SKI SnowSki) (material ?MAT ?SKI)) (or (subclass ?MAT Metal) (subclass ?MAT Wood) (subclass ?MAT Plastic))) |
Sports.kif 1040-1047 | |
(=> (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 1049-1058 |
consequent |
(=> (instance ?SKI Skiing) (exists (?SKIS ?PROC) (and (instance ?PROC Transportation) (subProcess ?PROC ?SKI) (instrument ?PROC ?SKIS) (instance ?SKIS SnowSki)))) |
Sports.kif 1066-1073 |