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


KB Term:  Term intersection
English Word: 

Sigma KEE - waterUsePerDishwasherCycle
waterUsePerDishwasherCycle

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


(instance waterUsePerDishwasherCycle BinaryPredicate) HouseholdAppliances.kif 1670-1670 water use per dishwasher cycle is an instance of binary predicate
(instance waterUsePerDishwasherCycle SingleValuedRelation) HouseholdAppliances.kif 1671-1671 water use per dishwasher cycle is an instance of single valued relation
(instance waterUsePerDishwasherCycle PartialValuedRelation) HouseholdAppliances.kif 1672-1672 water use per dishwasher cycle is an instance of partial valued relation
(documentation waterUsePerDishwasherCycle EnglishLanguage "Estimated ammount of water used by a Dishwasher in one washing cycle.") HouseholdAppliances.kif 1673-1673 water use per dishwasher cycle is an instance of partial valued relation
(domainSubclass waterUsePerDishwasherCycle 1 Dishwasher) HouseholdAppliances.kif 1676-1676 The number 1 argument of water use per dishwasher cycle is a subclass of dishwasher
(domain waterUsePerDishwasherCycle 2 VolumeMeasure) HouseholdAppliances.kif 1677-1677 The number 2 argument of water use per dishwasher cycle is an instance of volume measure

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


(termFormat EnglishLanguage waterUsePerDishwasherCycle "water use per dishwasher cycle") HouseholdAppliances.kif 1674-1674


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