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 8959-8960
(documentation EveningFn JapaneseLanguage "UnaryFunction は、指定された DayEvening のクラスを返す。") japanese_format.kif 1520-1521
(domain EveningFn 1 Day) Merge.kif 8956-8956 EveningFn 的 1 数量 是 instance
(instance EveningFn PartialValuedRelation) Merge.kif 8955-8955 EveningFn部分值关系instance
(instance EveningFn TemporalRelation) Merge.kif 8953-8953 EveningFn时间关系instance
(instance EveningFn UnaryFunction) Merge.kif 8954-8954 EveningFn一元函数instance
(range EveningFn Evening) Merge.kif 8957-8957 EveningFnrangeEvening 的实例

appearance as argument number 2

(format ChineseLanguage EveningFn "%1 的 evening ") domainEnglishFormat.kif 3322-3322
(format ChineseTraditionalLanguage EveningFn "%1 的 evening ") domainEnglishFormat.kif 3321-3321
(format EnglishLanguage EveningFn "the evening of %1") domainEnglishFormat.kif 3320-3320
(termFormat EnglishLanguage EveningFn "Evening fn") domainEnglishFormat.kif 64836-64836


        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))
Merge.kif 8962-8967

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