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 7525-7526
(externalImage SportsTeam "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Thai_national_football_team_squad_Asian_Games_2006.jpg") pictureList.kif 1501-1501
(subclass SportsTeam GroupOfPeople) Mid-level-ontology.kif 7524-7524 SportsTeam est une sous-classe de GroupOfPeople

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


(subclass BaseballTeam SportsTeam) Sports.kif 750-750 BaseballTeam est une sous-classe de SportsTeam
(subclass BasketballTeam SportsTeam) Sports.kif 503-503 BasketballTeam est une sous-classe de SportsTeam
(subclass CarRacingTeam SportsTeam) Sports.kif 513-513 CarRacingTeam est une sous-classe de SportsTeam
(subclass FootballTeam SportsTeam) Sports.kif 843-843 FootballTeam est une sous-classe de SportsTeam
(subclass LacrosseTeam SportsTeam) Sports.kif 511-511 LacrosseTeam est une sous-classe de SportsTeam
(subclass MotorcycleRacingTeam SportsTeam) Sports.kif 514-514 MotorcycleRacingTeam est une sous-classe de SportsTeam
(subclass RugbyTeam SportsTeam) Sports.kif 509-509 RugbyTeam est une sous-classe de SportsTeam
(subclass SoccerTeam SportsTeam) Sports.kif 507-507 SoccerTeam est une sous-classe de SportsTeam
(subclass VolleyballTeam SportsTeam) Sports.kif 505-505 VolleyballTeam est une sous-classe de SportsTeam
(termFormat ChineseLanguage SportsTeam "运动队") domainEnglishFormat.kif 54786-54786
(termFormat ChineseTraditionalLanguage SportsTeam "運動隊") domainEnglishFormat.kif 54785-54785
(termFormat EnglishLanguage SportsTeam "sports team") domainEnglishFormat.kif 54784-54784

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


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

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


(=>
    (and
        (instance ?L SportsLeague)
        (member ?M ?L))
    (instance ?M SportsTeam))		 Mid-level-ontology.kif 7023-7027
(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P SportsPosition))
    (instance ?O SportsTeam))		 Mid-level-ontology.kif 18933-18937
(=>
    (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 Football)
            (instance ?TEAM SportsTeam)
            (member ?M1 ?TEAM)
            (member ?M2 ?TEAM)
            (not
                (equal ?M1 ?M2)))))		 Sports.kif 828-841
(=>
    (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 7539-7547


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