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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ceremony

Sigma KEE - Ceremony
CeremonyMaundy, ceremonial, ceremonial_occasion, ceremony, chanoyu, circumstance, commemoration, dedication, exercise, groundbreaking, groundbreaking_ceremony, induction, initiation, installation, lustrum, memorialisation, memorialization, military_ceremony, observance, opening, pageant, pageantry, potlatch, presentation, purgation, purification, rite, ritual, tea_ceremony

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7637-7641
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7635-7635 Ceremony is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7636-7636 Ceremony is a subclass of social interaction

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7706-7706 Baptizing is a subclass of Ceremony
No TPTP formula. May not be expressible in strict first order. Government.kif 1368-1368 Coronation is a subclass of Ceremony
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15502-15502 Funeral is a subclass of Ceremony
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7675-7675 Wedding is a subclass of Ceremony


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 3.0 is open source software produced by Articulate Software and its partners