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 13622-13623
(subclass SoundAttribute PerceptualAttribute) Merge.kif 13618-13618 子類 SoundAttribute and PerceptualAttribute

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


(instance Audible SoundAttribute) Merge.kif 13625-13625 聽得見 and SoundAttribute
(instance Inaudible SoundAttribute) Merge.kif 13626-13626 Inaudible and SoundAttribute
(instance Stressed SoundAttribute) Mid-level-ontology.kif 19433-19433 強調 and SoundAttribute
(termFormat ChineseLanguage SoundAttribute "声音属性") chinese_format.kif 1255-1255
(termFormat EnglishLanguage SoundAttribute "sound attribute") english_format.kif 1731-1731
(termFormat FrenchLanguage SoundAttribute "attribut sonore") french_format.kif 933-933
(termFormat Hindi SoundAttribute "dhvani visheshataa") terms-hindi.txt 468-468
(termFormat ItalianLanguage SoundAttribute "AttributoSonoro") terms-it.txt 471-471
(termFormat JapaneseLanguage SoundAttribute "音声属性") japanese_format.kif 2617-2617
(termFormat PortugueseLanguage SoundAttribute "Atributo Sonoro") portuguese_format.kif 885-885
(termFormat cb SoundAttribute "pagtingong hiyas") terms-cb.txt 473-473
(termFormat cz SoundAttribute "sound attribute") terms-cz.txt 507-507
(termFormat ro SoundAttribute "atribut sonor") relations-ro.kif 954-954
(termFormat tg SoundAttribute "katangian ng ingay") terms-tg.txt 472-472

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


(=>
    (and
        (instance ?EMIT RadiatingSound)
        (agent ?EMIT ?SOUND))
    (exists (?ATTR)
        (and
            (instance ?ATTR SoundAttribute)
            (attribute ?SOUND ?ATTR))))
Merge.kif 13703-13710
(=>
    (and
        (instance ?HEAR Hearing)
        (patient ?HEAR ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR SoundAttribute)
            (attribute ?OBJ ?ATTR))))
Merge.kif 13608-13615


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