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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousProcess
ReligiousProcess(ProcessoReligioso)

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 10581-10582
(documentation ReligiousProcess JapaneseLanguage "OrganizationalProcess は、 ReligiousOrganization 内または ReligiousOrganization によって実行される。") japanese_format.kif 1700-1701
(subclass ReligiousProcess OrganizationalProcess) Merge.kif 10579-10579 ProcessoReligioso è una sottoclasse di ProcessoOrganizzativo

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


(subclass Aqiqah ReligiousProcess) ArabicCulture.kif 324-324 Aqiqah è una sottoclasse di ProcessoReligioso
(subclass Baptizing ReligiousProcess) Mid-level-ontology.kif 7991-7991 Baptizing è una sottoclasse di ProcessoReligioso
(subclass BarMitzvah ReligiousProcess) Biography.kif 66-66 BarMitzvah è una sottoclasse di ProcessoReligioso
(subclass BatMitzvah ReligiousProcess) Biography.kif 96-96 BatMitzvah è una sottoclasse di ProcessoReligioso
(subclass EidAladha ReligiousProcess) ArabicCulture.kif 272-272 EidAladha è una sottoclasse di ProcessoReligioso
(subclass Hajj ReligiousProcess) ArabicCulture.kif 120-120 Hajj è una sottoclasse di ProcessoReligioso
(subclass IhramPeriod ReligiousProcess) ArabicCulture.kif 169-169 IhramPeriod è una sottoclasse di ProcessoReligioso
(subclass IslamicMilitancy ReligiousProcess) TransnationalIssues.kif 51-51 IslamicMilitancy è una sottoclasse di ProcessoReligioso
(subclass Khitan ReligiousProcess) ArabicCulture.kif 344-344 Khitan è una sottoclasse di ProcessoReligioso
(subclass Ordaining ReligiousProcess) Biography.kif 127-127 Ordaining è una sottoclasse di ProcessoReligioso
(subclass Praying ReligiousProcess) Mid-level-ontology.kif 8002-8002 Praying è una sottoclasse di ProcessoReligioso
(subclass ReligiousFuneral ReligiousProcess) Mid-level-ontology.kif 16024-16024 ReligiousFuneral è una sottoclasse di ProcessoReligioso
(subclass ReligiousService ReligiousProcess) Mid-level-ontology.kif 7984-7984 ReligiousService è una sottoclasse di ProcessoReligioso
(subclass ReligiousWedding ReligiousProcess) Biography.kif 54-54 ReligiousWedding è una sottoclasse di ProcessoReligioso
(subclass UdhiyahRitual ReligiousProcess) ArabicCulture.kif 242-242 UdhiyahRitual è una sottoclasse di ProcessoReligioso
(subclass Umrah ReligiousProcess) ArabicCulture.kif 184-184 Umrah è una sottoclasse di ProcessoReligioso
(subclass Zakat ReligiousProcess) ArabicCulture.kif 195-195 Zakat è una sottoclasse di ProcessoReligioso
(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 10584-10593

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


(=>
    (instance ?X PlaceOfWorship)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV ReligiousProcess)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 22521-22527
(=>
    (instance ?X Theology)
    (exists (?Y)
        (and
            (instance ?Y ReligiousProcess)
            (refers ?X ?Y))))
Mid-level-ontology.kif 21316-21321


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