TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ReligiousProcess ChineseLanguage "这是一个在 ReligiousOrganization 内或由它举行的 OrganizationalProcess。")	chinese_format.kif 2945-2946
(documentation ReligiousProcess EnglishLanguage "An OrganizationalProcess that is carried out within or by a ReligiousOrganization.")	Merge.kif 10559-10560
(documentation ReligiousProcess JapaneseLanguage "OrganizationalProcess は、 ReligiousOrganization 内または ReligiousOrganization によって実行される。")	japanese_format.kif 1700-1701
(subclass ReligiousProcess OrganizationalProcess)	Merge.kif 10557-10557	ReligiousProcess ist eine teilkategorie von OrganizationalProcess

appearance as argument number 2

(subclass Aqiqah ReligiousProcess)	ArabicCulture.kif 324-324	Aqiqah ist eine teilkategorie von ReligiousProcess
(subclass Baptizing ReligiousProcess)	Mid-level-ontology.kif 7992-7992	Baptizing ist eine teilkategorie von ReligiousProcess
(subclass BarMitzvah ReligiousProcess)	Biography.kif 66-66	BarMitzvah ist eine teilkategorie von ReligiousProcess
(subclass BatMitzvah ReligiousProcess)	Biography.kif 96-96	BatMitzvah ist eine teilkategorie von ReligiousProcess
(subclass EidAladha ReligiousProcess)	ArabicCulture.kif 272-272	EidAladha ist eine teilkategorie von ReligiousProcess
(subclass Hajj ReligiousProcess)	ArabicCulture.kif 120-120	Hajj ist eine teilkategorie von ReligiousProcess
(subclass IhramPeriod ReligiousProcess)	ArabicCulture.kif 169-169	IhramPeriod ist eine teilkategorie von ReligiousProcess
(subclass IslamicMilitancy ReligiousProcess)	TransnationalIssues.kif 51-51	IslamicMilitancy ist eine teilkategorie von ReligiousProcess
(subclass Khitan ReligiousProcess)	ArabicCulture.kif 344-344	Khitan ist eine teilkategorie von ReligiousProcess
(subclass Ordaining ReligiousProcess)	Biography.kif 127-127	Ordaining ist eine teilkategorie von ReligiousProcess
(subclass Praying ReligiousProcess)	Mid-level-ontology.kif 8003-8003	Praying ist eine teilkategorie von ReligiousProcess
(subclass ReligiousFuneral ReligiousProcess)	Mid-level-ontology.kif 16025-16025	ReligiousFuneral ist eine teilkategorie von ReligiousProcess
(subclass ReligiousService ReligiousProcess)	Mid-level-ontology.kif 7985-7985	ReligiousService ist eine teilkategorie von ReligiousProcess
(subclass ReligiousWedding ReligiousProcess)	Biography.kif 54-54	ReligiousWedding ist eine teilkategorie von ReligiousProcess
(subclass UdhiyahRitual ReligiousProcess)	ArabicCulture.kif 242-242	UdhiyahRitual ist eine teilkategorie von ReligiousProcess
(subclass Umrah ReligiousProcess)	ArabicCulture.kif 184-184	Umrah ist eine teilkategorie von ReligiousProcess
(subclass Zakat ReligiousProcess)	ArabicCulture.kif 195-195	Zakat ist eine teilkategorie von ReligiousProcess
(termFormat ChineseLanguage ReligiousProcess "宗教过程")	chinese_format.kif 1096-1096
(termFormat EnglishLanguage ReligiousProcess "religious process")	english_format.kif 1403-1403
(termFormat FrenchLanguage ReligiousProcess "processus religieux")	french_format.kif 774-774
(termFormat Hindi ReligiousProcess "dhaarmika prakriyaa")	terms-hindi.txt 306-306
(termFormat ItalianLanguage ReligiousProcess "ProcessoReligioso")	terms-it.txt 309-309
(termFormat JapaneseLanguage ReligiousProcess "宗教的プロセス")	japanese_format.kif 2458-2458
(termFormat PortugueseLanguage ReligiousProcess "Processo Religioso")	portuguese_format.kif 726-726

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=>
    (and
        (instance ?ACT ReligiousProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT ReligiousOrganization)
        (exists (?ORG)
            (and
                (member ?AGENT ?ORG)
                (instance ?ORG ReligiousOrganization)))))

Merge.kif 10562-10571

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}

consequent

(=> (instance ?X PlaceOfWorship) (hasPurpose ?X (exists (?EV) (and (instance ?EV ReligiousProcess) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 22522-22528	Wenn Physical ist ein fall von PlaceOfWorship %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von ReligiousProcess %n{nicht} und eventLocated entity and Physical %n{nicht}
(=> (instance ?X Theology) (exists (?Y) (and (instance ?Y ReligiousProcess) (refers ?X ?Y))))	Mid-level-ontology.kif 21317-21322	Wenn Entity ist ein fall von Theology %n{nicht}, dann es gibt Entity um Entity ist ein fall von ReligiousProcess %n{nicht} und Entity umfasst einen hinweis auf Entity

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: