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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 740-742
(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 739-739

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


(termFormat ChineseLanguage Deist "自然神论者") domainEnglishFormat.kif 18880-18880
(termFormat ChineseTraditionalLanguage Deist "自然神論者") domainEnglishFormat.kif 18879-18879
(termFormat EnglishLanguage Deist "deist") domainEnglishFormat.kif 18878-18878

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


(=>
    (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