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 934-935
(subclass SnowSki TransportationDevice) Sports.kif 933-933

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


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

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


(=>
    (instance ?SKI SnowSki)
    (exists (?MAT)
        (and
            (material ?SKI ?MAT)
            (or
                (instance ?MAT Metal)
                (instance ?MAT Wood)
                (instance ?MAT Plastic)))))
Sports.kif 938-946
(=>
    (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 948-957

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


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


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