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, sports_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 7233-7234
(externalImage SportsTeam "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Thai_national_football_team_squad_Asian_Games_2006.jpg") pictureList.kif 1502-1502 "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Thai_national_football_team_squad_Asian_Games_2006.jpg" is a URL depicting sports team
(subclass SportsTeam GroupOfPeople) Mid-level-ontology.kif 7232-7232 Sports team is a subclass of group of people

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


(subclass BaseballTeam SportsTeam) Sports.kif 636-636 Baseball team is a subclass of sports team
(subclass BasketballTeam SportsTeam) Sports.kif 389-389 BasketballTeam is a subclass of sports team
(subclass CarRacingTeam SportsTeam) Sports.kif 399-399 CarRacingTeam is a subclass of sports team
(subclass FootballTeam SportsTeam) Sports.kif 692-692 Football team is a subclass of sports team
(subclass LacrosseTeam SportsTeam) Sports.kif 397-397 LacrosseTeam is a subclass of sports team
(subclass MotorcycleRacingTeam SportsTeam) Sports.kif 400-400 MotorcycleRacingTeam is a subclass of sports team
(subclass RugbyTeam SportsTeam) Sports.kif 395-395 RugbyTeam is a subclass of sports team
(subclass SoccerTeam SportsTeam) Sports.kif 393-393 SoccerTeam is a subclass of sports team
(subclass VolleyballTeam SportsTeam) Sports.kif 391-391 VolleyballTeam is a subclass of sports team
(termFormat EnglishLanguage SportsTeam "sports team") domainEnglishFormat.kif 9554-9554 "sports team" is the printable form of sports team in english language

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


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

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


(=>
    (and
        (instance ?L SportsLeague)
        (member ?M ?L))
    (instance ?M SportsTeam))		 Mid-level-ontology.kif 6681-6685
(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P SportsPosition))
    (instance ?O SportsTeam))		 Mid-level-ontology.kif 16572-16576
(=>
    (instance ?PASS FootballPass)
    (exists (?THROW ?B ?TEAM ?M1 ?M2)
        (and
            (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 678-690
(=>
    (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 7247-7255


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