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 锡克教 是 宗教属性 的 instance

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 若且唯若 那个 客体 是 锡克教 的 member


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