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 8937-8938
(documentation EveningFn JapaneseLanguage "UnaryFunction は、指定された DayEvening のクラスを返す。") japanese_format.kif 1520-1521
(domain EveningFn 1 Day) Merge.kif 8934-8934 EveningFn の数値 1 引数は instance では %n
(instance EveningFn PartialValuedRelation) Merge.kif 8933-8933 EveningFn部分的価値関係instance では %n
(instance EveningFn TemporalRelation) Merge.kif 8931-8931 EveningFn時間関係instance では %n
(instance EveningFn UnaryFunction) Merge.kif 8932-8932 EveningFn1変数関数instance では %n
(range EveningFn Evening) Merge.kif 8935-8935 EveningFnrangeEvening のインスタンス では %n

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

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


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


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