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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - soundFrequency

appearance as argument number 1

(documentation soundFrequency EnglishLanguage "A relation between a Process of MusicalTone and the fundamental frequency of that tone.") Mid-level-ontology.kif 962-963
(domain soundFrequency 1 MusicalTone) Mid-level-ontology.kif 964-964 domain soundFrequency, 1 and MusicalTone
(domain soundFrequency 2 FunctionQuantity) Mid-level-ontology.kif 965-965 domain soundFrequency, 2 and FunctionQuantity
(instance soundFrequency BinaryPredicate) Mid-level-ontology.kif 961-961 instance soundFrequency and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage soundFrequency "%1 的 frequency 是 %2 ") domainEnglishFormat.kif 4591-4591
(format ChineseTraditionalLanguage soundFrequency "%1 的 frequency 是 %2 ") domainEnglishFormat.kif 4590-4590
(format EnglishLanguage soundFrequency "the frequency of %1 is %2") domainEnglishFormat.kif 4589-4589
(termFormat ChineseLanguage soundFrequency "声音频率") domainEnglishFormat.kif 53899-53899
(termFormat ChineseTraditionalLanguage soundFrequency "聲音頻率") domainEnglishFormat.kif 53898-53898
(termFormat EnglishLanguage soundFrequency "sound frequency") domainEnglishFormat.kif 53897-53897

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners