| Audible | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Audible Inaudible) | Merge.kif 12636-12636 | |
| (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 12637-12638 | |
| (instance Audible SoundAttribute) | Merge.kif 12632-12632 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Audible "听得见") | domainEnglishFormat.kif 9033-9033 | |
| (termFormat ChineseTraditionalLanguage Audible "聽得見") | domainEnglishFormat.kif 9032-9032 | |
| (termFormat EnglishLanguage Audible "audible") | domainEnglishFormat.kif 9031-9031 |
| 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 12639-12653 |
| consequent |
|
|
| (=> (instance ?X SpeakerDevice) (hasPurpose ?X (exists (?RS) (and (instance ?RS RadiatingSound) (instrument ?RS ?X) (attribute ?RS Audible))))) |
Mid-level-ontology.kif 22252-22259 |
|
|
|