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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Shinto
Shinto(shinto)
more pictures...
Shinto, Shintoism

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


(documentation Shinto EnglishLanguage "Shinto is one of the major religions to emerge from Japan.") People.kif 1464-1465
(externalImage Shinto "http://upload.wikimedia.org/wikipedia/commons/3/37/ KasugaTaisha2.jpg") pictureList.kif 6852-6852
(externalImage Shinto "http://upload.wikimedia.org/wikipedia/commons/7/74/ EmaMeijiShrine1197.jpg") pictureList.kif 7839-7839
(externalImage Shinto "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Itsukushima_torii_angle.jpg") pictureList.kif 7840-7840
(externalImage Shinto "http://upload.wikimedia.org/wikipedia/en/1/16/SHINTOHEMP.jpg") pictureList.kif 7841-7841
(externalImage Shinto "http://upload.wikimedia.org/wikipedia/en/e/e5/Shinto22.jpg") pictureList.kif 7843-7843
(instance Shinto BeliefGroup) People.kif 1463-1463 Shinto is an instance of belief group

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


(termFormat ChineseLanguage Shinto "神道") domainEnglishFormat.kif 52620-52620
(termFormat ChineseTraditionalLanguage Shinto "神道") domainEnglishFormat.kif 52619-52619
(termFormat EnglishLanguage Shinto "shinto") domainEnglishFormat.kif 52618-52618

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


(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))
People.kif 1472-1474 Shintoist is an attribute of an object if and only if the object is a member of shinto


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