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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MusicalTone

Sigma KEE - MusicalTone
MusicalTone(musical tone)
more pictures...
first_harmonic, fundamental, fundamental_frequency, harmonic, overtone, partial, partial_tone, pure_tone, tone

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 765-768
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11473-11473
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11474-11474
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10136-10136
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11475-11475
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11471-11471
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11472-11472
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11468-11468
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11469-11469
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11470-11470
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

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39405-39405
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39404-39404
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39403-39403

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 777-777 The number 1 argument of sound frequency is an instance of musical tone

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1753-1773

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


No TPTP formula. May not be expressible in strict first order. Music.kif 1256-1264


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