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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TeamSport
TeamSport

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


(documentation TeamSport EnglishLanguage "Any Sport which is played by SportsTeams, e.g. Baseball and Football.") Mid-level-ontology.kif 7245-7246
(externalImage TeamSport "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Rugby_union_scrummage.jpg") pictureList.kif 8756-8756
(subclass TeamSport Sport) Mid-level-ontology.kif 7244-7244

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


(subclass Baseball TeamSport) Sports.kif 490-490
(subclass Basketball TeamSport) Sports.kif 654-654
(subclass Football TeamSport) Sports.kif 662-662
(termFormat ChineseLanguage TeamSport "团队运动") domainEnglishFormat.kif 57109-57109
(termFormat ChineseTraditionalLanguage TeamSport "團隊運動") domainEnglishFormat.kif 57108-57108
(termFormat EnglishLanguage TeamSport "team sport") domainEnglishFormat.kif 57107-57107

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


(=>
    (instance ?S TeamSport)
    (exists (?T1 ?T2)
        (and
            (contestParticipant ?S ?T1)
            (contestParticipant ?S ?T2)
            (instance ?T1 SportsTeam)
            (instance ?T2 SportsTeam)
            (not
                (equal ?T1 ?T2)))))
Mid-level-ontology.kif 7248-7256

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


(=>
    (and
        (instance ?SP SportsPlay)
        (realization ?P ?SP))
    (exists (?S)
        (and
            (instance ?S TeamSport)
            (instance ?P Maneuver)
            (subProcess ?P ?S))))
Mid-level-ontology.kif 14243-14251


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners