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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


    (coaches ?COACH ?PLAYER)
        (attribute ?COACH Coach)
        (exists (?GAME ?EDUCATION)
                (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