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 13014-13016
s__externalImage(s__RadiatingSound,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ small_icons/ misc_6/ sound.png"')

pictureList.kif 745-745
s__instance(s__RadiatingSound,s__SetOrClass)

s__subclass(s__RadiatingSound,s__Radiating)

s__instance(s__Radiating,s__SetOrClass)

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

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


s__instance(s__Barking,s__SetOrClass)

s__instance(s__RadiatingSound,s__SetOrClass)

s__subclass(s__Barking,s__RadiatingSound)

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

s__instance(s__Clapping,s__SetOrClass)

s__instance(s__RadiatingSound,s__SetOrClass)

Mid-level-ontology.kif 11337-11337 Clapping is a subclass of radiating sound
s__instance(s__RadiatingSound,s__SetOrClass)

s__subclass(s__Echoing,s__RadiatingSound)

s__instance(s__Echoing,s__SetOrClass)

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

s__instance(s__RadiatingSound,s__SetOrClass)

s__instance(s__MakingMusic,s__SetOrClass)

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

s__instance(s__MusicalTone,s__SetOrClass)

s__instance(s__RadiatingSound,s__SetOrClass)

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

s__instance(s__RadiatingSoundUltrasonic,s__SetOrClass)

s__subclass(s__RadiatingSoundUltrasonic,s__RadiatingSound)

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

s__instance(s__RadiatingSound,s__SetOrClass)

s__subclass(s__Ringing,s__RadiatingSound)

Music.kif 1340-1340 Ringing is a subclass of radiating sound
s__instance(s__RadiatingSound,s__SetOrClass)

s__subclass(s__Thunder,s__RadiatingSound)

s__instance(s__Thunder,s__SetOrClass)

Mid-level-ontology.kif 2983-2983 Thunder is a subclass of radiating sound
s__instance(s__RadiatingSound,s__SetOrClass)

s__subclass(s__Vocalizing,s__RadiatingSound)

s__instance(s__Vocalizing,s__SetOrClass)

Merge.kif 13052-13052 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 1674-1674

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


s__domain(s__loudness__m,n__1,s__RadiatingSound)

Mid-level-ontology.kif 11969-11969 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 13018-13025
No TPTP formula. May not be expressible in strict first order. Merge.kif 12954-12968

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23781-23798
No TPTP formula. May not be expressible in strict first order. Cars.kif 3727-3767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24412-24430
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23477-23491
No TPTP formula. May not be expressible in strict first order. Cars.kif 3462-3492
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 12696-12711
( ! [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 12555-12561
( ! [V__SONAR] :
   ((s__instance(V__SONAR,s__Sonar) =>
       (s__capability(s__RadiatingSound,s__agent__m,V__SONAR)))
   )
)

Mid-level-ontology.kif 2562-2564
( ! [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 24208-24218
( ! [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 12547-12553
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 24012-24033
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24063-24081
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23998-24005


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