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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shinto

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

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


No TPTP formula. May not be expressible in strict first order. People.kif 1464-1465
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6853-6853
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7840-7840
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7841-7841
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7842-7842
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7844-7844
No TPTP formula. May not be expressible in strict first order. People.kif 1463-1463 Shinto is an instance of belief group

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52587-52587
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52586-52586
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52585-52585

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


No TPTP formula. May not be expressible in strict first order. People.kif 1472-1474 Shintoist is an attribute of an object if and only if the object is a member of shinto


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