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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MorningFn

 Sigma KEE - MorningFn
MorningFn

appearance as argument number 1
-------------------------


(documentation MorningFn EnglishLanguage "A UnaryFunction that returns the class of Mornings of the given Day.") Merge.kif 8723-8724
(domain MorningFn 1 Day) Merge.kif 8720-8720 The number 1 argument of MorningFn is an instance of day
(instance MorningFn PartialValuedRelation) Merge.kif 8719-8719 MorningFn is an instance of partial valued relation
(instance MorningFn TemporalRelation) Merge.kif 8717-8717 MorningFn is an instance of temporal relation
(instance MorningFn UnaryFunction) Merge.kif 8718-8718 MorningFn is an instance of unary function
(range MorningFn Morning) Merge.kif 8721-8721 The range of MorningFn is an instance of morning

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


(format ChineseLanguage MorningFn "%1 的 morning ") domainEnglishFormat.kif 3887-3887
(format ChineseTraditionalLanguage MorningFn "%1 的 morning ") domainEnglishFormat.kif 3886-3886
(format EnglishLanguage MorningFn "the morning of %1") domainEnglishFormat.kif 3885-3885

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


(=>
    (and
        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))		 Merge.kif 8726-8731


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