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

Formal Language: 

KB Term:  Term intersection
English Word: 


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 " 4/ 4b/ Thai_national_football_team_squad_Asian_Games_2006.jpg") pictureList.kif 1502-1502 " 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


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


        (instance ?L SportsLeague)
        (member ?M ?L))
    (instance ?M SportsTeam))
Mid-level-ontology.kif 6681-6685
        (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)
            (instance ?THROW Throwing)
            (agent ?THROW ?M1)
            (destination ?THROW ?M2)
            (patient ?THROW ?B)
            (instance ?B Ball)
            (instance ?TEAM SportsTeam)
            (member ?M1 ?TEAM)
            (member ?M2 ?TEAM)
                (equal ?M1 ?M2)))))
Sports.kif 678-690
    (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 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