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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoundAttribute

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 13354-13355
(subclass SoundAttribute PerceptualAttribute) Merge.kif 13350-13350

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


(instance Audible SoundAttribute) Merge.kif 13357-13357
(instance Inaudible SoundAttribute) Merge.kif 13358-13358
(instance Stressed SoundAttribute) Mid-level-ontology.kif 18785-18785
(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 13435-13442
(=>
    (and
        (instance ?HEAR Hearing)
        (patient ?HEAR ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR SoundAttribute)
            (attribute ?OBJ ?ATTR))))
Merge.kif 13340-13347


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

Show without tree


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