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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 例 錫克教 and 宗教屬性

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 attribute Object and 錫克教 會員 Object and 錫克教


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