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 1063-1064
(subclass Skiing Sport) Sports.kif 1062-1062 子類 Skiing and Sport

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


(subclass CrossCountrySkiing Skiing) Sports.kif 1076-1076 子類 CrossCountrySkiing and Skiing
(termFormat EnglishLanguage Skiing "skiing") Sports.kif 1065-1065

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


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

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


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


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