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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - WindowCovering
more pictures...

appearance as argument number 1

(documentation WindowCovering EnglishLanguage "An Artifact that is used to cover Windows. Note that this class includes blinds, drapes, shutters, etc.") Mid-level-ontology.kif 12902-12904
(externalImage WindowCovering " 3/ 31/ Curtain.agr.jpg") pictureList.kif 9857-9857
(externalImage WindowCovering " 4/ 47/ French_Concession_building_-_Shanghai.JPG") pictureList.kif 9859-9859
(externalImage WindowCovering " 5/ 55/ French_shutters.jpg") pictureList.kif 9858-9858
(externalImage WindowCovering " 6/ 65/ Jalousie-1.jpg") pictureList.kif 9855-9855
(externalImage WindowCovering " b/ b3/ Some_window_blinds.JPG") pictureList.kif 9856-9856
(externalImage WindowCovering " c/ c4/ Window_-_Paddington_-_London.JPG") pictureList.kif 8808-8808
(externalImage WindowCovering " e/ ef/ Auckland_Museum_Stained_Glass.jpg") pictureList.kif 9852-9852
(externalImage WindowCovering " f/ f4/ OrdinarywindowS.jpg") pictureList.kif 9854-9854
(subclass WindowCovering Artifact) Mid-level-ontology.kif 12901-12901

appearance as argument number 2

(subclass Curtain WindowCovering) Mid-level-ontology.kif 12856-12856
(termFormat EnglishLanguage WindowCovering "window covering") domainEnglishFormat.kif 10945-10945


    (instance ?WC WindowCovering)
    (hasPurpose ?WC
        (exists (?C ?W)
                (instance ?C Covering)
                (patient ?C ?W)
                (instance ?W Window)
                (instrument ?C ?WC)))))
Mid-level-ontology.kif 12905-12913

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners