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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sikh
Sikh(sikh)
more pictures...		Sikh

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 is an instance of religious attribute

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 is an attribute of an object if and only if the object is a member of sikhism


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