| CrossCountrySkiing(cross country skiing) | | cross-country_skiing |
| appearance as argument number 1 |
|
|
| (documentation CrossCountrySkiing EnglishLanguage "CrossCountrySkiing refers to a type of Skiing that does not occur on a slope") | Sports.kif 1077-1078 | |
| (subclass CrossCountrySkiing Skiing) | Sports.kif 1076-1076 | Cross country skiing is a subclass of skiing |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CrossCountrySkiing "cross country skiing") | Sports.kif 1079-1079 |
| antecedent |
|
|
| (=> (instance ?SKI CrossCountrySkiing) (not (exists (?SLOPE) (and (instance ?SLOPE SlopedArea) (eventLocated ?SKI ?SLOPE))))) |
Sports.kif 1081-1087 |
|
|
|
|