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 9072-9073
(documentation EveningFn JapaneseLanguage "UnaryFunction は、指定された Day の Evening のクラスを返す。") japanese_format.kif 1520-1521
(domain EveningFn 1 Day) Merge.kif 9069-9069 The number 1 argument of Evening fn is an instance of day
(instance EveningFn PartialValuedRelation) Merge.kif 9068-9068 Evening fn is an instance of partial valued relation
(instance EveningFn TemporalRelation) Merge.kif 9066-9066 Evening fn is an instance of temporal relation
(instance EveningFn UnaryFunction) Merge.kif 9067-9067 Evening fn is an instance of unary function
(range EveningFn Evening) Merge.kif 9070-9070 The range of Evening fn is an instance of evening

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 64829-64829

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


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


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