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


KB Term:  Term intersection
English Word: 

  God

 Sigma KEE - God
God(god)

appearance as argument number 1
-------------------------


(instance God Deity) People.kif 693-693 God is an instance of deity
(documentation God EnglishLanguage "The monotheistic Deity worshipped in some form by many religions, which is seen as perfect in power, wisdom, and goodness, and which is worshiped as creator and ruler of the universe.") People.kif 694-696 God is an instance of deity

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


(termFormat EnglishLanguage God "god") domainEnglishFormat.kif 26186-26186
(termFormat ChineseTraditionalLanguage God "神") domainEnglishFormat.kif 26187-26187
(termFormat ChineseLanguage God "神") domainEnglishFormat.kif 26188-26188

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


(=>
    (member ?AGNOSTIC Agnosticism)
    (not
        (knows ?AGNOSTIC
            (not
                (exists (?GOD)
                    (equal ?GOD God))))))		 People.kif 725-731 If X is a member of agnosticism, then X doesn't know there doesn't exist Y such that equal Y and god
(=>
    (member ?ATHEIST Atheism)
    (believes ?ATHEIST
        (not
            (exists (?GOD)
                (equal ?GOD God)))))		 People.kif 744-749 If X is a member of atheism, then X believes there doesn't exist Y such that equal Y and god
(=>
    (attribute ?DEIST Deist)
    (believes ?DEIST
        (exists (?GOD)
            (equal ?GOD God))))		 People.kif 776-780 If deist is an attribute of X, then X believes there exists Y such that equal Y and god


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners