EconomicCommunityOfTheGreatLakesCountries
|
|
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 13723-13725 | |
(externalImage RadiatingSound "http://articulatesoftware.com/SUMOpictures/ small_icons/ misc_6/ sound.png") | pictureList.kif 745-745 | |
(subclass RadiatingSound Radiating) | Merge.kif 13722-13722 | OndaSonora è una sottoclasse di Radiazione |
appearance as argument number 2 |
appearance as argument number 3 |
(domain loudness 1 RadiatingSound) | Mid-level-ontology.kif 13755-13755 | Il numero 1 argomenti di loudness è un istanza di OndaSonora |
antecedent |
(=> (and (instance ?EMIT RadiatingSound) (agent ?EMIT ?SOUND)) (exists (?ATTR) (and (instance ?ATTR SoundAttribute) (attribute ?SOUND ?ATTR)))) |
Merge.kif 13727-13734 |
|
(=> (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 13656-13670 |
consequent |