BrachioradialisMuscle
|
|
appearance as argument number 1 |
(documentation ReligiousPosition EnglishLanguage "Any Position within a ReligousOrganization.") | Mid-level-ontology.kif 20904-20904 | |
(subclass ReligiousPosition Position) | Mid-level-ontology.kif 20903-20903 | ReligiousPosition est une sous-classe de position |
appearance as argument number 2 |
antecedent |
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P ReligiousPosition)) (instance ?O ReligiousOrganization)) |
Mid-level-ontology.kif 20906-20910 |
|
consequent |
(=> (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 132-143 |
|