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

KB Term:  Term intersection
English Word: 

Sigma KEE - EuropeanUnionEnergyLabelClass
EuropeanUnionEnergyLabelClass(EU Energy Label class)

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


(subclass EuropeanUnionEnergyLabelClass RelationalAttribute) HouseholdAppliances.kif 1261-1261 EU Energy Label class is a subclass of relational attribute
(documentation EuropeanUnionEnergyLabelClass EnglishLanguage "EuropeanUnionEnergyLabelClass can be used to rank different classes of ElectricDevices in terms of energy efficiency.") HouseholdAppliances.kif 1262-1262 EU Energy Label class is a subclass of relational attribute

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


(termFormat EnglishLanguage EuropeanUnionEnergyLabelClass "EU Energy Label class") HouseholdAppliances.kif 1263-1263
(instance EuropeanUnionEnergyLabelClassApp EuropeanUnionEnergyLabelClass) HouseholdAppliances.kif 1265-1265 EU Energy Label A++ is an instance of EU Energy Label class
(instance EuropeanUnionEnergyLabelClassAp EuropeanUnionEnergyLabelClass) HouseholdAppliances.kif 1269-1269 EU Energy Label A+ is an instance of EU Energy Label class
(instance EuropeanUnionEnergyLabelClassA EuropeanUnionEnergyLabelClass) HouseholdAppliances.kif 1273-1273 A is an instance of EU Energy Label class
(instance EuropeanUnionEnergyLabelClassB EuropeanUnionEnergyLabelClass) HouseholdAppliances.kif 1277-1277 B is an instance of EU Energy Label class
(instance EuropeanUnionEnergyLabelClassC EuropeanUnionEnergyLabelClass) HouseholdAppliances.kif 1281-1281 C is an instance of EU Energy Label class
(instance EuropeanUnionEnergyLabelClassD EuropeanUnionEnergyLabelClass) HouseholdAppliances.kif 1285-1285 D is an instance of EU Energy Label class
(instance EuropeanUnionEnergyLabelClassE EuropeanUnionEnergyLabelClass) HouseholdAppliances.kif 1289-1289 E is an instance of EU Energy Label class
(instance EuropeanUnionEnergyLabelClassF EuropeanUnionEnergyLabelClass) HouseholdAppliances.kif 1293-1293 F is an instance of EU Energy Label class
(instance EuropeanUnionEnergyLabelClassG EuropeanUnionEnergyLabelClass) HouseholdAppliances.kif 1297-1297 G is an instance of EU Energy Label class

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


(domain washPerformanceClass 2 EuropeanUnionEnergyLabelClass) HouseholdAppliances.kif 1541-1541 The number 2 argument of wash performance class is an instance of EU Energy Label class
(domain spinDryingPerformanceClass 2 EuropeanUnionEnergyLabelClass) HouseholdAppliances.kif 1554-1554 The number 2 argument of spin drying performance class is an instance of EU Energy Label class


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