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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Umrah

 Sigma KEE - Umrah
Umrah(umrah)

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 179-182
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 184-184 Umrah is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 185-185 Umrah is a subclass of translocation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59834-59834
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59833-59833
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59832-59832

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 187-189


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