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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 EnglishLanguage baptismdate "%1 was baptised on %2") domainEnglishFormat.kif 726-726


    (baptismdate ?PERSON ?DAY)
    (exists (?BAPTISM)
            (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners