TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7456-7460
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7454-7454	Decibel e' uma instancia de SoundPressureLevelUnit

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7462-7462
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7477-7477
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7476-7476
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7461-7461

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1783-1787	hearingAcuity Humano, -10 Decibel(s) and 15 Decibel(s) NormalHearingSensitivity e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1794-1798	hearingAcuity Humano, 16 Decibel(s) and 25 Decibel(s) BorderlineHearingSensitivity e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1805-1809	hearingAcuity Humano, 26 Decibel(s) and 40 Decibel(s) MildHearingLoss e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1815-1819	hearingAcuity Humano, 41 Decibel(s) and 55 Decibel(s) ModerateHearingLoss e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1826-1830	hearingAcuity Humano, 56 Decibel(s) and 70 Decibel(s) ModeratelySevereHearingLoss e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1837-1841	hearingAcuity Humano, 71 Decibel(s) and 90 Decibel(s) SevereHearingLoss e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1848-1852	hearingAcuity Humano, 91 Decibel(s) and 200 Decibel(s) ProfoundHearingLoss e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1753-1773	MusicalTone e' uma instancia de MusicalTone soundFrequency MusicalTone and Numero Real Hertz(s) loudness MusicalTone and Numero Real Decibel(s) MusicalTone e' situado em o lugar onde Humano estava em o comeco de tempo de existencia de MusicalTone Numero Real e' maior que Numero Real Numero Real e' maior que Numero Real Numero Real e' maior que 250 8000 e' maior que Numero Real Humano e' uma instancia de Humano Processo e' uma instancia de Listening Processo e' um agente de Humano hearingAcuity Humano, Numero Real Decibel(s) and Numero Real Decibel(s)

consequent

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

Medicine.kif 1753-1773

MusicalTone e' uma instancia de MusicalTone soundFrequency MusicalTone and Numero Real Hertz(s) loudness MusicalTone and Numero Real Decibel(s) MusicalTone e' situado em o lugar onde Humano estava em o comeco de tempo de existencia de MusicalTone Numero Real e' maior que Numero Real Numero Real e' maior que Numero Real Numero Real e' maior que 250 8000 e' maior que Numero Real Humano e' uma instancia de Humano Processo e' uma instancia de Listening Processo e' um agente de Humano
hearingAcuity Humano, Numero Real Decibel(s) and Numero Real Decibel(s)

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

KB Term:			Term intersection

English Word: