(=>
(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 |
(=>
(holdsDuring ?TIME
(and
(occupiesPosition ?PERSON Deacon ?ORG)
(instance ?ORG ReligiousOrganization)))
(exists (?C)
(holdsDuring ?TIME
(and
(occupiesPosition ?C Cleric ?ORG)
(subordinateInOrganization ?ORG ?PERSON ?C))))) |
Mid-level-ontology.kif 23153-23162 |
If X holds the position of deacon in Y and Y is an instance of religious organization holds during Z, then there exists W such that W holds the position of cleric in Y and Y is subordinate in organization X for W holds during Z |
(=>
(and
(instance ?ORD Ordaining)
(patient ?ORD ?X)
(instance ?X Human)
(member ?X Christianity))
(hasPurpose ?ORD
(exists (?CER ?A)
(and
(instance ?CER Ceremony)
(instance ?A Appointing)
(subProcess ?A ?CER)
(patient ?A ?X)
(appointedPosition ?A ?X Cleric))))) |
Biography.kif 161-174 |
If X is an instance of ordaining, Y is a patient of X, Y is an instance of human, and Y is a member of christianity, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of ceremony (3) W is an instance of appointing (4) W is a subprocess of Z (5) Y is a patient of W (6) appointed position W, Y (7) cleric |
Cleric