ReligiousOrganization
|
|
appearance as argument number 1 |
(documentation ReligiousOrganization ChineseLanguage "这是一个组员拥有共同宗教信念的 Organization。") | chinese_format.kif 3749-3750 | |
(documentation ReligiousOrganization EnglishLanguage "An Organization whose members share a set of religious beliefs.") | Merge.kif 16738-16739 | |
(subclass ReligiousOrganization BeliefGroup) | Merge.kif 16737-16737 | Organizacao Religiosa e' uma sub-classe de BeliefGroup |
(subclass ReligiousOrganization Organization) | Merge.kif 16736-16736 | Organizacao Religiosa e' uma sub-classe de Organizacao |
appearance as argument number 2 |
antecedent |
(=> (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 20911-20920 |
|
consequent |