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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SoundAttribute
SoundAttribute

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 13373-13374
(subclass SoundAttribute PerceptualAttribute) Merge.kif 13369-13369

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


(instance Audible SoundAttribute) Merge.kif 13376-13376
(instance Inaudible SoundAttribute) Merge.kif 13377-13377
(instance Stressed SoundAttribute) Mid-level-ontology.kif 18869-18869
(termFormat ChineseLanguage SoundAttribute "声音属性") chinese_format.kif 1255-1255
(termFormat EnglishLanguage SoundAttribute "sound attribute") english_format.kif 1731-1731

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


(=>
    (and
        (instance ?EMIT RadiatingSound)
        (agent ?EMIT ?SOUND))
    (exists (?ATTR)
        (and
            (instance ?ATTR SoundAttribute)
            (attribute ?SOUND ?ATTR))))
Merge.kif 13454-13461
(=>
    (and
        (instance ?HEAR Hearing)
        (patient ?HEAR ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR SoundAttribute)
            (attribute ?OBJ ?ATTR))))
Merge.kif 13359-13366


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 3.0 is open source software produced by Articulate Software and its partners