Muslim - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Muslim

Muslim(穆斯林)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	People.kif 1328-1328
No TPTP formula. May not be expressible in strict first order.	People.kif 1327-1327	例穆斯林 and 宗教屬性

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	People.kif 1343-1343	子屬性 ahmadiyya穆斯林 and 穆斯林
No TPTP formula. May not be expressible in strict first order.	People.kif 1357-1357	子屬性德魯茲穆斯林 and 穆斯林
No TPTP formula. May not be expressible in strict first order.	People.kif 1373-1373	子屬性什葉派穆斯林 and 穆斯林
No TPTP formula. May not be expressible in strict first order.	People.kif 1392-1392	子屬性遜尼派穆斯林 and 穆斯林
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39447-39447
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39446-39446
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39445-39445

antecedent

No TPTP formula. May not be expressible in strict first order.	People.kif 1330-1332	attribute Object and 穆斯林會員 Object and 伊斯蘭教
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	attribute AutonomousAgent and 穆斯林等於財富 AutonomousAgent and CurrencyMeasure 模態屬性 entity entity, entity, entity and entity 例 entity and 天課例 entity and 年期間 entity and 何時 AutonomousAgent 持有期間 entity and attribute AutonomousAgent and 完全成型 agent entity and AutonomousAgent 患者 entity and entity 貨幣價值 entity and 測量 entity and entity 例 entity and UnitOfCurrency 比較多 entity and 乘法 CurrencyMeasure and 0.025 and 義務
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 134-143	attribute Object and 穆斯林能力朝覲, agent and Object 模態屬性 entity 例 entity and 朝覲 agent entity and Object and 義務

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 326-331	例 Process and aqiqah ProcessGENT agent Process and ProcessGENT 屬性 Process and 穆斯林
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 546-554	例 Physical and misbaha 有目的 Physical and entity entity 例 entity and 祈禱 agent entity and entity attribute entity and 穆斯林患者 entity and Physical
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
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 196-202	例 Process and 天課 AutonomousAgent 例 AutonomousAgent and Human agent Process and AutonomousAgent attribute AutonomousAgent and 穆斯林

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