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 8278-8279
(domain MorningFn 1 Day) Merge.kif 8275-8275 domain MorningFn, 1 and Day
(instance MorningFn PartialValuedRelation) Merge.kif 8274-8274 instance MorningFn and PartialValuedRelation
(instance MorningFn TemporalRelation) Merge.kif 8272-8272 instance MorningFn and TemporalRelation
(instance MorningFn UnaryFunction) Merge.kif 8273-8273 instance MorningFn and UnaryFunction
(range MorningFn Morning) Merge.kif 8276-8276 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 8281-8283


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