Aqiqah - Sigma Knowledge base Browser

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 321-322
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 325-325	Aqiqah is a subclass of eating
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 324-324	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 8076-8076
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8075-8075
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8074-8074

antecedent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 326-331	If a process is an instance of aqiqah, then there exists the processGENT such that the processGENT is an agent of the process and the process the attribute muslim
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 333-338	If a physical is an instance of aqiqah, then there exists another physical such that the physical includes a reference to the other physical and the time of existence of the other physical happens earlier than the time of existence of the physical

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