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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Football
Football(足球)

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


(documentation Football EnglishLanguage "It is GamePiece used in the Game of FootballUS. It is ConvexRoundShape.") Sports.kif 328-328
(externalImage Football "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ football/ football.png") pictureList.kif 442-442
(subclass Football GamePiece) Sports.kif 344-344 子類 足球 and 遊戲片

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


(termFormat ChineseLanguage Football "美式足球") Sports.kif 330-330
(termFormat ChineseLanguage Football "足球") domainEnglishFormat.kif 24584-24584
(termFormat ChineseTraditionalLanguage Football "美式足球") Sports.kif 331-331
(termFormat ChineseTraditionalLanguage Football "足球") domainEnglishFormat.kif 24583-24583
(termFormat EnglishLanguage Football "foot ball") domainEnglishFormat.kif 24582-24582
(termFormat EnglishLanguage Football "football") Sports.kif 329-329

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


(=>
    (instance ?F Football)
    (exists (?GAME)
        (and
            (instance ?GAME FootballUS)
            (patient ?GAME ?F))))
Sports.kif 333-338
(=>
    (instance ?F Football)
    (shape ?F ConvexRoundShape))
Sports.kif 340-342

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


(=>
    (attribute ?ATHLETE FootballerUS)
    (hasSkill Football ?ATHLETE))
Sports.kif 408-410
(=>
    (instance ?PASS FootballPass)
    (exists (?THROW ?B ?TEAM ?M1 ?M2)
        (and
            (subProcess ?THROW ?PASS)
            (instance ?THROW Throwing)
            (agent ?THROW ?M1)
            (destination ?THROW ?M2)
            (patient ?THROW ?B)
            (instance ?B Football)
            (instance ?TEAM SportsTeam)
            (member ?M1 ?TEAM)
            (member ?M2 ?TEAM)
            (not
                (equal ?M1 ?M2)))))
Sports.kif 828-841


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