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 8857-8858
(documentation MorningFn JapaneseLanguage "UnaryFunction は、与えられた Day の Morning のクラスを返す。") japanese_format.kif 1513-1514
(domain MorningFn 1 Day) Merge.kif 8854-8854
(instance MorningFn PartialValuedRelation) Merge.kif 8853-8853
(instance MorningFn TemporalRelation) Merge.kif 8851-8851
(instance MorningFn UnaryFunction) Merge.kif 8852-8852
(range MorningFn Morning) Merge.kif 8855-8855

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


(format ChineseLanguage MorningFn "%1 的 morning ") domainEnglishFormat.kif 3882-3882
(format ChineseTraditionalLanguage MorningFn "%1 的 morning ") domainEnglishFormat.kif 3881-3881
(format EnglishLanguage MorningFn "the morning of %1") domainEnglishFormat.kif 3880-3880
(termFormat EnglishLanguage MorningFn "morning fn") domainEnglishFormat.kif 65193-65193

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


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


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