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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContestFn

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

antecedent
-------------------------


(=>
    (equal ?C
        (ContestFn ?CONTEST ?TI))
    (and
        (instance ?C ?CONTEST)
        (during
            (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