| Audible | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Audible Inaudible) | Merge.kif 13511-13511 | |
| (documentation Audible ChineseLanguage "这是 Human能听到声音的音级和音频。") | Merge.kif 13514-13514 | |
| (documentation Audible EnglishLanguage "A sound level and frequency capable of being heard by a Human.") | Merge.kif 13512-13513 | |
| (instance Audible SoundAttribute) | Merge.kif 13506-13506 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Audible "audible") | domainEnglishFormat.kif 1939-1939 |
| 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 13515-13529 |
| consequent |
|
|
| (=> (instance ?X SpeakerDevice) (hasPurpose ?X (exists (?RS) (and (instance ?RS RadiatingSound) (instrument ?RS ?X) (attribute ?RS Audible))))) |
Mid-level-ontology.kif 23945-23952 |
|
|
|