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 13622-13623
(subclass SoundAttribute PerceptualAttribute) Merge.kif 13618-13618 声音属性感知属性subclass

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


(instance Audible SoundAttribute) Merge.kif 13625-13625 听得见声音属性instance
(instance Inaudible SoundAttribute) Merge.kif 13626-13626 Inaudible声音属性instance
(instance Stressed SoundAttribute) Mid-level-ontology.kif 19433-19433 强调声音属性instance
(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 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