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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - MorningFn

appearance as argument number 1

(documentation MorningFn EnglishLanguage "A UnaryFunction that returns the class of Mornings of the given Day.") Merge.kif 8729-8730
(domain MorningFn 1 Day) Merge.kif 8726-8726
(instance MorningFn PartialValuedRelation) Merge.kif 8725-8725
(instance MorningFn TemporalRelation) Merge.kif 8723-8723
(instance MorningFn UnaryFunction) Merge.kif 8724-8724
(range MorningFn Morning) Merge.kif 8727-8727

appearance as argument number 2

(format ChineseLanguage MorningFn "%1 的 morning ") domainEnglishFormat.kif 3887-3887
(format ChineseTraditionalLanguage MorningFn "%1 的 morning ") domainEnglishFormat.kif 3886-3886
(format EnglishLanguage MorningFn "the morning of %1") domainEnglishFormat.kif 3885-3885


        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))
Merge.kif 8732-8737

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

Show without tree

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