ReligiousPosition - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21795-21795
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21794-21794	Religious position is a subclass of position

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	People.kif 1209-1209	Abbot is an instance of religious position
No TPTP formula. May not be expressible in strict first order.	People.kif 1381-1381	Ayatollah is an instance of religious position
No TPTP formula. May not be expressible in strict first order.	People.kif 826-826	Bishop is an instance of religious position
No TPTP formula. May not be expressible in strict first order.	People.kif 1294-1294	Cardinal is an instance of religious position
No TPTP formula. May not be expressible in strict first order.	People.kif 1133-1133	Chaplain is an instance of religious position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21804-21804	Cleric is an instance of religious position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21815-21815	Deacon is an instance of religious position
No TPTP formula. May not be expressible in strict first order.	People.kif 680-680	Monk is an instance of religious position
No TPTP formula. May not be expressible in strict first order.	People.kif 1287-1287	Pope is an instance of religious position
No TPTP formula. May not be expressible in strict first order.	People.kif 1432-1432	Rabbi is an instance of religious position
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49463-49463	Rabbi is an instance of religious position
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49462-49462	Rabbi is an instance of religious position
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49461-49461	Rabbi is an instance of religious position

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 21797-21801

If a human holds the position of a position in an organization and the position is an instance of religious position,
then the organization is an instance of religious organization

consequent

No TPTP formula. May not be expressible in strict first order.

Biography.kif 132-143

If a physical is an instance of Ordaining,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is a patient of the physical and the entity is an instance of human and the other entity is an instance of religious organization and the entity is a member of the other entity and the third entity is a result of the physical and the third entity is an instance of religious position and the entity holds the position of the third entity in the other entity

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

KB Term:			Term intersection

English Word: