|
|
   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 15593-15594 | |
| (subclass ReligiousOrganization BeliefGroup) | Merge.kif 15592-15592 | |
| (subclass ReligiousOrganization Organization) | Merge.kif 15591-15591 |
| appearance as argument number 2 |
|
|
| (instance ChurchOfEngland ReligiousOrganization) | People.kif 1231-1231 | |
| (instance RomanCatholicChurch ReligiousOrganization) | People.kif 1281-1281 | |
| (subclass Abbey ReligiousOrganization) | People.kif 1214-1214 | |
| (subclass Church ReligiousOrganization) | People.kif 803-803 | |
| (subclass MissionOrganization ReligiousOrganization) | Mid-level-ontology.kif 7582-7582 | |
| (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 |
|
|
| (=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT GeopoliticalArea)) (instance (GovernmentFn ?AGENT) ReligiousOrganization)) |
Government.kif 340-345 | |
| (=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT Organization)) (instance ?AGENT ReligiousOrganization)) |
Government.kif 333-338 | |
| (=> (and (instance ?ACT ReligiousProcess) (agent ?ACT ?AGENT)) (or (instance ?AGENT ReligiousOrganization) (exists (?ORG) (and (member ?AGENT ?ORG) (instance ?ORG ReligiousOrganization))))) |
Merge.kif 9963-9972 | |
| (=> (and (occupiesPosition ?H ?P ?O) (instance ?P ReligiousPosition)) (instance ?O ReligiousOrganization)) |
Mid-level-ontology.kif 18576-18580 | |
| (=> (attribute ?INDIVIDUAL NonDenominationalIndividual) (not (exists (?RELIGION) (and (instance ?RELIGION ReligiousOrganization) (member ?INDIVIDUAL ?RELIGION))))) |
People.kif 731-737 |
|
|
|