ReligiousProcess - Sigma 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	Processo Religioso e' uma sub-classe de Processo Organizacional

appearance as argument number 2

(subclass Aqiqah ReligiousProcess)	ArabicCulture.kif 324-324	Aqiqah e' uma sub-classe de Processo Religioso
(subclass Baptizing ReligiousProcess)	Mid-level-ontology.kif 7992-7992	Baptizing e' uma sub-classe de Processo Religioso
(subclass BarMitzvah ReligiousProcess)	Biography.kif 66-66	BarMitzvah e' uma sub-classe de Processo Religioso
(subclass BatMitzvah ReligiousProcess)	Biography.kif 96-96	BatMitzvah e' uma sub-classe de Processo Religioso
(subclass EidAladha ReligiousProcess)	ArabicCulture.kif 272-272	EidAladha e' uma sub-classe de Processo Religioso
(subclass Hajj ReligiousProcess)	ArabicCulture.kif 120-120	Hajj e' uma sub-classe de Processo Religioso
(subclass IhramPeriod ReligiousProcess)	ArabicCulture.kif 169-169	IhramPeriod e' uma sub-classe de Processo Religioso
(subclass IslamicMilitancy ReligiousProcess)	TransnationalIssues.kif 51-51	IslamicMilitancy e' uma sub-classe de Processo Religioso
(subclass Khitan ReligiousProcess)	ArabicCulture.kif 344-344	Khitan e' uma sub-classe de Processo Religioso
(subclass Ordaining ReligiousProcess)	Biography.kif 127-127	Ordaining e' uma sub-classe de Processo Religioso
(subclass Praying ReligiousProcess)	Mid-level-ontology.kif 8003-8003	Praying e' uma sub-classe de Processo Religioso
(subclass ReligiousFuneral ReligiousProcess)	Mid-level-ontology.kif 16025-16025	ReligiousFuneral e' uma sub-classe de Processo Religioso
(subclass ReligiousService ReligiousProcess)	Mid-level-ontology.kif 7985-7985	ReligiousService e' uma sub-classe de Processo Religioso
(subclass ReligiousWedding ReligiousProcess)	Biography.kif 54-54	ReligiousWedding e' uma sub-classe de Processo Religioso
(subclass UdhiyahRitual ReligiousProcess)	ArabicCulture.kif 242-242	UdhiyahRitual e' uma sub-classe de Processo Religioso
(subclass Umrah ReligiousProcess)	ArabicCulture.kif 184-184	Umrah e' uma sub-classe de Processo Religioso
(subclass Zakat ReligiousProcess)	ArabicCulture.kif 195-195	Zakat e' uma sub-classe de Processo Religioso
(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

Processo e' uma instancia de Processo Religioso Processo e' um agente de AutonomousAgent
AutonomousAgent e' uma instancia de Organizacao Religiosa Colecao AutonomousAgent e' membro de Colecao Colecao e' uma instancia de Organizacao Religiosa

consequent

(=> (instance ?X PlaceOfWorship) (hasPurpose ?X (exists (?EV) (and (instance ?EV ReligiousProcess) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 22522-22528	Fisico e' uma instancia de PlaceOfWorship Fisico tem por fim Entidade Entidade e' uma instancia de Processo Religioso eventLocated Entidade and Fisico
(=> (instance ?X Theology) (exists (?Y) (and (instance ?Y ReligiousProcess) (refers ?X ?Y))))	Mid-level-ontology.kif 21317-21322	Entidade e' uma instancia de Theology Entidade Entidade e' uma instancia de Processo Religioso Entidade inclui uma referencia a Entidade

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

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: