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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EveningFn
EveningFn

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


(documentation EveningFn EnglishLanguage "A UnaryFunction that returns the class of Evenings of the given Day.") Merge.kif 8388-8389
(domain EveningFn 1 Day) Merge.kif 8385-8385 domain EveningFn, 1 and Day
(instance EveningFn PartialValuedRelation) Merge.kif 8384-8384 instance EveningFn and PartialValuedRelation
(instance EveningFn TemporalRelation) Merge.kif 8382-8382 instance EveningFn and TemporalRelation
(instance EveningFn UnaryFunction) Merge.kif 8383-8383 instance EveningFn and UnaryFunction
(range EveningFn Evening) Merge.kif 8386-8386 range EveningFn and Evening

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


(format ChineseLanguage EveningFn "%1 的 evening ") domainEnglishFormat.kif 3323-3323
(format ChineseTraditionalLanguage EveningFn "%1 的 evening ") domainEnglishFormat.kif 3322-3322
(format EnglishLanguage EveningFn "the evening of %1") domainEnglishFormat.kif 3321-3321

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


(=>
    (equal ?E
        (EveningFn ?D))
    (during ?E ?D))
Merge.kif 8391-8393


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