Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SnowSki
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

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage SnowSki "ski") Sports.kif 1038-1038

antecedent
-------------------------


(=>
    (and
        (instance ?SKI SnowSki)
        (material ?MAT ?SKI))
    (or
        (subclass ?MAT Metal)
        (subclass ?MAT Wood)
        (subclass ?MAT Plastic)))
Sports.kif 1040-1047
(=>
    (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 1049-1058

consequent
-------------------------


(=>
    (instance ?SKI Skiing)
    (exists (?SKIS ?PROC)
        (and
            (instance ?PROC Transportation)
            (subProcess ?PROC ?SKI)
            (instrument ?PROC ?SKIS)
            (instance ?SKIS SnowSki))))
Sports.kif 1066-1073


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners