| 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 |
|
|
|
|
|