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 8731-8732
(domain MorningFn 1 Day) Merge.kif 8728-8728 MorningFn 的 1 数量 是 instance
(instance MorningFn PartialValuedRelation) Merge.kif 8727-8727 MorningFn部分值关系instance
(instance MorningFn TemporalRelation) Merge.kif 8725-8725 MorningFn时间关系instance
(instance MorningFn UnaryFunction) Merge.kif 8726-8726 MorningFn一元函数instance
(range MorningFn Morning) Merge.kif 8729-8729 MorningFnrange早上 的实例

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

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


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


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