TreeView Knowledge Base Browser - loudness

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - loudness

loudness

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13728-13728	O argumento numero 1 de loudness e' uma instancia de Som Irradiante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13729-13729	O argumento numero 2 de loudness e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13726-13726	loudness e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13727-13727	loudness e' uma sub-relacao de measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13730-13730
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13731-13731

antecedent

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