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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sikh

 Sigma KEE - Sikh
Sikh
more pictures...

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


No TPTP formula. May not be expressible in strict first order. People.kif 1484-1485
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7849-7849
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7850-7850
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7851-7851
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7852-7852
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7854-7854
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6857-6857
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7856-7856
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7857-7857
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7858-7858
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7860-7860
No TPTP formula. May not be expressible in strict first order. People.kif 1483-1483 Sikh e' uma instancia de ReligiousAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53054-53054
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53053-53053
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53052-53052

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 1487-1489 Sikh e' um atributo de Objeto Objeto e' membro de Sikhism


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