TreeView Knowledge Base Browser

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