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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Agnostic

Sigma KEE - Agnostic
Agnostic

appearance as argument number 1
-------------------------


(documentation Agnostic EnglishLanguage "One who subscribes to Agnosticism.") People.kif 710-710
(externalImage Agnostic "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ RobertGIngersoll.jpg") pictureList.kif 5842-5842
(externalImage Agnostic "http://upload.wikimedia.org/wikipedia/commons/f/ f9/ ThomasHenryHuxley.jpg") pictureList.kif 6051-6051
(instance Agnostic InternalAttribute) People.kif 709-709

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


(termFormat ChineseLanguage Agnostic "不可知") domainEnglishFormat.kif 5889-5889
(termFormat ChineseTraditionalLanguage Agnostic "不可知") domainEnglishFormat.kif 5888-5888
(termFormat EnglishLanguage Agnostic "agnostic") domainEnglishFormat.kif 5887-5887

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


(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))
People.kif 712-714


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