TreeView Knowledge Base Browser - 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 16760-16761
(subclass ReligiousOrganization BeliefGroup)	Merge.kif 16759-16759	ReligiousOrganization ist eine teilkategorie von BeliefGroup
(subclass ReligiousOrganization Organization)	Merge.kif 16758-16758	ReligiousOrganization ist eine teilkategorie von Organization

appearance as argument number 2

(instance ChurchOfEngland ReligiousOrganization)	People.kif 1229-1229	ChurchOfEngland ist ein fall von ReligiousOrganization %n{nicht}
(instance RomanCatholicChurch ReligiousOrganization)	People.kif 1279-1279	RomanCatholicChurch ist ein fall von ReligiousOrganization %n{nicht}
(subclass Abbey ReligiousOrganization)	People.kif 1212-1212	Abbey ist eine teilkategorie von ReligiousOrganization
(subclass Church ReligiousOrganization)	People.kif 801-801	Church ist eine teilkategorie von ReligiousOrganization
(subclass MissionOrganization ReligiousOrganization)	Mid-level-ontology.kif 7898-7898	MissionOrganization ist eine teilkategorie von ReligiousOrganization
(termFormat ChineseLanguage ReligiousOrganization "宗教机构")	chinese_format.kif 1072-1072
(termFormat EnglishLanguage ReligiousOrganization "religious organization")	english_format.kif 1355-1355
(termFormat FrenchLanguage ReligiousOrganization "organisation religieuse")	french_format.kif 750-750
(termFormat Hindi ReligiousOrganization "dhaarmika sansthaa")	terms-hindi.txt 282-282
(termFormat ItalianLanguage ReligiousOrganization "OrganizzazioneReligiosa")	terms-it.txt 285-285
(termFormat JapaneseLanguage ReligiousOrganization "宗教団体")	japanese_format.kif 2434-2434
(termFormat PortugueseLanguage ReligiousOrganization "Organizacao Religiosa")	portuguese_format.kif 702-702
(termFormat cz ReligiousOrganization "religious organization")	terms-cz.txt 321-321
(termFormat ro ReligiousOrganization "organizaþie religioasã")	relations-ro.kif 771-771
(termFormat tg ReligiousOrganization "kapisanan ng mga mananampalataya")	terms-tg.txt 286-286

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

Wenn entity besetzt die position von Deacon in ** entity und ** ** entity ist ein fall von ReligiousOrganization %n{nicht} haelt waehrend TimePosition %n{nicht},
dann es gibt ** entity um ** ** entity besetzt die position von Cleric in ** ** entity und subordinateInOrganization ** ** entity, ** entity and ** ** entity haelt waehrend ** TimePosition %n{nicht}

consequent

(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT GeopoliticalArea)) (instance (GovernmentFn ?AGENT) ReligiousOrganization))	Government.kif 352-357	Wenn governmentType GeopoliticalArea and FormOfGovernment und FormOfGovernment ist ein teilattribut von TheocraticGovernment und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht}, dann GovernmentFn ** GeopoliticalArea ist ein fall von ReligiousOrganization %n{nicht}
(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT Organization)) (instance ?AGENT ReligiousOrganization))	Government.kif 345-350	Wenn governmentType AutonomousAgent and FormOfGovernment und FormOfGovernment ist ein teilattribut von TheocraticGovernment und AutonomousAgent ist ein fall von Organization %n{nicht}, dann ** AutonomousAgent ist ein fall von ReligiousOrganization %n{nicht}
(=> (and (instance ?ACT ReligiousProcess) (agent ?ACT ?AGENT)) (or (instance ?AGENT ReligiousOrganization) (exists (?ORG) (and (member ?AGENT ?ORG) (instance ?ORG ReligiousOrganization)))))	Merge.kif 10584-10593	Wenn Process ist ein fall von ReligiousProcess %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann AutonomousAgent ist ein fall von ReligiousOrganization %n{nicht} oder es gibt Collection um AutonomousAgent ist ein Mitglied von Collection %n{nicht} und ** Collection ist ein fall von ReligiousOrganization %n{nicht}
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P ReligiousPosition)) (instance ?O ReligiousOrganization))	Mid-level-ontology.kif 20878-20882	Wenn Human besetzt die position von Position in Organization und Position ist ein fall von ReligiousPosition %n{nicht}, dann Organization ist ein fall von ReligiousOrganization %n{nicht}
(=> (attribute ?INDIVIDUAL NonDenominationalIndividual) (not (exists (?RELIGION) (and (instance ?RELIGION ReligiousOrganization) (member ?INDIVIDUAL ?RELIGION)))))	People.kif 729-735	Wenn NonDenominationalIndividual ist ein attribut von Object %n{nicht}, dann es gibt nicht Collection um Collection ist ein fall von ReligiousOrganization %n{nicht} und Object ist ein Mitglied von ** Collection %n{nicht}
(=> (instance ?D Deacon) (exists (?O ?C) (and (instance ?O ReligiousOrganization) (instance ?C Cleric) (subordinateInOrganization ?O ?D ?C))))	Mid-level-ontology.kif 20902-20908	Wenn Human ist ein fall von Deacon %n{nicht}, dann es gibt Organization und Human um Organization ist ein fall von ReligiousOrganization %n{nicht} und Human ist ein fall von Cleric %n{nicht} und subordinateInOrganization Organization, Human and Human
(=> (instance ?ORD Ordaining) (hasPurpose ?ORD (exists (?X ?ORG ?POS) (and (patient ?ORD ?X) (instance ?X Human) (instance ?ORG ReligiousOrganization) (member ?X ?ORG) (result ?ORD ?POS) (instance ?POS ReligiousPosition) (occupiesPosition ?X ?POS ?ORG)))))	Biography.kif 132-143	Wenn Physical ist ein fall von Ordaining %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein patient von Physical %n{nicht} und entity ist ein fall von Human %n{nicht} und entity ist ein fall von ReligiousOrganization %n{nicht} und entity ist ein Mitglied von entity %n{nicht} und entity ist ein resultat von Physical %n{nicht} und entity ist ein fall von ReligiousPosition %n{nicht} und entity besetzt die position von entity in ** entity %n{nicht}
(=> (occupiesPosition ?PERSON Cleric ?ORG) (and (leader ?ORG ?PERSON) (instance ?ORG ReligiousOrganization)))	Mid-level-ontology.kif 20890-20894	Wenn Human besetzt die position von Cleric in Organization, dann leader Organization and Human und ** Organization ist ein fall von ReligiousOrganization %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: