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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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

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 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 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