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 8355-8356
(domain EveningFn 1 Day) Merge.kif 8352-8352 domain EveningFn, 1 and Day
(instance EveningFn PartialValuedRelation) Merge.kif 8351-8351 instance EveningFn and PartialValuedRelation
(instance EveningFn TemporalRelation) Merge.kif 8349-8349 instance EveningFn and TemporalRelation
(instance EveningFn UnaryFunction) Merge.kif 8350-8350 instance EveningFn and UnaryFunction
(range EveningFn Evening) Merge.kif 8353-8353 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 8358-8360


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