TreeView Knowledge Base Browser

appearance as argument number 1

(subclass SportsPlay Plan)	Mid-level-ontology.kif 18254-18254	Sports play is a subclass of plan
(documentation SportsPlay EnglishLanguage "A Plan for a Maneuver within a TeamSport.")	Mid-level-ontology.kif 18255-18255	Sports play is a subclass of plan

appearance as argument number 2

(termFormat EnglishLanguage SportsPlay "sports play")	domainEnglishFormat.kif 54769-54769
(termFormat ChineseTraditionalLanguage SportsPlay "體育比賽")	domainEnglishFormat.kif 54770-54770
(termFormat ChineseLanguage SportsPlay "体育比赛")	domainEnglishFormat.kif 54771-54771

antecedent

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