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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - EveningFn

appearance as argument number 1

(documentation EveningFn EnglishLanguage "A UnaryFunction that returns the class of Evenings of the given Day.") Merge.kif 8845-8846
(domain EveningFn 1 Day) Merge.kif 8842-8842 EveningFn 的 1 数量 是 instance
(instance EveningFn PartialValuedRelation) Merge.kif 8841-8841 EveningFn部分值关系instance
(instance EveningFn TemporalRelation) Merge.kif 8839-8839 EveningFn时间关系instance
(instance EveningFn UnaryFunction) Merge.kif 8840-8840 EveningFn一元函数instance
(range EveningFn Evening) Merge.kif 8843-8843 EveningFnrangeEvening 的实例

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


        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))
Merge.kif 8848-8853

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