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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Agnostic

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 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 Agnostic is an attribute of an object if and only if the object is a member of agnosticism


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