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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiatingSound
RadiatingSound(radiating sound)
C_major, C_major_scale, Greek_mode, Gregorian_mode, abuzz, acoustic_projection, acoustic_wave, affricate, affricate_consonant, affrication, affricative, air_wave, alveolar, alveolar_consonant, angelus, angelus_bell, articulation, aspirate, aspiration, assibilate, atonalism, atonality, audibly, audio, baa, bam, bang, bang-up, banging, bark, bawl, bay, beat, beep, bell, bellow, bilabial, birr, blare, blaring, blast, blast_wave, blat, blate, bleat, bleep, blue_note, bombilation, bombination, bong...

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


s__documentation(s__RadiatingSound,s__ChineseLanguage,'"这是释放或吸收声波的 Radiating subclass, 一些例子包括:吱吱作响、咆哮和吹口哨。"')

chinese_format.kif 3333-3334
s__documentation(s__RadiatingSound,s__EnglishLanguage,'"The subclass of Radiating in which sound waves are given off or absorbed. Some examples include creaking, roaring, and whistling."')

Merge.kif 13059-13061
s__externalImage(s__RadiatingSound,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ small_icons/ misc_6/ sound.png"')

pictureList.kif 745-745
s__subclass(s__RadiatingSound,s__Radiating)

s__instance(s__Radiating,s__Class)

s__instance(s__RadiatingSound,s__Class)

Merge.kif 13058-13058 Radiating sound is a subclass of radiating

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


s__instance(s__Barking,s__Class)

s__instance(s__RadiatingSound,s__Class)

s__subclass(s__Barking,s__RadiatingSound)

Mid-level-ontology.kif 23155-23155 Barking is a subclass of radiating sound
s__subclass(s__Clapping,s__RadiatingSound)

s__instance(s__RadiatingSound,s__Class)

s__instance(s__Clapping,s__Class)

Mid-level-ontology.kif 12422-12422 Clapping is a subclass of radiating sound
s__subclass(s__Echoing,s__RadiatingSound)

s__instance(s__RadiatingSound,s__Class)

s__instance(s__Echoing,s__Class)

Mid-level-ontology.kif 2568-2568 Echoing is a subclass of radiating sound
s__subclass(s__MakingMusic,s__RadiatingSound)

s__instance(s__MakingMusic,s__Class)

s__instance(s__RadiatingSound,s__Class)

Merge.kif 13078-13078 Making music is a subclass of radiating sound
s__subclass(s__MusicalTone,s__RadiatingSound)

s__instance(s__RadiatingSound,s__Class)

s__instance(s__MusicalTone,s__Class)

Mid-level-ontology.kif 709-709 Musical tone is a subclass of radiating sound
s__instance(s__RadiatingSoundUltrasonic,s__Class)

s__instance(s__RadiatingSound,s__Class)

s__subclass(s__RadiatingSoundUltrasonic,s__RadiatingSound)

Mid-level-ontology.kif 715-715 Radiating sound ultrasonic is a subclass of radiating sound
s__instance(s__RadiatingSound,s__Class)

s__subclass(s__Ringing,s__RadiatingSound)

s__instance(s__Ringing,s__Class)

Music.kif 1341-1341 Ringing is a subclass of radiating sound
s__instance(s__Thunder,s__Class)

s__subclass(s__Thunder,s__RadiatingSound)

s__instance(s__RadiatingSound,s__Class)

Mid-level-ontology.kif 2985-2985 Thunder is a subclass of radiating sound
s__subclass(s__Vocalizing,s__RadiatingSound)

s__instance(s__RadiatingSound,s__Class)

s__instance(s__Vocalizing,s__Class)

Merge.kif 13097-13097 Vocalizing is a subclass of radiating sound
s__termFormat(s__ChineseLanguage,s__RadiatingSound,'"放射声音"')

chinese_format.kif 1224-1224
s__termFormat(s__EnglishLanguage,s__RadiatingSound,'"radiating sound"')

english_format.kif 1669-1669

appearance as argument number 3
-------------------------


s__domain(s__loudness__m,n__1,s__RadiatingSound)

Mid-level-ontology.kif 13054-13054 The number 1 argument of loudness is an instance of radiating sound

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


( ! [V__SOUND,V__EMIT] :
   ((s__instance(V__SOUND,s__Agent) =>
       (((s__instance(V__EMIT,s__RadiatingSound) &
             s__agent(V__EMIT,V__SOUND))
         =>
         (( ? [V__ATTR] :
             ((s__instance(V__ATTR,s__SoundAttribute) &
                 s__attribute(V__SOUND,V__ATTR))))))))
)
)

Merge.kif 13063-13070
No TPTP formula. May not be expressible in strict first order. Merge.kif 12999-13013

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25043-25060
No TPTP formula. May not be expressible in strict first order. Cars.kif 3714-3754
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25675-25693
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24739-24753
No TPTP formula. May not be expressible in strict first order. Cars.kif 3448-3478
No TPTP formula. May not be expressible in strict first order. Media.kif 1213-1227
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13781-13796
( ! [V__RECORD] :
   ((s__instance(V__RECORD,s__AudioRecording) =>
       (( ? [V__INFO, V__SOUND] :
           ((s__instance(V__INFO,s__Proposition) &
               (s__containsInformation(V__RECORD,V__INFO)
               &
               s__realization(V__SOUND,V__INFO)
             &
             s__instance(V__SOUND,s__RadiatingSound)))))))
)
)

Mid-level-ontology.kif 13640-13646
( ! [V__SONAR] :
   ((s__instance(V__SONAR,s__Sonar) =>
       (s__capability(s__RadiatingSound,s__agent__m,V__SONAR)))
   )
)

Mid-level-ontology.kif 2564-2566
( ! [V__SPEAKER] :
   ((s__instance(V__SPEAKER,s__SpeakerDevice) =>
       (s__capability(s__RadiatingSound,s__instrument__m,V__SPEAKER)))
   )
)

ComputerInput.kif 506-508
No TPTP formula. May not be expressible in strict first order. Media.kif 1391-1411
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25471-25481
( ! [V__X] :
   ((s__instance(V__X,s__AudioRecording) =>
       (( ? [V__EV] :
           ((s__instance(V__EV,s__RadiatingSound) &
               s__represents(V__X,V__EV)
             &
             s__capability(s__RadiatingSound,s__patient__m,V__X))))))
)
)

Mid-level-ontology.kif 13632-13638
No TPTP formula. May not be expressible in strict first order. Communications.kif 258-284
No TPTP formula. May not be expressible in strict first order. Media.kif 1279-1305
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25275-25296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25326-25344
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25261-25268


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