Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MorningFn
MorningFn

appearance as argument number 1
-------------------------


(documentation MorningFn EnglishLanguage "A UnaryFunction that returns the class of Mornings of the given Day.") Merge.kif 8821-8822
(documentation MorningFn JapaneseLanguage "UnaryFunction は、与えられた DayMorning のクラスを返す。") japanese_format.kif 1513-1514
(domain MorningFn 1 Day) Merge.kif 8818-8818 The number 1 argument of morning fn is an instance of day
(instance MorningFn PartialValuedRelation) Merge.kif 8817-8817 Morning fn is an instance of partial valued relation
(instance MorningFn TemporalRelation) Merge.kif 8815-8815 Morning fn is an instance of temporal relation
(instance MorningFn UnaryFunction) Merge.kif 8816-8816 Morning fn is an instance of unary function
(range MorningFn Morning) Merge.kif 8819-8819 The range of morning fn is an instance of morning

appearance as argument number 2
-------------------------


(format ChineseLanguage MorningFn "%1 的 morning ") domainEnglishFormat.kif 3882-3882
(format ChineseTraditionalLanguage MorningFn "%1 的 morning ") domainEnglishFormat.kif 3881-3881
(format EnglishLanguage MorningFn "the morning of %1") domainEnglishFormat.kif 3880-3880
(termFormat EnglishLanguage MorningFn "morning fn") domainEnglishFormat.kif 65191-65191

antecedent
-------------------------


(=>
    (and
        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))
Merge.kif 8824-8829


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners