(=>
(and
(instance ?ACT ReligiousProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT ReligiousOrganization)
(exists (?ORG)
(and
(member ?AGENT ?ORG)
(instance ?ORG ReligiousOrganization))))) |
Merge.kif 10808-10817 |
If X is an instance of religious process and Y is an agent of X, then Y is an instance of religious organization or there exists Z such that Y is a member of Z and Z is an instance of religious organization |
(=>
(and
(occupiesPosition ?H ?P ?O)
(instance ?P ReligiousPosition))
(instance ?O ReligiousOrganization)) |
Mid-level-ontology.kif 23121-23125 |
If X holds the position of Y in Z and Y is an instance of religious position, then Z is an instance of religious organization |
(=>
(occupiesPosition ?PERSON Cleric ?ORG)
(and
(leader ?ORG ?PERSON)
(instance ?ORG ReligiousOrganization))) |
Mid-level-ontology.kif 23133-23137 |
If X holds the position of cleric in Y, then X is a leader of Y and Y is an instance of religious organization |
(=>
(instance ?D Deacon)
(exists (?O ?C)
(and
(instance ?O ReligiousOrganization)
(instance ?C Cleric)
(subordinateInOrganization ?O ?D ?C)))) |
Mid-level-ontology.kif 23145-23151 |
If X is an instance of deacon, then there exist Y, Z such that Y is an instance of religious organization, Z is an instance of cleric, and Y is subordinate in organization X for Z |
(=>
(instance ?ORD Ordaining)
(hasPurpose ?ORD
(exists (?X ?ORG ?POS)
(and
(patient ?ORD ?X)
(instance ?X Human)
(instance ?ORG ReligiousOrganization)
(member ?X ?ORG)
(result ?ORD ?POS)
(instance ?POS ReligiousPosition)
(occupiesPosition ?X ?POS ?ORG))))) |
Biography.kif 136-147 |
If X is an instance of ordaining, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is a patient of X (3) Y is an instance of human (4) Z is an instance of religious organization (5) Y is a member of Z (6) W is a result of X (7) W is an instance of religious position (8) Y holds the position of W in Z |
(=>
(and
(governmentType ?AGENT ?TYPE)
(subAttribute ?TYPE TheocraticGovernment)
(instance ?AGENT Organization))
(instance ?AGENT ReligiousOrganization)) |
Government.kif 345-350 |
If X is a government type of Y, X is a subattribute of theocratic government, and Y is an instance of organization, then Y is an instance of religious organization |
(=>
(and
(governmentType ?AGENT ?TYPE)
(subAttribute ?TYPE TheocraticGovernment)
(instance ?AGENT GeopoliticalArea))
(instance
(GovernmentFn ?AGENT) ReligiousOrganization)) |
Government.kif 352-357 |
If X is a government type of Y, X is a subattribute of theocratic government, and Y is an instance of geopolitical area, then the government of Y is an instance of religious organization |
(=>
(attribute ?INDIVIDUAL NonDenominationalIndividual)
(not
(exists (?RELIGION)
(and
(instance ?RELIGION ReligiousOrganization)
(member ?INDIVIDUAL ?RELIGION))))) |
People.kif 763-769 |
If non denominational individual is an attribute of X, then there doesn't exist Y such that Y is an instance of religious organization and X is a member of Y |
