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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Agnostic
Agnostic(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 Agnostic is an instance of internal attribute

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


(termFormat ChineseLanguage Agnostic "不可知") domainEnglishFormat.kif 5884-5884
(termFormat ChineseTraditionalLanguage Agnostic "不可知") domainEnglishFormat.kif 5883-5883
(termFormat EnglishLanguage Agnostic "agnostic") domainEnglishFormat.kif 5882-5882

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


(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))
People.kif 702-704 Agnostic is an attribute of an object if and only if the object is a member of agnosticism


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