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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EveningFn

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 8847-8848
(domain EveningFn 1 Day) Merge.kif 8844-8844
(instance EveningFn PartialValuedRelation) Merge.kif 8843-8843
(instance EveningFn TemporalRelation) Merge.kif 8841-8841
(instance EveningFn UnaryFunction) Merge.kif 8842-8842
(range EveningFn Evening) Merge.kif 8845-8845

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


(format ChineseLanguage EveningFn "%1 的 evening ") domainEnglishFormat.kif 3327-3327
(format ChineseTraditionalLanguage EveningFn "%1 的 evening ") domainEnglishFormat.kif 3326-3326
(format EnglishLanguage EveningFn "the evening of %1") domainEnglishFormat.kif 3325-3325

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


(=>
    (and
        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))
Merge.kif 8850-8855


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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