TreeView Knowledge Base Browser - SoundAttribute

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 13600-13601
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13596-13596	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 13603-13603	Audible is an instance of sound attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13604-13604	Inaudible is an instance of sound attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19434-19434	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 13681-13688	If a process is an instance of radiating sound and an agent is an agent of the process, then there exists an attribute such that the attribute is an instance of sound attribute and the attribute is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13586-13593	If a process is an instance of hearing and an object is a patient of the process, then there exists an attribute such that the attribute is an instance of sound attribute and the attribute is an attribute of the object

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