TreeView Knowledge Base Browser

appearance as argument number 1

(subclass TeamSport Sport)	Mid-level-ontology.kif 8856-8856	Team sport is a subclass of sport
(documentation TeamSport EnglishLanguage "Any Sport which is played by SportsTeams, e.g. Baseball and Football.")	Mid-level-ontology.kif 8857-8858	Team sport is a subclass of sport
(externalImage TeamSport "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Rugby_union_scrummage.jpg")	pictureList.kif 8750-8750	Team sport is a subclass of sport

appearance as argument number 2

(subclass Cricket TeamSport)	Sports.kif 105-105	Cricket is a subclass of team sport
(subclass Hockey TeamSport)	Sports.kif 130-130	Hockey is a subclass of team sport
(subclass IceHockey TeamSport)	Sports.kif 132-132	Ice hockey is a subclass of team sport
(subclass Handball TeamSport)	Sports.kif 134-134	Handball is a subclass of team sport
(subclass Rugby TeamSport)	Sports.kif 136-136	Rugby is a subclass of team sport
(subclass Dodgeball TeamSport)	Sports.kif 140-140	Dodgeball is a subclass of team sport
(subclass Netball TeamSport)	Sports.kif 165-165	Netball is a subclass of team sport
(subclass Soccer TeamSport)	Sports.kif 168-168	Soccer is a subclass of team sport
(subclass Volleyball TeamSport)	Sports.kif 253-253	Volleyball is a subclass of team sport
(subclass Baseball TeamSport)	Sports.kif 630-630	Baseball is a subclass of team sport
(subclass Basketball TeamSport)	Sports.kif 794-794	Basketball is a subclass of team sport
(subclass FootballUS TeamSport)	Sports.kif 833-833	Foot ball US is a subclass of team sport
(termFormat EnglishLanguage TeamSport "team sport")	domainEnglishFormat.kif 57168-57168	Foot ball US is a subclass of team sport
(termFormat ChineseTraditionalLanguage TeamSport "團隊運動")	domainEnglishFormat.kif 57169-57169	Foot ball US is a subclass of team sport
(termFormat ChineseLanguage TeamSport "团队运动")	domainEnglishFormat.kif 57170-57170	Foot ball US is a subclass of team sport

antecedent

(=>
    (instance ?S TeamSport)
    (exists (?T1 ?T2)
        (and
            (contestParticipant ?S ?T1)
            (contestParticipant ?S ?T2)
            (instance ?T1 SportsTeam)
            (instance ?T2 SportsTeam)
            (not
                (equal ?T1 ?T2)))))

If X is an instance of team sport, then All of the following hold: (1) there exist Y (2) Z such that Y participates in X (3) Z participates in X (4) Y is an instance of sports team (5) Z is an instance of sports team (6) equal Y (7) Z

consequent

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

If X is an instance of sports play and Y expresses the content of X, then there exists Z such that Z is an instance of team sport, Y is an instance of maneuver, and Y is a subprocess of Z