Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Deacon(deacon)
|  | Protestant_deacon, deacon |
| appearance as argument number 1 |
|
|
| (instance Deacon ReligiousPosition) | Mid-level-ontology.kif 23139-23139 | Deacon is an instance of religious position |
| (subAttribute Deacon PartTimePosition) | Mid-level-ontology.kif 23140-23140 | Deacon is a subattribute of part timer |
| (documentation Deacon EnglishLanguage "Any Position within a ReligiousOrganization that is held by a layman, which is part-time, and which involves assisting a Cleric.") | Mid-level-ontology.kif 23141-23143 | Deacon is a subattribute of part timer |
| (externalImage Deacon "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Orthodox_Deacon.jpg") | pictureList.kif 4639-4639 | Deacon is a subattribute of part timer |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
|