Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  capability
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Listening Hearing) | Merge.kif 13936-13936 | Listening is a subclass of hearing |
| (subclass Listening IntentionalProcess) | Merge.kif 13937-13937 | Listening is a subclass of intentional process |
| (documentation Listening EnglishLanguage "Any instance of Hearing which is intentional.") | Merge.kif 13938-13939 | Listening is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?MT MusicalTone) (soundFrequency ?MT (MeasureFn ?FREQ Hertz)) (loudness ?MT (MeasureFn ?LLB Decibel)) (located ?MT (WhereFn ?H (BeginFn (WhenFn ?MT)))) (greaterThan ?LLIMIT ?LLB) (greaterThan ?LLB ?ULIMIT) (greaterThan ?FREQ 250) (greaterThan 8000 ?FREQ) (instance ?H Human) (instance ?L Listening) (agent ?L ?H)) (hearingAcuity ?H (MeasureFn ?LLIMIT Decibel) (MeasureFn ?ULIMIT Decibel))) |
Medicine.kif 1737-1757 | If All of the following hold: (1) X is an instance of musical tone (2) the frequency of X is Y hertz(s) (3) the sound of X is Z dB(A)(s) (4) X is located at the place where W was at the beginning of the time of existence of X (5) V is greater than Z (6) Z is greater than U (7) Y is greater than 250 (8) 8000 is greater than Y (9) W is an instance of human (10) T is an instance of listening (11) W is an agent of T, then W can hear frequency of V dB(A)(s) at U dB(A)(s) decibels |
| (=> (and (recordingLength ?R ?T) (instance ?R AudioRecording) (instance ?L Listening) (patient ?L ?R)) (duration (WhenFn ?L) ?T)) |
Music.kif 118-124 | If X is Y long, X is an instance of audio recording, Z is an instance of listening, and X is a patient of Z, then duration of the time of existence of Z is Y |
|