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, shinto

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


(documentation Shinto EnglishLanguage "Shinto is one of the major religions to emerge from Japan.") People.kif 1462-1463
(externalImage Shinto "http://upload.wikimedia.org/wikipedia/commons/3/37/ KasugaTaisha2.jpg") pictureList.kif 6854-6854 "http://upload.wikimedia.org/wikipedia/commons/3/37/ KasugaTaisha2.jpg" is a URL depicting shinto
(externalImage Shinto "http://upload.wikimedia.org/wikipedia/commons/7/74/ EmaMeijiShrine1197.jpg") pictureList.kif 7842-7842 "http://upload.wikimedia.org/wikipedia/commons/7/74/ EmaMeijiShrine1197.jpg" is a URL depicting shinto
(externalImage Shinto "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Itsukushima_torii_angle.jpg") pictureList.kif 7843-7843 "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Itsukushima_torii_angle.jpg" is a URL depicting shinto
(externalImage Shinto "http://upload.wikimedia.org/wikipedia/en/1/16/SHINTOHEMP.jpg") pictureList.kif 7844-7844 "http://upload.wikimedia.org/wikipedia/en/1/16/SHINTOHEMP.jpg" is a URL depicting shinto
(externalImage Shinto "http://upload.wikimedia.org/wikipedia/en/e/e5/Shinto22.jpg") pictureList.kif 7846-7846 "http://upload.wikimedia.org/wikipedia/en/e/e5/Shinto22.jpg" is a URL depicting shinto
(instance Shinto BeliefGroup) People.kif 1461-1461 Shinto is an instance of belief group

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


(termFormat EnglishLanguage Shinto "shinto") domainEnglishFormat.kif 9188-9188 "shinto" is the printable form of shinto in english language

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


(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))
People.kif 1470-1472 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners