FootballManeuver - Sigma Knowledge base Browser

appearance as argument number 1

(subclass FootballManeuver Maneuver)	Sports.kif 841-841	Football maneuver is a subclass of maneuver
(documentation FootballManeuver EnglishLanguage "Any Maneuver in FootballUS.")	Sports.kif 842-842	Football maneuver is a subclass of maneuver
(externalImage FootballManeuver "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ American_Football_Kick.jpg")	pictureList.kif 6022-6022	Football maneuver is a subclass of maneuver
(externalImage FootballManeuver "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Vince_Young_scores_a_touchdown_in_the_2005_Big_12_Championship_Game.JPG")	pictureList.kif 6542-6542	Football maneuver is a subclass of maneuver
(externalImage FootballManeuver "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Fiji_Cook_Island_rugby.jpg")	pictureList.kif 9227-9227	Football maneuver is a subclass of maneuver
(externalImage FootballManeuver "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Football4.png")	pictureList.kif 9229-9229	Football maneuver is a subclass of maneuver

appearance as argument number 2

(subclass FootballPass FootballManeuver)	Sports.kif 850-850	Football pass is a subclass of football maneuver
(subclass FootballTouchdown FootballManeuver)	Sports.kif 872-872	Football touchdown is a subclass of football maneuver
(termFormat EnglishLanguage FootballManeuver "football maneuver")	domainEnglishFormat.kif 24586-24586	Football touchdown is a subclass of football maneuver
(termFormat ChineseTraditionalLanguage FootballManeuver "足球演練")	domainEnglishFormat.kif 24587-24587	Football touchdown is a subclass of football maneuver
(termFormat ChineseLanguage FootballManeuver "足球演练")	domainEnglishFormat.kif 24588-24588	Football touchdown is a subclass of football maneuver

antecedent

(=>
    (instance ?M FootballManeuver)
    (exists (?G)
        (and
            (instance ?G FootballUS)
            (subProcess ?M ?G))))

If X is an instance of football maneuver, then there exists Y such that Y is an instance of foot ball US and X is a subprocess of Y