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 8921-8922
(documentation EveningFn JapaneseLanguage "UnaryFunction は、指定された Day の Evening のクラスを返す。") japanese_format.kif 1520-1521
(domain EveningFn 1 Day) Merge.kif 8918-8918 Le nombre 1 argument de EveningFn est une instance de jour
(instance EveningFn PartialValuedRelation) Merge.kif 8917-8917 EveningFn est une instance de relation partielle
(instance EveningFn TemporalRelation) Merge.kif 8915-8915 EveningFn est une instance de relation temporel
(instance EveningFn UnaryFunction) Merge.kif 8916-8916 EveningFn est une instance de function unaire
(range EveningFn Evening) Merge.kif 8919-8919 Le domaine de EveningFn est une instance de Evening

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

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


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


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