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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hanging

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 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内部属性instance では %n

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


(termFormat ChineseLanguage Deist "自然神论者") domainEnglishFormat.kif 18948-18948
(termFormat ChineseTraditionalLanguage Deist "自然神論者") domainEnglishFormat.kif 18947-18947
(termFormat EnglishLanguage Deist "deist") domainEnglishFormat.kif 18946-18946

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


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


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