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 9050-9051
(documentation EveningFn JapaneseLanguage "UnaryFunction は、指定された DayEvening のクラスを返す。") japanese_format.kif 1520-1521
(domain EveningFn 1 Day) Merge.kif 9047-9047 EveningFn の数値 1 引数は instance では
(instance EveningFn PartialValuedRelation) Merge.kif 9046-9046 EveningFn部分的価値関係instance では
(instance EveningFn TemporalRelation) Merge.kif 9044-9044 EveningFn時間関係instance では
(instance EveningFn UnaryFunction) Merge.kif 9045-9045 EveningFn1変数関数instance では
(range EveningFn Evening) Merge.kif 9048-9048 EveningFnrangeEvening のインスタンス では

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


(format ChineseLanguage EveningFn "%1 的 evening ") domainEnglishFormat.kif 3320-3320
(format ChineseTraditionalLanguage EveningFn "%1 的 evening ") domainEnglishFormat.kif 3319-3319
(format EnglishLanguage EveningFn "the evening of %1") domainEnglishFormat.kif 3318-3318
(termFormat EnglishLanguage EveningFn "Evening fn") domainEnglishFormat.kif 64830-64830

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


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


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