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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SoundAttribute
SoundAttribute(sound attribute)ablaut, accent, accented, accentual, adenoidal, alliteration, alliterative, allophone, allophonic, altissimo, alto, amphoric, androglossia, ariose, arrhythmic, assonance, assonant, atonally, atonic, babble, backbeat, backfire, bang, baritone, bass, beat, beginning_rhyme, bilabial, birr, blare, blast, blatant, bleep, blow, bombilate, bombinate, bong, boom, boom_out, brasslike, brassy, brattle, bubble, burble, buzz, cackly, cacophonic, cacophonous, cacophony, cadence...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3319-3319
No TPTP formula. May not be expressible in strict first order. Merge.kif 13646-13647
No TPTP formula. May not be expressible in strict first order. Merge.kif 13642-13642 Sound attribute is a subclass of perceptual attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13649-13649 Audible is an instance of sound attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 13650-13650 Inaudible is an instance of sound attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19461-19461 Stressed is an instance of sound attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1255-1255
No TPTP formula. May not be expressible in strict first order. english_format.kif 1731-1731
No TPTP formula. May not be expressible in strict first order. french_format.kif 933-933
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 468-468
No TPTP formula. May not be expressible in strict first order. terms-it.txt 471-471
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2617-2617
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 885-885
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 473-473
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 507-507
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 954-954
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 472-472

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13727-13734
No TPTP formula. May not be expressible in strict first order. Merge.kif 13632-13639


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