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

Formal Language: 



KB Term:  Term intersection
English Word: 

  baptismplace

Sigma KEE - baptismplace
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

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


(=>
    (baptismplace ?PERSON ?PLACE)
    (exists (?BAPTISM)
        (and
            (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