| Audible | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Audible Inaudible) | Merge.kif 12450-12450 | contraryAttribute Audible and Inaudible |
| (documentation Audible ChineseLanguage "这是 Human能听到声音的音级和音频。") | chinese_format.kif 3321-3321 | |
| (documentation Audible EnglishLanguage "A sound level and frequency capable of being heard by a Human.") | Merge.kif 12451-12452 | |
| (instance Audible SoundAttribute) | Merge.kif 12446-12446 | instance Audible and SoundAttribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Audible "听得见") | domainEnglishFormat.kif 9037-9037 | termFormat ChineseLanguage, Audible and "听得见" |
| (termFormat ChineseTraditionalLanguage Audible "聽得見") | domainEnglishFormat.kif 9036-9036 | termFormat ChineseTraditionalLanguage, Audible and "聽得見" |
| (termFormat EnglishLanguage Audible "audible") | domainEnglishFormat.kif 9035-9035 | termFormat EnglishLanguage, Audible and "audible" |
| antecedent |
|
|
| (=> (and (instance ?SOUND RadiatingSound) (agent ?SOUND ?OBJ) (attribute ?SOUND Audible)) (exists (?HUMAN) (and (instance ?HUMAN Human) (capability (KappaFn ?HEAR (and (instance ?HEAR Hearing) (agent ?HEAR ?HUMAN) (destination ?HEAR ?HUMAN) (origin ?HEAR ?OBJ))) agent ?HUMAN)))) |
Merge.kif 12453-12467 |
|
| consequent |
|
|
| (=> (instance ?X SpeakerDevice) (hasPurpose ?X (exists (?RS) (and (instance ?RS RadiatingSound) (instrument ?RS ?X) (attribute ?RS Audible))))) |
Mid-level-ontology.kif 23930-23937 |
|
|
|
|