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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Washing
Washing(washing)
bathing, launder, lavation, lave, scour, scrub, wash, washing, washup

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


s__documentation(s__Washing,s__EnglishLanguage,'"Removing small particles from something by means of a Detergent and Water."')

Mid-level-ontology.kif 5242-5243
s__externalImage(s__Washing,'"http://upload.wikimedia.org/wikipedia/commons/1/ 1a/ Washing_Utensils_And_Vegetables.png"')

pictureList.kif 6969-6969
s__externalImage(s__Washing,'"http://upload.wikimedia.org/wikipedia/commons/5/ 59/ Washing_peppers.jpg"')

pictureList.kif 8251-8251
s__externalImage(s__Washing,'"http://upload.wikimedia.org/wikipedia/commons/d/ d4/ SNJ_washed.jpg"')

pictureList.kif 8252-8252
s__instance(s__Washing,s__SetOrClass)

s__subclass(s__Washing,s__Cleaning)

s__instance(s__Cleaning,s__SetOrClass)

Mid-level-ontology.kif 5241-5241 Washing is a subclass of cleaning
s__subclass(s__Washing,s__Removing)

s__instance(s__Removing,s__SetOrClass)

s__instance(s__Washing,s__SetOrClass)

Mid-level-ontology.kif 5240-5240 Washing is a subclass of removing

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


s__instance(s__Washing,s__SetOrClass)

s__subclass(s__Bathing,s__Washing)

s__instance(s__Bathing,s__SetOrClass)

Mid-level-ontology.kif 8270-8270 Bathing is a subclass of washing
s__termFormat(s__ChineseLanguage,s__Washing,'"洗涤"')

domainEnglishFormat.kif 62226-62226
s__termFormat(s__ChineseTraditionalLanguage,s__Washing,'"洗滌"')

domainEnglishFormat.kif 62225-62225
s__termFormat(s__EnglishLanguage,s__Washing,'"washing"')

domainEnglishFormat.kif 62224-62224

antecedent
-------------------------


( ! [V__P] :
   ((s__instance(V__P,s__Washing) =>
       (( ? [V__D, V__W] :
           ((s__instance(V__D,s__Detergent) &
               s__instrument(V__P,V__D)
             &
             s__instance(V__W,s__Water) &
             s__instrument(V__P,V__W))))))
)
)

Mid-level-ontology.kif 5245-5252

consequent
-------------------------


( ! [V__P,V__J] :
   ((s__instance(V__P,s__Human) =>
       (((s__instance(V__J,s__Janitor) &
             s__attribute(V__P,V__J))
         =>
         (s__occupation(V__P,s__OccupationFn(s__Washing))))))
)
)

Mid-level-ontology.kif 19025-19029
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8298-8306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2390-2396
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1747-1764
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2118-2132


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 is open source software produced by Articulate Software and its partners