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 1050-1051
(subclass SnowSki TransportationDevice)	Sports.kif 1049-1049	Ski is a subclass of transportation device

appearance as argument number 2

(termFormat EnglishLanguage SnowSki "ski")

Sports.kif 1052-1052

antecedent

(=> (and (instance ?SKI SnowSki) (material ?MAT ?SKI)) (or (subclass ?MAT Metal) (subclass ?MAT Wood) (subclass ?MAT Plastic)))	Sports.kif 1054-1061	If a corpuscular object is an instance of ski and the corpuscular object is made of a kind of substance, then a kind of substance is a subclass of metal or the kind of substance is a subclass of wood or the kind of substance is a subclass of plastic
(=> (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 1063-1072	If a physical is an instance of ski, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of snowing and the third entity is a result of the other entity and the entity is an instance of transportation and the physical is an instrument for the entity and the entity is located at the third entity

consequent

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

Sports.kif 1080-1087