TreeView Knowledge Base Browser - ReligiousService

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ReligiousService

Sigma KEE - ReligiousService

ReligiousService

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7987-7989
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7986-7986	ReligiousService e' uma sub-classe de Demonstrating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7985-7985	ReligiousService e' uma sub-classe de Processo Religioso

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	People.kif 779-779	ChristianService e' uma sub-classe de ReligiousService
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49436-49436
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49435-49435
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49434-49434

consequent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 87-92	Processo e' uma instancia de BarMitzvah Processo Processo e' uma instancia de ReligiousService Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Biography.kif 117-122	Processo e' uma instancia de BatMitzvah Processo Processo e' uma instancia de ReligiousService Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16028-16033	Processo e' uma instancia de ReligiousFuneral Processo Processo e' uma instancia de ReligiousService Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15942-15947	Processo e' uma instancia de Sermon Processo Processo e' uma instancia de ReligiousService Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Biography.kif 56-61	Processo e' uma instancia de ReligiousWedding Processo Processo e' uma instancia de ReligiousService Processo e' um sub-processo de Processo

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