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 8843-8844
(documentation MorningFn JapaneseLanguage "UnaryFunction は、与えられた Day の Morning のクラスを返す。") japanese_format.kif 1513-1514
(domain MorningFn 1 Day) Merge.kif 8840-8840 Il numero 1 argomenti di MorningFn è un istanza di Giorno
(instance MorningFn PartialValuedRelation) Merge.kif 8839-8839 MorningFn è un' istanza di RelazioneAValoreParziale
(instance MorningFn TemporalRelation) Merge.kif 8837-8837 MorningFn è un' istanza di RelazioneTemporale
(instance MorningFn UnaryFunction) Merge.kif 8838-8838 MorningFn è un' istanza di FunzioneUnaria
(range MorningFn Morning) Merge.kif 8841-8841 rango di MorningFn è un'istanza di Morning

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

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


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


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