EveningFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance EveningFn TemporalRelation)	Merge.kif 9133-9133	Evening fn is an instance of temporal relation
(instance EveningFn UnaryFunction)	Merge.kif 9134-9134	Evening fn is an instance of unary function
(instance EveningFn PartialValuedRelation)	Merge.kif 9135-9135	Evening fn is an instance of partial valued relation
(domain EveningFn 1 Day)	Merge.kif 9136-9136	The number 1 argument of Evening fn is an instance of day
(range EveningFn Evening)	Merge.kif 9137-9137	The range of Evening fn is an instance of evening
(documentation EveningFn EnglishLanguage "A UnaryFunction that returns the class of Evenings of the given Day.")	Merge.kif 9139-9140	The range of Evening fn is an instance of evening

appearance as argument number 2

(format EnglishLanguage EveningFn "the evening of %1")	domainEnglishFormat.kif 3318-3318
(format ChineseTraditionalLanguage EveningFn "%1 的 evening ")	domainEnglishFormat.kif 3319-3319
(format ChineseLanguage EveningFn "%1 的 evening ")	domainEnglishFormat.kif 3320-3320
(termFormat EnglishLanguage EveningFn "Evening fn")	domainEnglishFormat.kif 64839-64839

antecedent

(=>
    (and
        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))

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