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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Skiing
Skiing

appearance as argument number 1
-------------------------


(documentation Skiing EnglishLanguage "Skiing refers to a Sport where a person uses skis to glide through snow") Sports.kif 914-915
(subclass Skiing Sport) Sports.kif 913-913 subclass Skiing and Sport

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


(subclass CrossCountrySkiing Skiing) Sports.kif 927-927 subclass CrossCountrySkiing and Skiing
(termFormat EnglishLanguage Skiing "skiing") Sports.kif 916-916

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


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

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


(=>
    (instance ?FACILITY SkiingFacility)
    (exists (?SLOPE ?SKIING)
        (and
            (instance ?SLOPE SlopedArea)
            (part ?SLOPE ?FACILITY)
            (instance ?SKIING Skiing)
            (eventLocated ?SKIING ?SLOPE))))
Sports.kif 945-952


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