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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Soccer
Soccer(英式足球比賽)

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


(documentation Soccer EnglishLanguage "Soccer is a football game in which two teams of 11 players try to kick or head a SoccerBall into the opponents' goal.") Sports.kif 157-157
(subclass Soccer TeamSport) Sports.kif 156-156 子類 英式足球比賽 and 團隊運動

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


(names "European football" Soccer) Sports.kif 161-161 "European football" and 英式足球比賽
(termFormat ChineseLanguage Soccer "英式足球比赛") Sports.kif 159-159
(termFormat ChineseTraditionalLanguage Soccer "英式足球比賽") Sports.kif 160-160
(termFormat EnglishLanguage Soccer "soccer") Sports.kif 158-158

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


(=>
    (instance ?S Soccer)
    (exists (?A ?B ?M1 ?M2)
        (and
            (instance ?A GroupOfPeople)
            (memberCount ?A 11)
            (instance ?B GroupOfPeople)
            (memberCount ?B 11)
            (not
                (equal ?A ?B))
            (member ?M1 ?A)
            (member ?M1 ?B)
            (enemy ?M1 ?M2))))
Sports.kif 163-175
(=>
    (instance ?S Soccer)
    (exists (?BALL)
        (and
            (instance ?BALL SoccerBall)
            (patient ?S ?BALL))))
Sports.kif 177-182

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


(=>
    (attribute ?ATHLETE FootballerSoccer)
    (hasSkill Soccer ?ATHLETE))
Sports.kif 412-414
(=>
    (instance ?BALL SoccerBall)
    (hasPurpose ?BALL
        (exists (?S ?K)
            (and
                (instance ?S Soccer)
                (instance ?K Kicking)
                (subProcess ?K ?S)
                (patient ?K ?BALL)))))
Sports.kif 313-321


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