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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Soccer
Soccer(soccer)World_Cup, association_football, 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 Soccer is a subclass of team sport

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


(names "European football" Soccer) Sports.kif 161-161 Soccer has name "European football"
(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