Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Lubricating

 Sigma KEE - Protestantism
Protestantism(protestantism)
Baptistic, Congregational, Congregationalist, Episcopal, Episcopalian, Lutheran, Methodist, Northern_Baptist, Protestant, Wesleyan

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


(instance Protestantism BeliefGroup) People.kif 1287-1287 Protestantism is an instance of belief group
(subCollection Protestantism Christianity) People.kif 1288-1288 Protestantism is a proper sub-collection of christianity
(documentation Protestantism EnglishLanguage "Protestantism is one of the three major divisions of Christianity.") People.kif 1289-1290 Protestantism is a proper sub-collection of christianity
(externalImage Protestantism "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ 95Thesen.jpg") pictureList.kif 6797-6797 Protestantism is a proper sub-collection of christianity

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


(termFormat EnglishLanguage Protestantism "protestantism") domainEnglishFormat.kif 47863-47863
(termFormat ChineseTraditionalLanguage Protestantism "新教") domainEnglishFormat.kif 47864-47864
(termFormat ChineseLanguage Protestantism "新教") domainEnglishFormat.kif 47865-47865

consequent
-------------------------


(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))		 People.kif 1296-1298 Protestant is an attribute of X if and only if X is a member of protestantism


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners