RadiatingSound(son irradiant) |
appearance as argument number 1 |
(documentation RadiatingSound ChineseLanguage "这是释放或吸收声波的 Radiating subclass, 一些例子包括:吱吱作响、咆哮和吹口哨。") | chinese_format.kif 3333-3334 | |
(documentation RadiatingSound EnglishLanguage "The subclass of Radiating in which sound waves are given off or absorbed. Some examples include creaking, roaring, and whistling.") | Merge.kif 13677-13679 | |
(externalImage RadiatingSound "http://articulatesoftware.com/SUMOpictures/ small_icons/ misc_6/ sound.png") | pictureList.kif 745-745 | |
(subclass RadiatingSound Radiating) | Merge.kif 13676-13676 | Son irradiant est une sous-classe de irradier |
appearance as argument number 2 |
(subclass Barking RadiatingSound) | Mid-level-ontology.kif 23861-23861 | Barking est une sous-classe de son irradiant |
(subclass Clapping RadiatingSound) | Mid-level-ontology.kif 13090-13090 | Clapping est une sous-classe de son irradiant |
(subclass Echoing RadiatingSound) | Mid-level-ontology.kif 2630-2630 | Echoing est une sous-classe de son irradiant |
(subclass MakingMusic RadiatingSound) | Merge.kif 13696-13696 | MakingMusic est une sous-classe de son irradiant |
(subclass MusicalTone RadiatingSound) | Mid-level-ontology.kif 764-764 | MusicalTone est une sous-classe de son irradiant |
(subclass RadiatingSoundUltrasonic RadiatingSound) | Mid-level-ontology.kif 770-770 | RadiatingSoundUltrasonic est une sous-classe de son irradiant |
(subclass Ringing RadiatingSound) | Music.kif 1348-1348 | Ringing est une sous-classe de son irradiant |
(subclass Thunder RadiatingSound) | Mid-level-ontology.kif 3051-3051 | Thunder est une sous-classe de son irradiant |
(subclass Vocalizing RadiatingSound) | Merge.kif 13715-13715 | Vocalizing est une sous-classe de son irradiant |
(termFormat ChineseLanguage RadiatingSound "放射声音") | chinese_format.kif 1224-1224 | |
(termFormat EnglishLanguage RadiatingSound "radiating sound") | english_format.kif 1669-1669 | |
(termFormat FrenchLanguage RadiatingSound "son irradiant") | french_format.kif 902-902 | |
(termFormat Hindi RadiatingSound "vikaranakaarii dhvani") | terms-hindi.txt 435-435 | |
(termFormat ItalianLanguage RadiatingSound "OndaSonora") | terms-it.txt 438-438 | |
(termFormat JapaneseLanguage RadiatingSound "放射音") | japanese_format.kif 2586-2586 | |
(termFormat PortugueseLanguage RadiatingSound "Som Irradiante") | portuguese_format.kif 854-854 | |
(termFormat cz RadiatingSound "radiating sound") | terms-cz.txt 474-474 | |
(termFormat ro RadiatingSound "undã sonorã") | relations-ro.kif 923-923 | |
(termFormat tg RadiatingSound "nagbibigay ingay") | terms-tg.txt 439-439 |
appearance as argument number 3 |
(domain loudness 1 RadiatingSound) | Mid-level-ontology.kif 13728-13728 | Le nombre 1 argument de loudness est une instance de son irradiant |
antecedent |
(=> (and (instance ?EMIT RadiatingSound) (agent ?EMIT ?SOUND)) (exists (?ATTR) (and (instance ?ATTR SoundAttribute) (attribute ?SOUND ?ATTR)))) |
Merge.kif 13681-13688 |
|
(=> (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 13610-13624 |
|
consequent |