Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  FossilFuelPowerGeneration

 Sigma KEE - Audible
Audible(audible)audible, hearable

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


(instance Audible SoundAttribute) Merge.kif 13913-13913 Audible is an instance of sound attribute
(contraryAttribute Audible Inaudible) Merge.kif 13917-13917 Audible is the opposite of inaudible
(documentation Audible EnglishLanguage "A sound level and frequency capable of being heard by a Human.") Merge.kif 13918-13919 Audible is the opposite of inaudible

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


(termFormat EnglishLanguage Audible "audible") domainEnglishFormat.kif 9022-9022
(termFormat ChineseTraditionalLanguage Audible "聽得見") domainEnglishFormat.kif 9023-9023
(termFormat ChineseLanguage Audible "听得见") domainEnglishFormat.kif 9024-9024

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


(=>
    (and
        (instance ?SOUND RadiatingSound)
        (agent ?SOUND ?OBJ)
        (attribute ?SOUND Audible))
    (exists (?HUMAN ?HEAR)
        (and
            (instance ?HUMAN Human)
            (capability
                (KappaFn ?HEAR
                    (and
                        (instance ?HEAR Hearing)
                        (agent ?HEAR ?HUMAN)
                        (destination ?HEAR ?HUMAN)
                        (origin ?HEAR ?OBJ))) agent ?HUMAN))))		 Merge.kif 13920-13934 If X is an instance of radiating sound, Y is an agent of X, and audible is an attribute of X, then there exist Z, W such that Z is an instance of human, and Z is capable of doing the class described by W as a agent

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


(=>
    (instance ?X SpeakerDevice)
    (hasPurpose ?X
        (exists (?RS)
            (and
                (instance ?RS RadiatingSound)
                (instrument ?RS ?X)
                (attribute ?RS Audible)))))		 Mid-level-ontology.kif 28609-28616 If X is an instance of speaker, then X has the purpose there exists Y such that Y is an instance of radiating sound, X is an instrument for Y, and audible is an attribute of Y
(=>
    (instance ?PLAYER MediaAppliance)
    (hasPurpose ?PLAYER
        (or
            (exists (?VIDEO ?RL)
                (and
                    (instance ?VIDEO VideoRecording)
                    (instance ?RL RadiatingVisibleLight)
                    (patient ?RL ?VIDEO)
                    (instrument ?RL ?PLAYER)))
            (exists (?AUDIO ?RS)
                (and
                    (instance ?AUDIO AudioRecording)
                    (instance ?RS RadiatingSound)
                    (attribute ?RS Audible)
                    (patient ?RS ?AUDIO)
                    (instrument ?RS ?PLAYER))))))		 HouseholdAppliances.kif 337-353 If X is an instance of media appliance, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of video recording (3) Z is an instance of radiating visible light (4) Y is a patient of Z (5) X is an instrument for Z or there exist W (6) V such that W is an instance of audio recording (7) V is an instance of radiating sound (8) audible is an attribute of V (9) W is a patient of V (10) X is an instrument for V


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners