ReligiousOrganization(OrganizzazioneReligiosa) |
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 16809-16810 | |
(subclass ReligiousOrganization BeliefGroup) | Merge.kif 16808-16808 | OrganizzazioneReligiosa è una sottoclasse di BeliefGroup |
(subclass ReligiousOrganization Organization) | Merge.kif 16807-16807 | OrganizzazioneReligiosa è una sottoclasse di Organizzazione |
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 20938-20947 |
|
consequent |