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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Baptizing

Sigma KEE - Baptizing
Baptizing
عمّد, إستعمل للمرة الأولى, طهر روحيا, عمد, غطس طفلا في الماء,

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


(documentation Baptizing EnglishLanguage "A ReligiousProcess which marks the acceptance of the person being baptized into the ReligiousOrganization.") Mid-level-ontology.kif 7690-7691
(externalImage Baptizing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Baptism_of_cornelius.jpg") pictureList.kif 4864-4864
(externalImage Baptizing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Giovanni_di_Paolo_St_Ansanus_Baptizing.jpg") pictureList.kif 4531-4531
(subclass Baptizing Ceremony) Mid-level-ontology.kif 7687-7687
(subclass Baptizing JoiningAnOrganization) Mid-level-ontology.kif 7689-7689
(subclass Baptizing ReligiousProcess) Mid-level-ontology.kif 7688-7688

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


(termFormat EnglishLanguage Baptizing "baptizing") domainEnglishFormat.kif 2078-2078

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


(=>
    (and
        (instance ?B Baptizing)
        (patient ?B ?H))
    (instance ?H Human))
Mid-level-ontology.kif 7692-7696

consequent
-------------------------


(=>
    (baptismdate ?PERSON ?DAY)
    (exists (?BAPTISM)
        (and
            (instance ?BAPTISM Baptizing)
            (experiencer ?BAPTISM ?PERSON)
            (time ?BAPTISM ?DAY))))
Biography.kif 68-74
(=>
    (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