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 700-700
(externalImage Agnostic "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ RobertGIngersoll.jpg") pictureList.kif 5841-5841
(externalImage Agnostic "http://upload.wikimedia.org/wikipedia/commons/f/ f9/ ThomasHenryHuxley.jpg") pictureList.kif 6050-6050
(instance Agnostic InternalAttribute) People.kif 699-699

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


(termFormat ChineseLanguage Agnostic "不可知") domainEnglishFormat.kif 5880-5880
(termFormat ChineseTraditionalLanguage Agnostic "不可知") domainEnglishFormat.kif 5879-5879
(termFormat EnglishLanguage Agnostic "agnostic") domainEnglishFormat.kif 5878-5878

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


(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))
People.kif 702-704


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