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 15605-15606 | |
(subclass ReligiousOrganization BeliefGroup) | Merge.kif 15604-15604 | 宗教机构 是 信仰团体 的 subclass |
(subclass ReligiousOrganization Organization) | Merge.kif 15603-15603 | 宗教机构 是 机构 的 subclass |
appearance as argument number 2 |
![]() |
(instance ChurchOfEngland ReligiousOrganization) | People.kif 1231-1231 | 英格兰教堂 是 宗教机构 的 instance |
(instance RomanCatholicChurch ReligiousOrganization) | People.kif 1281-1281 | 罗马天主教会 是 宗教机构 的 instance |
(subclass Abbey ReligiousOrganization) | People.kif 1214-1214 | 僧院 是 宗教机构 的 subclass |
(subclass Church ReligiousOrganization) | People.kif 803-803 | Church 是 宗教机构 的 subclass |
(subclass MissionOrganization ReligiousOrganization) | Mid-level-ontology.kif 7582-7582 | 任务组织 是 宗教机构 的 subclass |
(termFormat ChineseLanguage ReligiousOrganization "宗教机构") | chinese_format.kif 1072-1072 | |
(termFormat EnglishLanguage ReligiousOrganization "religious organization") | english_format.kif 1360-1360 |
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 18613-18622 |
consequent |
![]() |
![]() |
![]() |