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 13699-13701
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 13698-13698 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 23860-23860 Barking is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13089-13089 Clapping is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2630-2630 Echoing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Merge.kif 13718-13718 Making music is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 764-764 Musical tone is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 770-770 Radiating sound ultrasonic is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Music.kif 1348-1348 Ringing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3051-3051 Thunder is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Merge.kif 13737-13737 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 902-902
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 435-435
No TPTP formula. May not be expressible in strict first order. terms-it.txt 438-438
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2586-2586
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 854-854
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 474-474
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 923-923
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 439-439

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13727-13727 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 13703-13710
No TPTP formula. May not be expressible in strict first order. Merge.kif 13632-13646

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3455-3484
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25809-25826
No TPTP formula. May not be expressible in strict first order. Cars.kif 3718-3759
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26445-26463
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25529-25543
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 14454-14469
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14313-14319
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2626-2628
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 26238-26248
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14305-14311
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 26041-26062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26092-26110
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26027-26034


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