| SoundAttribute(attribut sonore) | |
| appearance as argument number 1 |
|
|
| (documentation SoundAttribute ChineseLanguage "这是从听者的立场所考虑声音的音量。") | chinese_format.kif 3319-3319 | |
| (documentation SoundAttribute EnglishLanguage "The volume of sound relative to a listener.") | Merge.kif 13646-13647 | |
| (subclass SoundAttribute PerceptualAttribute) | Merge.kif 13642-13642 | Attribut sonore est une sous-classe de attribute de perception |
| appearance as argument number 2 |
|
|
| (instance Audible SoundAttribute) | Merge.kif 13649-13649 | Audible est une instance de attribut sonore |
| (instance Inaudible SoundAttribute) | Merge.kif 13650-13650 | Inaudible est une instance de attribut sonore |
| (instance Stressed SoundAttribute) | Mid-level-ontology.kif 19461-19461 | Stressed est une instance de attribut sonore |
| (termFormat ChineseLanguage SoundAttribute "声音属性") | chinese_format.kif 1255-1255 | |
| (termFormat EnglishLanguage SoundAttribute "sound attribute") | english_format.kif 1731-1731 | |
| (termFormat FrenchLanguage SoundAttribute "attribut sonore") | french_format.kif 933-933 | |
| (termFormat Hindi SoundAttribute "dhvani visheshataa") | terms-hindi.txt 468-468 | |
| (termFormat ItalianLanguage SoundAttribute "AttributoSonoro") | terms-it.txt 471-471 | |
| (termFormat JapaneseLanguage SoundAttribute "音声属性") | japanese_format.kif 2617-2617 | |
| (termFormat PortugueseLanguage SoundAttribute "Atributo Sonoro") | portuguese_format.kif 885-885 | |
| (termFormat cb SoundAttribute "pagtingong hiyas") | terms-cb.txt 473-473 | |
| (termFormat cz SoundAttribute "sound attribute") | terms-cz.txt 507-507 | |
| (termFormat ro SoundAttribute "atribut sonor") | relations-ro.kif 954-954 | |
| (termFormat tg SoundAttribute "katangian ng ingay") | terms-tg.txt 472-472 |
| consequent |
|
|
| (=> (and (instance ?EMIT RadiatingSound) (agent ?EMIT ?SOUND)) (exists (?ATTR) (and (instance ?ATTR SoundAttribute) (attribute ?SOUND ?ATTR)))) |
Merge.kif 13727-13734 |
|
| (=> (and (instance ?HEAR Hearing) (patient ?HEAR ?OBJ)) (exists (?ATTR) (and (instance ?ATTR SoundAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 13632-13639 |
|
|
|