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 8987-8988
(documentation EveningFn JapaneseLanguage "UnaryFunction は、指定された DayEvening のクラスを返す。") japanese_format.kif 1520-1521
(domain EveningFn 1 Day) Merge.kif 8984-8984
(instance EveningFn PartialValuedRelation) Merge.kif 8983-8983
(instance EveningFn TemporalRelation) Merge.kif 8981-8981
(instance EveningFn UnaryFunction) Merge.kif 8982-8982
(range EveningFn Evening) Merge.kif 8985-8985

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


(format ChineseLanguage EveningFn "%1 的 evening ") domainEnglishFormat.kif 3316-3316
(format ChineseTraditionalLanguage EveningFn "%1 的 evening ") domainEnglishFormat.kif 3315-3315
(format EnglishLanguage EveningFn "the evening of %1") domainEnglishFormat.kif 3314-3314
(termFormat EnglishLanguage EveningFn "Evening fn") domainEnglishFormat.kif 64861-64861

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


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


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