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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PaintingDevice

 Sigma KEE - PaintingDevice
PaintingDevice(painting device)paintbrush, spray_gun

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


(documentation PaintingDevice EnglishLanguage "A Device used as an instrument for Painting. Paintbrushes, rollers or sprayers can belong into this class.") Mid-level-ontology.kif 3225-3226
(subclass PaintingDevice Device) Mid-level-ontology.kif 3224-3224 Painting device is a subclass of device

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


(termFormat ChineseLanguage PaintingDevice "绘画装置") domainEnglishFormat.kif 44061-44061
(termFormat ChineseTraditionalLanguage PaintingDevice "繪畫裝置") domainEnglishFormat.kif 44060-44060
(termFormat EnglishLanguage PaintingDevice "painting device") domainEnglishFormat.kif 44059-44059

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


(=>
    (instance ?PD PaintingDevice)
    (capability Painting instrument ?PD))		 Mid-level-ontology.kif 3230-3232
(=>
    (instance ?PD PaintingDevice)
    (hasPurpose ?PD
        (exists (?STUFF ?COVER ?SURF ?OBJ)
            (and
                (instance ?STUFF Substance)
                (instance ?COVER Covering)
                (instance ?OBJ Object)
                (surface ?SURF ?OBJ)
                (agent ?COVER ?PD)
                (instrument ?COVER ?STUFF)
                (patient ?COVER ?SURF)))))		 Mid-level-ontology.kif 3234-3245


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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