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	The number 1 argument of loudness is an instance of radiating sound
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13729-13729	The number 2 argument of loudness is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13726-13726	loudness is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13727-13727	loudness is a subrelation of 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

If a musical tone is an instance of musical tone and the frequency of the musical tone is a real number hertz(s) and the sound of the musical tone is another real number dB(A)(s) and the musical tone is located at the place where a human was at the beginning of the time of existence of the musical tone and a third real number is greater than the other real number and the other real number is greater than a fourth real number and the real number is greater than 250 and 8000 is greater than the real number and the human is an instance of human and a process is an instance of listening and the human is an agent of the process,
then the human can hear frequency of the third real number dB(A)(s) at the fourth real number dB(A)(s) decibels

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