![]() |
![]() ![]() ![]()
|
![]() |
|
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 |
![]() |
![]() |