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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DryingDevice
DryingDevice(drying device)

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


(documentation DryingDevice EnglishLanguage "DryingDevice refers to any Device used as an instrument in the Drying process") Mid-level-ontology.kif 25364-25365
(subclass DryingDevice Device) Mid-level-ontology.kif 25363-25363 Drying device is a subclass of device

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


(subclass ClothesDryer DryingDevice) Mid-level-ontology.kif 25376-25376 Clothes dryer is a subclass of drying device
(subclass HairDryer DryingDevice) Mid-level-ontology.kif 25380-25380 Hair dryer is a subclass of drying device
(termFormat EnglishLanguage DryingDevice "drying device") Mid-level-ontology.kif 25366-25366

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


(=>
    (instance ?D DryingDevice)
    (hasPurpose ?D
        (exists (?DRYING)
            (and
                (instance ?DRYING Drying)
                (instrument ?DRYING ?D)))))
Mid-level-ontology.kif 25368-25374


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