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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SportsTeam

Sigma KEE - SportsTeam
SportsTeam(sports team)
JV, first_team, hockey_team, junior_varsity, major-league_club, major-league_team, minor-league_club, minor-league_team, varsity

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


(documentation SportsTeam EnglishLanguage "A GroupOfPeople who habitually play a Sport together, either as an occupation or as a leisure activity.") Mid-level-ontology.kif 7205-7206
(externalImage SportsTeam "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Thai_national_football_team_squad_Asian_Games_2006.jpg") pictureList.kif 1502-1502
(subclass SportsTeam GroupOfPeople) Mid-level-ontology.kif 7204-7204 Sports team is a subclass of group of people

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


(subclass BaseballTeam SportsTeam) Sports.kif 681-681 Baseball team is a subclass of sports team
(subclass BasketballTeam SportsTeam) Sports.kif 434-434 BasketballTeam is a subclass of sports team
(subclass CarRacingTeam SportsTeam) Sports.kif 444-444 CarRacingTeam is a subclass of sports team
(subclass FootballTeam SportsTeam) Sports.kif 770-770 Football team is a subclass of sports team
(subclass LacrosseTeam SportsTeam) Sports.kif 442-442 LacrosseTeam is a subclass of sports team
(subclass MotorcycleRacingTeam SportsTeam) Sports.kif 445-445 MotorcycleRacingTeam is a subclass of sports team
(subclass RugbyTeam SportsTeam) Sports.kif 440-440 RugbyTeam is a subclass of sports team
(subclass SoccerTeam SportsTeam) Sports.kif 438-438 SoccerTeam is a subclass of sports team
(subclass VolleyballTeam SportsTeam) Sports.kif 436-436 VolleyballTeam is a subclass of sports team
(termFormat ChineseLanguage SportsTeam "运动队") domainEnglishFormat.kif 54765-54765
(termFormat ChineseTraditionalLanguage SportsTeam "運動隊") domainEnglishFormat.kif 54764-54764
(termFormat EnglishLanguage SportsTeam "sports team") domainEnglishFormat.kif 54763-54763

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


(=>
    (instance ?TEAM SportsTeam)
    (exists (?SPORT)
        (and
            (subclass ?SPORT Sport)
            (capability ?SPORT agent ?TEAM))))
Mid-level-ontology.kif 7208-7213

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


(=>
    (and
        (instance ?L SportsLeague)
        (member ?M ?L))
    (instance ?M SportsTeam))
Mid-level-ontology.kif 6687-6691
(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P SportsPosition))
    (instance ?O SportsTeam))
Mid-level-ontology.kif 18308-18312
(=>
    (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 Ball)
            (instance ?TEAM SportsTeam)
            (member ?M1 ?TEAM)
            (member ?M2 ?TEAM)
            (not
                (equal ?M1 ?M2)))))
Sports.kif 755-768
(=>
    (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 7219-7227


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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