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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Baptizing
Baptizing(baptizing)
baptise, baptize, christen

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7994-7995
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4863-4863
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4530-4530
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7991-7991 Baptizing is a subclass of ceremony
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7993-7993 Baptizing is a subclass of joining an organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7992-7992 Baptizing is a subclass of religious process

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9858-9858
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9857-9857
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9856-9856

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7997-8001

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 178-184
No TPTP formula. May not be expressible in strict first order. Biography.kif 192-198


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners