Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleIPhone5c
  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 8973-8974
(documentation EveningFn JapaneseLanguage "UnaryFunction は、指定された Day の Evening のクラスを返す。") japanese_format.kif 1520-1521
(domain EveningFn 1 Day) Merge.kif 8970-8970 EveningFn 的 1 数量 是 日 的 instance
(instance EveningFn PartialValuedRelation) Merge.kif 8969-8969 EveningFn 是 部分值关系 的 instance
(instance EveningFn TemporalRelation) Merge.kif 8967-8967 EveningFn 是 时间关系 的 instance
(instance EveningFn UnaryFunction) Merge.kif 8968-8968 EveningFn 是 一元函数 的 instance
(range EveningFn Evening) Merge.kif 8971-8971 EveningFn 的 range 是 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 64838-64838

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


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


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