Hajj - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Hajj

Hajj(朝觐)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 115-118
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 120-120	朝觐是宗教过程的 subclass
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 121-121	朝觐是易位的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27252-27252
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27251-27251
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27250-27250

antecedent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 134-143	如果穆斯林是客体的 attribute 和那个客体能够担当主事的角色做朝觐，然后有存在实体这样那个实体是朝觐的 instance 和那个客体是那个实体的 agent 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 123-125	如果过程是朝觐的 instance，然后那个过程在麦加沙特阿拉伯结束
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 127-132	如果时距是朝觐的 instance，然后有存在另一个时距这样那个另外时距是 dhu al hijjah 的 instance 和那个时距在那个另外时距时段内发生

consequent

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

ArabicCulture.kif 134-143

如果穆斯林是客体的 attribute 和那个客体能够担当主事的角色做朝觐，
然后有存在实体这样那个实体是朝觐的 instance 和那个客体是那个实体的 agent 的声明 has 义务的语气

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