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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - baptismplace

appearance as argument number 1

(documentation baptismplace EnglishLanguage "(baptismplace ?PERSON ?PLACE) means that ?PLACE is the place where the ?PERSON was baptized.") Biography.kif 76-76
(domain baptismplace 1 Human) Biography.kif 77-77
(domain baptismplace 2 Region) Biography.kif 78-78
(instance baptismplace BinaryPredicate) Biography.kif 79-79

appearance as argument number 2

(format EnglishLanguage baptismplace "%1 was baptised in %2") domainEnglishFormat.kif 727-727


    (baptismplace ?PERSON ?PLACE)
    (exists (?BAPTISM)
            (instance ?BAPTISM Baptizing)
            (experiencer ?BAPTISM ?PERSON)
            (eventLocated ?BAPTISM ?PLACE))))
Biography.kif 81-87

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