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 | Ski is a subclass of transportation device |
appearance as argument number 2 |
(termFormat EnglishLanguage SnowSki "ski") | Sports.kif 1038-1038 |
antecedent |
consequent |
(=> (instance ?SKI Skiing) (exists (?SKIS ?PROC) (and (instance ?PROC Transportation) (subProcess ?PROC ?SKI) (instrument ?PROC ?SKIS) (instance ?SKIS SnowSki)))) |
Sports.kif 1066-1073 |
|