Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  coaches

Sigma KEE - coaches
coaches

appearance as argument number 1
-------------------------


(documentation coaches EnglishLanguage "(coaches ?COACH ?PLAYER) means that the Human ?COACH is the Coach of the Human ?PLAYER") Sports.kif 424-425
(domain coaches 1 Human) Sports.kif 422-422
(domain coaches 2 Human) Sports.kif 423-423
(instance coaches BinaryPredicate) Sports.kif 421-421

appearance as argument number 2
-------------------------


(format EnglishLanguage coaches "%1 coaches %2") domainEnglishFormat.kif 763-763
(termFormat EnglishLanguage coaches "coaches") Sports.kif 426-426

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 427-437


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners