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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IhramClothing

 Sigma KEE - IhramClothing
IhramClothing(ihram服装)

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 145-148
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 150-150 Ihram服装 是 服装套装 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29223-29223
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29222-29222
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29221-29221

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 151-163

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 170-177


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