| Audible(audible) | | audible, hearable |
| appearance as argument number 1 |
|
|
| (contraryAttribute Audible Inaudible) | Merge.kif 13682-13682 | Audible is the opposite of inaudible |
| (documentation Audible ChineseLanguage "这是 Human能听到声音的音级和音频。") | chinese_format.kif 3321-3321 | Audible is the opposite of inaudible |
| (documentation Audible EnglishLanguage "A sound level and frequency capable of being heard by a Human.") | Merge.kif 13683-13684 | Audible is the opposite of inaudible |
| (instance Audible SoundAttribute) | Merge.kif 13678-13678 | Audible is an instance of sound attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Audible "听得见") | domainEnglishFormat.kif 9031-9031 | |
| (termFormat ChineseTraditionalLanguage Audible "聽得見") | domainEnglishFormat.kif 9030-9030 | |
| (termFormat EnglishLanguage Audible "audible") | domainEnglishFormat.kif 9029-9029 |
| antecedent |
|
|
| (=> (and (instance ?SOUND RadiatingSound) (agent ?SOUND ?OBJ) (attribute ?SOUND Audible)) (exists (?HUMAN ?HEAR) (and (instance ?HUMAN Human) (capability (KappaFn ?HEAR (and (instance ?HEAR Hearing) (agent ?HEAR ?HUMAN) (destination ?HEAR ?HUMAN) (origin ?HEAR ?OBJ))) agent ?HUMAN)))) |
Merge.kif 13685-13699 |
|
| consequent |
|
|
| (=> (instance ?X SpeakerDevice) (hasPurpose ?X (exists (?RS) (and (instance ?RS RadiatingSound) (instrument ?RS ?X) (attribute ?RS Audible))))) |
Mid-level-ontology.kif 27134-27141 |
|
|
|
|