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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Deist
Deist(deist)
more pictures...
religious_person

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 738-740
(externalImage Deist "http://upload.wikimedia.org/wikipedia/commons/2/21/ David_Hume.jpg") pictureList.kif 5954-5954
(externalImage Deist "http://upload.wikimedia.org/wikipedia/commons/2/2d/ Thomas_Paine.jpg") pictureList.kif 6359-6359
(externalImage Deist "http://upload.wikimedia.org/wikipedia/commons/5/5a/ Edward_Herbert_1st_Baron_Herbert_of_Cherbury_by_Isaac_Oliver.jpg") pictureList.kif 6360-6360
(externalImage Deist "http://upload.wikimedia.org/wikipedia/commons/c/c8/ LifeAndWorksOfConfucius1687.jpg") pictureList.kif 6361-6361
(externalImage Deist "http://upload.wikimedia.org/wikipedia/en/b/bb/Matthew_Tindal2.jpg") pictureList.kif 6363-6363
(instance Deist InternalAttribute) People.kif 737-737 Deist is an instance of internal attribute

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


(termFormat ChineseLanguage Deist "自然神论者") domainEnglishFormat.kif 18964-18964
(termFormat ChineseTraditionalLanguage Deist "自然神論者") domainEnglishFormat.kif 18963-18963
(termFormat EnglishLanguage Deist "deist") domainEnglishFormat.kif 18962-18962

antecedent
-------------------------


(=>
    (attribute ?DEIST Deist)
    (believes ?DEIST
        (exists (?GOD)
            (equal ?GOD God))))
People.kif 742-746


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