TreeView Knowledge Base Browser - soundFrequency

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - soundFrequency

soundFrequency

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 775-776
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 777-777	The number 1 argument of sound frequency is an instance of musical tone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 778-778	The number 2 argument of sound frequency is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 774-774	sound frequency is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4586-4586
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4585-4585
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4584-4584
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54006-54006
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54005-54005
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54004-54004

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