TeamSport - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TeamSport EnglishLanguage "Any Sport which is played by SportsTeams, e.g. Baseball and Football.")	Mid-level-ontology.kif 7536-7537
(externalImage TeamSport "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Rugby_union_scrummage.jpg")	pictureList.kif 8751-8751
(subclass TeamSport Sport)	Mid-level-ontology.kif 7535-7535	子類團隊運動 and Sport

appearance as argument number 2

(subclass Baseball TeamSport)	Sports.kif 604-604	子類棒球 and 團隊運動
(subclass Basketball TeamSport)	Sports.kif 768-768	子類籃球 and 團隊運動
(subclass Cricket TeamSport)	Sports.kif 93-93	子類 Cricket and 團隊運動
(subclass Dodgeball TeamSport)	Sports.kif 128-128	子類 Dodgeball and 團隊運動
(subclass FootballUS TeamSport)	Sports.kif 807-807	子類美式足球赛 and 團隊運動
(subclass Handball TeamSport)	Sports.kif 122-122	子類 Handball and 團隊運動
(subclass Hockey TeamSport)	Sports.kif 118-118	子類 Hockey and 團隊運動
(subclass IceHockey TeamSport)	Sports.kif 120-120	子類 IceHockey and 團隊運動
(subclass Netball TeamSport)	Sports.kif 153-153	子類 Netball and 團隊運動
(subclass Rugby TeamSport)	Sports.kif 124-124	子類 Rugby and 團隊運動
(subclass Soccer TeamSport)	Sports.kif 156-156	子類英式足球比賽 and 團隊運動
(subclass Volleyball TeamSport)	Sports.kif 241-241	子類 Volleyball and 團隊運動
(termFormat ChineseLanguage TeamSport "团队运动")	domainEnglishFormat.kif 57171-57171
(termFormat ChineseTraditionalLanguage TeamSport "團隊運動")	domainEnglishFormat.kif 57170-57170
(termFormat EnglishLanguage TeamSport "team sport")	domainEnglishFormat.kif 57169-57169

antecedent

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

consequent

(=>
    (and
        (instance ?SP SportsPlay)
        (realization ?P ?SP))
    (exists (?S)
        (and
            (instance ?S TeamSport)
            (instance ?P Maneuver)
            (subProcess ?P ?S))))

Mid-level-ontology.kif 16643-16651