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

Formal Language: 



KB Term:  Term intersection
English Word: 

  baptismdate

Sigma KEE - baptismdate
baptismdate

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


(documentation baptismdate EnglishLanguage "(baptismdate ?PERSON1 ?DAY) means that ?DAY is the day on which ?PERSON1 was baptized.") Biography.kif 63-63
(domain baptismdate 1 Human) Biography.kif 64-64
(domain baptismdate 2 Day) Biography.kif 65-65
(instance baptismdate BinaryPredicate) Biography.kif 66-66

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


(format ChineseLanguage baptismdate "%1 是在 %2 被 baptised ") domainEnglishFormat.kif 2871-2871
(format ChineseTraditionalLanguage baptismdate "%1 是在 %2 被 baptised ") domainEnglishFormat.kif 2870-2870
(format EnglishLanguage baptismdate "%1 was baptised on %2") domainEnglishFormat.kif 2869-2869

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


(=>
    (baptismdate ?PERSON ?DAY)
    (exists (?BAPTISM)
        (and
            (instance ?BAPTISM Baptizing)
            (experiencer ?BAPTISM ?PERSON)
            (time ?BAPTISM ?DAY))))
Biography.kif 68-74


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