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 8245-8246
(domain MorningFn 1 Day) Merge.kif 8242-8242 domain MorningFn, 1 and Day
(instance MorningFn PartialValuedRelation) Merge.kif 8241-8241 instance MorningFn and PartialValuedRelation
(instance MorningFn TemporalRelation) Merge.kif 8239-8239 instance MorningFn and TemporalRelation
(instance MorningFn UnaryFunction) Merge.kif 8240-8240 instance MorningFn and UnaryFunction
(range MorningFn Morning) Merge.kif 8243-8243 range MorningFn and Morning

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


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

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


(=>
    (equal ?E
        (MorningFn ?D))
    (during ?E ?D))
Merge.kif 8248-8250


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners