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 13622-13623
No TPTP formula. May not be expressible in strict first order. Merge.kif 13618-13618 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 13625-13625 Audible is an instance of sound attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 13626-13626 Inaudible is an instance of sound attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19433-19433 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 13703-13710
No TPTP formula. May not be expressible in strict first order. Merge.kif 13608-13615


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