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


KB Term:  Term intersection
English Word: 

Sigma KEE - amplifierEfficiency
amplifierEfficiency

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


(instance amplifierEfficiency BinaryPredicate) HouseholdAppliances.kif 1799-1799 amplifier efficiency is an instance of binary predicate
(instance amplifierEfficiency SingleValuedRelation) HouseholdAppliances.kif 1800-1800 amplifier efficiency is an instance of single valued relation
(instance amplifierEfficiency PartialValuedRelation) HouseholdAppliances.kif 1801-1801 amplifier efficiency is an instance of partial valued relation
(documentation amplifierEfficiency EnglishLanguage "Proportion of a energy of the Amplifier output signal to the energy used by that Amplifier.") HouseholdAppliances.kif 1803-1805 amplifier efficiency is an instance of partial valued relation
(domainSubclass amplifierEfficiency 1 MediaAppliance) HouseholdAppliances.kif 1809-1809 The number 1 argument of amplifier efficiency is a subclass of media appliance
(domain amplifierEfficiency 2 PowerMeasure) HouseholdAppliances.kif 1810-1810 The number 2 argument of amplifier efficiency is an instance of power measure

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


(termFormat EnglishLanguage amplifierEfficiency "amplifier efficiency") HouseholdAppliances.kif 1807-1807


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