| Audible | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Audible Inaudible) | Merge.kif 13761-13761 | Audible は Inaudible の disjoint では |
| (documentation Audible ChineseLanguage "这是 Human能听到声音的音级和音频。") | chinese_format.kif 3321-3321 | Audible は Inaudible の disjoint では |
| (documentation Audible EnglishLanguage "A sound level and frequency capable of being heard by a Human.") | Merge.kif 13762-13763 | Audible は Inaudible の disjoint では |
| (instance Audible SoundAttribute) | Merge.kif 13757-13757 | Audible は 音声属性 の instance では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Audible "听得见") | domainEnglishFormat.kif 9025-9025 | |
| (termFormat ChineseTraditionalLanguage Audible "聽得見") | domainEnglishFormat.kif 9024-9024 | |
| (termFormat EnglishLanguage Audible "audible") | domainEnglishFormat.kif 9023-9023 |
| 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 13764-13778 |
| consequent |
|
|
| (=> (instance ?X SpeakerDevice) (hasPurpose ?X (exists (?RS) (and (instance ?RS RadiatingSound) (instrument ?RS ?X) (attribute ?RS Audible))))) |
Mid-level-ontology.kif 27937-27944 |
|
|
|