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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Audible

Sigma KEE - Audible
Audible(audible)audible, hearable

appearance as argument number 1
-------------------------


(contraryAttribute Audible Inaudible) Merge.kif 13380-13380 Audible is the opposite of Inaudible
(documentation Audible ChineseLanguage "这是 Human能听到声音的音级和音频。") chinese_format.kif 3321-3321
(documentation Audible EnglishLanguage "A sound level and frequency capable of being heard by a Human.") Merge.kif 13381-13382
(instance Audible SoundAttribute) Merge.kif 13376-13376 Audible is an instance of sound attribute

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


(termFormat ChineseLanguage Audible "听得见") domainEnglishFormat.kif 9033-9033
(termFormat ChineseTraditionalLanguage Audible "聽得見") domainEnglishFormat.kif 9032-9032
(termFormat EnglishLanguage Audible "audible") domainEnglishFormat.kif 9031-9031

antecedent
-------------------------


(=>
    (and
        (instance ?SOUND RadiatingSound)
        (agent ?SOUND ?OBJ)
        (attribute ?SOUND Audible))
    (exists (?HUMAN)
        (and
            (instance ?HUMAN Human)
            (capability
                (KappaFn ?HEAR
                    (and
                        (instance ?HEAR Hearing)
                        (agent ?HEAR ?HUMAN)
                        (destination ?HEAR ?HUMAN)
                        (origin ?HEAR ?OBJ))) agent ?HUMAN))))
Merge.kif 13383-13397

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


(=>
    (instance ?X SpeakerDevice)
    (hasPurpose ?X
        (exists (?RS)
            (and
                (instance ?RS RadiatingSound)
                (instrument ?RS ?X)
                (attribute ?RS Audible)))))
Mid-level-ontology.kif 25523-25530


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