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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - ContestFn

appearance as argument number 1

(documentation ContestFn EnglishLanguage "(ContestFn ?CONTEST ?TI) is a BinaryFunction that returns an instance of Contest that occured during TimePoint ?TI") Music.kif 1041-1042
(domain ContestFn 2 TimePoint) Music.kif 1046-1046
(domainSubclass ContestFn 1 Contest) Music.kif 1045-1045
(instance ContestFn BinaryFunction) Music.kif 1040-1040
(range ContestFn Contest) Music.kif 1047-1047

appearance as argument number 2

(format EnglishLanguage ContestFn "the %1 that occurred at %2") domainEnglishFormat.kif 781-781
(termFormat EnglishLanguage ContestFn "contest function") Music.kif 1043-1043


    (equal ?C
        (ContestFn ?CONTEST ?TI))
        (instance ?C ?CONTEST)
            (WhenFn ?C) ?TI)))
Music.kif 1049-1053

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