Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SoundAttribute
SoundAttribute

VerbNet: entity_specific_modes_being-47.2|ripple, sound_emission-43.2|bang, sound_emission-43.2|tick, sound_emission-43.2|whir, remedy-45.7|blast, remedy-45.7|blast, animal_sounds-38|buzz, animal_sounds-38|buzz, animal_sounds-38|boom, sound_emission-43.2|boom, sound_emission-43.2|clatter, entity_specific_modes_being-47.2|ripple, entity_specific_modes_being-47.2|ripple, animal_sounds-38|buzz, sound_emission-43.2|chime, sound_emission-43.2|tinkle, sound_emission-43.2|chug, sound_emission-43.2|clatter, sound_emission-43.2|clang, sound_emission-43.2|clang, sound_emission-43.2|clank, sound_emission-43.2|clatter, sound_emission-43.2|clink, animal_sounds-38|stridulate, sound_emission-43.2|plunk, sound_emission-43.2|plunk, sound_emission-43.2|plunk, sound_emission-43.2|crack, sound_emission-43.2|crepitate, animal_sounds-38|squeak, sound_emission-43.2|crepitate, animal_sounds-38|boom, sound_emission-43.2|dong, sound_emission-43.2|dong, sound_emission-43.2|dong, animal_sounds-38|drone, sound_emission-43.2|thrum, animal_sounds-38|rumble, entity_specific_modes_being-47.2|ripple, entity_specific_modes_being-47.2|ripple, sound_emission-43.2|hum, sound_emission-43.2|jingle, sound_emission-43.2|jingle, sound_emission-43.2|jingle, sound_emission-43.2|knell, bump-18.4|rap, sound_emission-43.2|swish, sound_emission-43.2|patter, sound_emission-43.2|ping, bump-18.4|rap, ...


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 12476-12477
(subclass SoundAttribute PerceptualAttribute) Merge.kif 12472-12472

appearance as argument number 2
-------------------------


(instance Audible SoundAttribute) Merge.kif 12479-12479
(instance Inaudible SoundAttribute) Merge.kif 12480-12480
(instance Stressed SoundAttribute) Mid-level-ontology.kif 17214-17214
(termFormat ChineseLanguage SoundAttribute "声音属性") chinese_format.kif 1255-1255
(termFormat EnglishLanguage SoundAttribute "sound attribute") english_format.kif 1736-1736

consequent
-------------------------


(=>
    (and
        (instance ?EMIT RadiatingSound)
        (agent ?EMIT ?SOUND))
    (exists (?ATTR)
        (and
            (instance ?ATTR SoundAttribute)
            (attribute ?SOUND ?ATTR))))
Merge.kif 12550-12557
(=>
    (and
        (instance ?HEAR Hearing)
        (patient ?HEAR ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR SoundAttribute)
            (attribute ?OBJ ?ATTR))))
Merge.kif 12462-12469


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners