TreeView Knowledge Base Browser - Muslim

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	Muslim e' uma instancia de ReligiousAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	People.kif 1343-1343	AhmadiyyaMuslim e' um sub-atributo de Muslim
No TPTP formula. May not be expressible in strict first order.	People.kif 1357-1357	DruzeMuslim e' um sub-atributo de Muslim
No TPTP formula. May not be expressible in strict first order.	People.kif 1373-1373	ShiaMuslim e' um sub-atributo de Muslim
No TPTP formula. May not be expressible in strict first order.	People.kif 1392-1392	SunniMuslim e' um sub-atributo de Muslim
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	Muslim e' um atributo de Objeto Objeto e' membro de Islam
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	Muslim e' um atributo de AutonomousAgent valor da propriedade de AutonomousAgent e' igual a Medida de Divisa o argumento Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Zakat Entidade e' uma instancia de Ano Entidade acontece durante tempo de existencia de AutonomousAgent FullyFormed e' um atributo de AutonomousAgent vale durante Entidade Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade o valor de Entidade e' Entidade Entidade(s) Entidade e' uma instancia de UnitOfCurrency Entidade e' maior que Medida de Divisa + 0.025 tem a forca modal de Obligation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 134-143	Muslim e' um atributo de Objeto Objeto e' capaz de fazer Hajj no role agent o argumento Entidade Entidade e' uma instancia de Hajj Entidade e' um agente de Objeto tem a forca modal de Obligation

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 326-331	Processo e' uma instancia de Aqiqah ProcessoGENT Processo e' um agente de ProcessoGENT Processo tem um atributo de Muslim
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 546-554	Fisico e' uma instancia de Misbahah Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Praying Entidade e' um agente de Entidade Muslim e' um atributo de Entidade Fisico e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 244-253	Intervalo Temporal e' uma instancia de UdhiyahRitual Objeto Intervalo Temporal and AutonomousAgent Intervalo Temporal e' uma instancia de EidAladha Intervalo Temporal acontece durante Intervalo Temporal Udhiyah e' um atributo de Objeto Intervalo Temporal e' um agente de AutonomousAgent Muslim e' um atributo de AutonomousAgent Objeto e' um patient de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 196-202	Processo e' uma instancia de Zakat AutonomousAgent AutonomousAgent e' uma instancia de Humano Processo e' um agente de AutonomousAgent Muslim e' um atributo de AutonomousAgent

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