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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadiatingSound

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3333-3334
No TPTP formula. May not be expressible in strict first order. Merge.kif 13431-13433
No TPTP formula. May not be expressible in strict first order. pictureList.kif 745-745
No TPTP formula. May not be expressible in strict first order. Merge.kif 13430-13430 Radiating sound is a subclass of radiating

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23301-23301 Barking is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12551-12551 Clapping is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2585-2585 Echoing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Merge.kif 13450-13450 Making music is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 725-725 Musical tone is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 731-731 Radiating sound ultrasonic is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Music.kif 1341-1341 Ringing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3002-3002 Thunder is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Merge.kif 13469-13469 Vocalizing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1224-1224
No TPTP formula. May not be expressible in strict first order. english_format.kif 1669-1669

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13194-13194 The number 1 argument of loudness is an instance of radiating sound

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13435-13442
No TPTP formula. May not be expressible in strict first order. Merge.kif 13364-13378

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25188-25205
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 25820-25838
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24884-24898
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 1209-1223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13921-13936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13780-13786
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2581-2583
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 480-482
No TPTP formula. May not be expressible in strict first order. Media.kif 1387-1407
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25616-25626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13772-13778
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 1275-1301
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25420-25441
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25471-25489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25406-25413


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