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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Stroke

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 13677-13679
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 13676-13676 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 23861-23861 Barking is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13090-13090 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 13696-13696 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 13715-13715 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 13728-13728 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 13681-13688
No TPTP formula. May not be expressible in strict first order. Merge.kif 13610-13624

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3447-3476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25821-25838
No TPTP formula. May not be expressible in strict first order. Cars.kif 3710-3751
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26457-26475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25530-25544
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 14455-14470
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14314-14320
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 26250-26260
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14306-14312
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 26053-26074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26104-26122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26039-26046


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