TreeView Knowledge Base Browser - UdhiyahRitual

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - UdhiyahRitual

UdhiyahRitual(udhiyah儀式)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 239-240
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 243-243	子類 udhiyah儀式 and Killing
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 242-242	子類 udhiyah儀式 and ReligiousProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59774-59774
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59773-59773
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59772-59772

antecedent

No TPTP formula. May not be expressible in strict first order.

ArabicCulture.kif 244-253

例 TimeInterval and udhiyah儀式
Object TimeInterval and AutonomousAgent 例 TimeInterval and 宰牲節期間 TimeInterval and TimeInterval attribute Object and udhiyah agent TimeInterval and AutonomousAgent attribute AutonomousAgent and 穆斯林患者 TimeInterval and Object

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 259-265	attribute Object and udhiyah Process 例 Object and 羔羊例 Process and udhiyah儀式患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 273-278	例 Process and 宰牲節 Process 例 Process and udhiyah儀式子過程 Process and Process

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