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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 8934-8935
(documentation MorningFn JapaneseLanguage "UnaryFunction は、与えられた DayMorning のクラスを返す。") japanese_format.kif 1513-1514
(domain MorningFn 1 Day) Merge.kif 8931-8931 MorningFn の数値 1 引数は instance では
(instance MorningFn PartialValuedRelation) Merge.kif 8930-8930 MorningFn部分的価値関係instance では
(instance MorningFn TemporalRelation) Merge.kif 8928-8928 MorningFn時間関係instance では
(instance MorningFn UnaryFunction) Merge.kif 8929-8929 MorningFn1変数関数instance では
(range MorningFn Morning) Merge.kif 8932-8932 MorningFnrangeMorning のインスタンス では

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


(format ChineseLanguage MorningFn "%1 的 morning ") domainEnglishFormat.kif 3880-3880
(format ChineseTraditionalLanguage MorningFn "%1 的 morning ") domainEnglishFormat.kif 3879-3879
(format EnglishLanguage MorningFn "the morning of %1") domainEnglishFormat.kif 3878-3878
(termFormat EnglishLanguage MorningFn "morning fn") domainEnglishFormat.kif 65185-65185

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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