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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shimagh

Sigma KEE - Shimagh
Shimagh(shimagh)

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 389-390
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7836-7836
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7837-7837
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7838-7838
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 392-392 Shimagh is a subclass of hat

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52575-52575
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52574-52574
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52573-52573

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 399-410
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 393-397


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