Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousProcess
ReligiousProcess

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 and OrganizationalProcess

appearance as argument number 2
-------------------------


(subclass Aqiqah ReligiousProcess) ArabicCulture.kif 324-324 子類 aqiqah and ReligiousProcess
(subclass Baptizing ReligiousProcess) Mid-level-ontology.kif 7992-7992 子類 施洗 and ReligiousProcess
(subclass BarMitzvah ReligiousProcess) Biography.kif 66-66 子類 BarMitzvah and ReligiousProcess
(subclass BatMitzvah ReligiousProcess) Biography.kif 96-96 子類 BatMitzvah and ReligiousProcess
(subclass EidAladha ReligiousProcess) ArabicCulture.kif 272-272 子類 宰牲節 and ReligiousProcess
(subclass Hajj ReligiousProcess) ArabicCulture.kif 120-120 子類 朝覲 and ReligiousProcess
(subclass IhramPeriod ReligiousProcess) ArabicCulture.kif 169-169 子類 伊赫拉姆時期 and ReligiousProcess
(subclass IslamicMilitancy ReligiousProcess) TransnationalIssues.kif 51-51 子類 伊斯蘭激進分子 and ReligiousProcess
(subclass Khitan ReligiousProcess) ArabicCulture.kif 344-344 子類 契丹 and ReligiousProcess
(subclass Ordaining ReligiousProcess) Biography.kif 127-127 子類 Ordaining and ReligiousProcess
(subclass Praying ReligiousProcess) Mid-level-ontology.kif 8003-8003 子類 祈禱 and ReligiousProcess
(subclass ReligiousFuneral ReligiousProcess) Mid-level-ontology.kif 16025-16025 子類 ReligiousFuneral and ReligiousProcess
(subclass ReligiousService ReligiousProcess) Mid-level-ontology.kif 7985-7985 子類 宗教服務 and ReligiousProcess
(subclass ReligiousWedding ReligiousProcess) Biography.kif 54-54 子類 ReligiousWedding and ReligiousProcess
(subclass UdhiyahRitual ReligiousProcess) ArabicCulture.kif 242-242 子類 udhiyah儀式 and ReligiousProcess
(subclass Umrah ReligiousProcess) ArabicCulture.kif 184-184 子類 umrah and ReligiousProcess
(subclass Zakat ReligiousProcess) ArabicCulture.kif 195-195 子類 天課 and 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

consequent
-------------------------


(=>
    (instance ?X PlaceOfWorship)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV ReligiousProcess)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 22522-22528
(=>
    (instance ?X Theology)
    (exists (?Y)
        (and
            (instance ?Y ReligiousProcess)
            (refers ?X ?Y))))		 Mid-level-ontology.kif 21317-21322


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