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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SportsTeam

Sigma KEE - SportsTeam
SportsTeam

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 7201-7202
(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 7200-7200

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


(subclass BaseballTeam SportsTeam) Sports.kif 681-681
(subclass BasketballTeam SportsTeam) Sports.kif 434-434
(subclass CarRacingTeam SportsTeam) Sports.kif 444-444
(subclass FootballTeam SportsTeam) Sports.kif 770-770
(subclass LacrosseTeam SportsTeam) Sports.kif 442-442
(subclass MotorcycleRacingTeam SportsTeam) Sports.kif 445-445
(subclass RugbyTeam SportsTeam) Sports.kif 440-440
(subclass SoccerTeam SportsTeam) Sports.kif 438-438
(subclass VolleyballTeam SportsTeam) Sports.kif 436-436
(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 7204-7209

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


(=>
    (and
        (instance ?L SportsLeague)
        (member ?M ?L))
    (instance ?M SportsTeam))
Mid-level-ontology.kif 6683-6687
(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P SportsPosition))
    (instance ?O SportsTeam))
Mid-level-ontology.kif 18284-18288
(=>
    (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 7215-7223


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