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


KB Term:  Term intersection
English Word: 

Sigma KEE - resonantFrequency
resonantFrequency

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


(instance resonantFrequency BinaryPredicate) Cars.kif 766-766 resonant frequency is an instance of binary predicate
(domain resonantFrequency 1 PhysicalSystem) Cars.kif 767-767 The number 1 argument of resonant frequency is an instance of physical system
(domain resonantFrequency 2 PhysicalQuantity) Cars.kif 768-768 The number 2 argument of resonant frequency is an instance of physical quantity
(documentation resonantFrequency EnglishLanguage "The natural resonancy frequency of a system. A system that is undamped or underdamped will oscillate at this frequency, at least for a while, after a force is applied.") Cars.kif 770-772 The number 2 argument of resonant frequency is an instance of physical quantity
(relatedInternalConcept resonantFrequency dampingRatio) Cars.kif 773-773 resonant frequency is internally related to damping ratio

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


(format EnglishLanguage resonantFrequency "the resonant frequency of %1 is %n %2") Cars.kif 769-769
(termFormat EnglishLanguage resonantFrequency "resonant frequency") domainEnglishFormat.kif 65958-65958


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners