TreeView Knowledge Base Browser

appearance as argument number 1

(instance coaches BinaryPredicate)	Sports.kif 561-561	coaches is an instance of binary predicate
(domain coaches 1 Human)	Sports.kif 562-562	The number 1 argument of coaches is an instance of human
(domain coaches 2 Human)	Sports.kif 563-563	The number 2 argument of coaches is an instance of human
(documentation coaches EnglishLanguage "(coaches ?COACH ?PLAYER) means that the Human ?COACH is the Coach of the Human ?PLAYER")	Sports.kif 564-565	The number 2 argument of coaches is an instance of human

appearance as argument number 2

(termFormat EnglishLanguage coaches "coaches")	Sports.kif 566-566
(format EnglishLanguage coaches "%1 coaches %2")	domainEnglishFormat.kif 3008-3008
(format ChineseTraditionalLanguage coaches "%1 coaches %2 ")	domainEnglishFormat.kif 3009-3009
(format ChineseLanguage coaches "%1 coaches %2 ")	domainEnglishFormat.kif 3010-3010

antecedent

(=>
    (coaches ?COACH ?PLAYER)
    (and
        (attribute ?COACH Coach)
        (exists (?GAME ?EDUCATION)
            (and
                (instance ?GAME Game)
                (instance ?EDUCATION EducationalProcess)
                (agent ?EDUCATION ?COACH)
                (patient ?EDUCATION ?PLAYER)
                (refers ?EDUCATION ?GAME)))))

Sports.kif 567-577

If X coaches Y, then coach is an attribute of X and there exist Z, W such that Z is an instance of game, W is an instance of educational process, X is an agent of W, Y is a patient of W, and W includes a reference to Z

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: