MorningFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance MorningFn TemporalRelation)	Merge.kif 9017-9017	Morning fn is an instance of temporal relation
(instance MorningFn UnaryFunction)	Merge.kif 9018-9018	Morning fn is an instance of unary function
(instance MorningFn PartialValuedRelation)	Merge.kif 9019-9019	Morning fn is an instance of partial valued relation
(domain MorningFn 1 Day)	Merge.kif 9020-9020	The number 1 argument of morning fn is an instance of day
(range MorningFn Morning)	Merge.kif 9021-9021	The range of morning fn is an instance of morning
(documentation MorningFn EnglishLanguage "A UnaryFunction that returns the class of Mornings of the given Day.")	Merge.kif 9023-9024	The range of morning fn is an instance of morning

appearance as argument number 2

(format EnglishLanguage MorningFn "the morning of %1")	domainEnglishFormat.kif 3878-3878
(format ChineseTraditionalLanguage MorningFn "%1 的 morning ")	domainEnglishFormat.kif 3879-3879
(format ChineseLanguage MorningFn "%1 的 morning ")	domainEnglishFormat.kif 3880-3880
(termFormat EnglishLanguage MorningFn "morning fn")	domainEnglishFormat.kif 65194-65194

antecedent

(=>
    (and
        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))

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