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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Deist
more pictures...

appearance as argument number 1

(documentation Deist EnglishLanguage "An individual who may or may not be a member of a particular ReligiousOrganization, and who has religious beliefs, including a belief in some kind of God.") People.kif 740-742
(externalImage Deist " David_Hume.jpg") pictureList.kif 5955-5955
(externalImage Deist " Thomas_Paine.jpg") pictureList.kif 6360-6360
(externalImage Deist " Edward_Herbert_1st_Baron_Herbert_of_Cherbury_by_Isaac_Oliver.jpg") pictureList.kif 6361-6361
(externalImage Deist " LifeAndWorksOfConfucius1687.jpg") pictureList.kif 6362-6362
(externalImage Deist "") pictureList.kif 6364-6364
(instance Deist InternalAttribute) People.kif 739-739

appearance as argument number 2

(termFormat ChineseLanguage Deist "自然神论者") domainEnglishFormat.kif 18939-18939
(termFormat ChineseTraditionalLanguage Deist "自然神論者") domainEnglishFormat.kif 18938-18938
(termFormat EnglishLanguage Deist "deist") domainEnglishFormat.kif 18937-18937


    (attribute ?DEIST Deist)
    (believes ?DEIST
        (exists (?GOD)
            (equal ?GOD God))))
People.kif 744-748

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