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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TeamSport
TeamSport(team sport)

appearance as argument number 1

(documentation TeamSport EnglishLanguage "Any Sport which is played by SportsTeams, e.g. Baseball and Football.") Mid-level-ontology.kif 7225-7226
(externalImage TeamSport " 0/ 0b/ Rugby_union_scrummage.jpg") pictureList.kif 8756-8756
(subclass TeamSport Sport) Mid-level-ontology.kif 7224-7224 Team sport is a subclass of sport

appearance as argument number 2

(subclass Baseball TeamSport) Sports.kif 490-490 Baseball is a subclass of team sport
(subclass Basketball TeamSport) Sports.kif 654-654 Basketball is a subclass of team sport
(subclass Football TeamSport) Sports.kif 662-662 Football is a subclass of team sport
(termFormat ChineseLanguage TeamSport "团队运动") domainEnglishFormat.kif 57077-57077
(termFormat ChineseTraditionalLanguage TeamSport "團隊運動") domainEnglishFormat.kif 57076-57076
(termFormat EnglishLanguage TeamSport "team sport") domainEnglishFormat.kif 57075-57075


    (instance ?S TeamSport)
    (exists (?T1 ?T2)
            (contestParticipant ?S ?T1)
            (contestParticipant ?S ?T2)
            (instance ?T1 SportsTeam)
            (instance ?T2 SportsTeam)
                (equal ?T1 ?T2)))))
Mid-level-ontology.kif 7228-7236


        (instance ?SP SportsPlay)
        (realization ?P ?SP))
    (exists (?S)
            (instance ?S TeamSport)
            (instance ?P Maneuver)
            (subProcess ?P ?S))))
Mid-level-ontology.kif 14269-14277

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