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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Aqiqah
Aqiqah(aqiqah)

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 310-311
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 314-314 Aqiqah is a subclass of eating
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 313-313 Aqiqah is a subclass of religious process

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8085-8085
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8084-8084
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8083-8083

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 315-320
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 322-327


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