AfternoonFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance AfternoonFn TemporalRelation)	Merge.kif 9033-9033	Afternoon of is an instance of temporal relation
(instance AfternoonFn UnaryFunction)	Merge.kif 9034-9034	Afternoon of is an instance of unary function
(instance AfternoonFn PartialValuedRelation)	Merge.kif 9035-9035	Afternoon of is an instance of partial valued relation
(domain AfternoonFn 1 Day)	Merge.kif 9036-9036	The number 1 argument of afternoon of is an instance of day
(range AfternoonFn Afternoon)	Merge.kif 9037-9037	The range of afternoon of is an instance of afternoon
(documentation AfternoonFn EnglishLanguage "A UnaryFunction that returns the class of Afternoons of the given Day.")	Merge.kif 9039-9040	The range of afternoon of is an instance of afternoon

appearance as argument number 2

(format EnglishLanguage AfternoonFn "the afternoon of %1")	domainEnglishFormat.kif 2704-2704
(format ChineseTraditionalLanguage AfternoonFn "%1 的 afternoon ")	domainEnglishFormat.kif 2705-2705
(format ChineseLanguage AfternoonFn "%1 的 afternoon ")	domainEnglishFormat.kif 2706-2706
(termFormat EnglishLanguage AfternoonFn "afternoon of")	domainEnglishFormat.kif 64417-64417

antecedent

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

If X is an instance of afternoon, Y is an instance of day, and equal X and the afternoon of Y, then X takes place during Y