AfternoonFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AfternoonFn EnglishLanguage "A UnaryFunction that returns the class of Afternoons of the given Day.")	Merge.kif 8739-8740
(domain AfternoonFn 1 Day)	Merge.kif 8736-8736
(instance AfternoonFn PartialValuedRelation)	Merge.kif 8735-8735
(instance AfternoonFn TemporalRelation)	Merge.kif 8733-8733
(instance AfternoonFn UnaryFunction)	Merge.kif 8734-8734
(range AfternoonFn Afternoon)	Merge.kif 8737-8737

appearance as argument number 2

(format ChineseLanguage AfternoonFn "%1 的 afternoon ")	domainEnglishFormat.kif 2711-2711
(format ChineseTraditionalLanguage AfternoonFn "%1 的 afternoon ")	domainEnglishFormat.kif 2710-2710
(format EnglishLanguage AfternoonFn "the afternoon of %1")	domainEnglishFormat.kif 2709-2709

antecedent

(=>
    (and
        (instance ?E Afternoon)
        (instance ?D Day)
        (equal ?E
            (AfternoonFn ?D)))
    (during ?E ?D))

Merge.kif 8742-8747