CrossCountrySkiing |
appearance as argument number 1 |
(documentation CrossCountrySkiing EnglishLanguage "CrossCountrySkiing refers to a type of Skiing that does not occur on a slope") | Sports.kif 1076-1077 | |
(subclass CrossCountrySkiing Skiing) | Sports.kif 1075-1075 | CrossCountrySkiing は Skiing の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage CrossCountrySkiing "cross country skiing") | Sports.kif 1078-1078 |
antecedent |
(=> (instance ?SKI CrossCountrySkiing) (not (exists (?SLOPE) (and (instance ?SLOPE SlopedArea) (eventLocated ?SKI ?SLOPE))))) |
Sports.kif 1080-1086 |
|