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


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 12699-12701
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 12698-12698 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 20315-20315 Barking is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9884-9884 Clapping is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2566-2566 Echoing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Merge.kif 12718-12718 Making music is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 709-709 Musical tone is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 715-715 Radiating sound ultrasonic is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Music.kif 1340-1340 Ringing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2983-2983 Thunder is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order. Merge.kif 12737-12737 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 1674-1674

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12703-12710
No TPTP formula. May not be expressible in strict first order. Merge.kif 12639-12653

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22034-22051
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 22666-22684
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21730-21744
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 11236-11251
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11095-11101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2562-2564
No TPTP formula. May not be expressible in strict first order. 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 22462-22472
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11087-11093
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 22266-22287
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22317-22335
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22252-22259


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