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


KB Term:  Term intersection
English Word: 

Sigma KEE - washPerformanceClass
washPerformanceClass

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


(instance washPerformanceClass BinaryPredicate) HouseholdAppliances.kif 1534-1534 wash performance class is an instance of binary predicate
(instance washPerformanceClass SingleValuedRelation) HouseholdAppliances.kif 1535-1535 wash performance class is an instance of single valued relation
(instance washPerformanceClass PartialValuedRelation) HouseholdAppliances.kif 1536-1536 wash performance class is an instance of partial valued relation
(documentation washPerformanceClass EnglishLanguage "EuropeanUnionEnergyLabelClass given for a LaundryAppliance for its washing performance only.") HouseholdAppliances.kif 1537-1537 wash performance class is an instance of partial valued relation
(domainSubclass washPerformanceClass 1 ClothesWashingMachine) HouseholdAppliances.kif 1540-1540 The number 1 argument of wash performance class is a subclass of clothes washing machine
(domain washPerformanceClass 2 EuropeanUnionEnergyLabelClass) HouseholdAppliances.kif 1541-1541 The number 2 argument of wash performance class is an instance of EU Energy Label class

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


(termFormat EnglishLanguage washPerformanceClass "wash performance class") HouseholdAppliances.kif 1538-1538


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