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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Audible
Audible

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


(contraryAttribute Audible Inaudible) Merge.kif 13569-13569
(documentation Audible ChineseLanguage "这是 Human能听到声音的音级和音频。") Merge.kif 13572-13572
(documentation Audible EnglishLanguage "A sound level and frequency capable of being heard by a Human.") Merge.kif 13570-13571
(instance Audible SoundAttribute) Merge.kif 13564-13564

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


(termFormat EnglishLanguage Audible "audible") domainEnglishFormat.kif 1939-1939

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 13573-13587

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners