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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Deist

Sigma KEE - Deist
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 748-750
(externalImage Deist "http://upload.wikimedia.org/wikipedia/commons/2/21/ David_Hume.jpg") pictureList.kif 5955-5955
(externalImage Deist "http://upload.wikimedia.org/wikipedia/commons/2/2d/ Thomas_Paine.jpg") pictureList.kif 6360-6360
(externalImage Deist "http://upload.wikimedia.org/wikipedia/commons/5/5a/ Edward_Herbert_1st_Baron_Herbert_of_Cherbury_by_Isaac_Oliver.jpg") pictureList.kif 6361-6361
(externalImage Deist "http://upload.wikimedia.org/wikipedia/commons/c/c8/ LifeAndWorksOfConfucius1687.jpg") pictureList.kif 6362-6362
(externalImage Deist "http://upload.wikimedia.org/wikipedia/en/b/bb/Matthew_Tindal2.jpg") pictureList.kif 6364-6364
(instance Deist InternalAttribute) People.kif 747-747

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

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


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


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 is open source software produced by Articulate Software and its partners