SnowSki - Sigma Knowledge base Browser

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	SnowSki は輸送機の subclass では %n

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	微粒子オブジェクトは SnowSki の instance では %n 物質は微粒子オブジェクトで made %n 物質は金属の subclass では %n 物質は Wood の subclass では %n 物質は Plastic の subclass では %n
(=> (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	物理は SnowSki の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは Snowing の instance では %n エンティティーはエンティティーの result では %n エンティティーは交通手段の instance では %n 物理はエンティティーの instrument では %n eventLocated エンティティー and エンティティーの目的 %n{ない}

consequent

(=>
    (instance ?SKI Skiing)
    (exists (?SKIS ?PROC)
        (and
            (instance ?PROC Transportation)
            (subProcess ?PROC ?SKI)
            (instrument ?PROC ?SKIS)
            (instance ?SKIS SnowSki))))

Sports.kif 1067-1074