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

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