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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Agnostic

appearance as argument number 1

(documentation Agnostic EnglishLanguage "One who subscribes to Agnosticism.") People.kif 700-700
(externalImage Agnostic " 01/ RobertGIngersoll.jpg") pictureList.kif 5841-5841
(externalImage Agnostic " 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


    (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