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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WindowCovering
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 12642-12644
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Curtain.agr.jpg") pictureList.kif 9857-9857
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ 4/ 47/ French_Concession_building_-_Shanghai.JPG") pictureList.kif 9859-9859
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ 5/ 55/ French_shutters.jpg") pictureList.kif 9858-9858
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ 6/ 65/ Jalousie-1.jpg") pictureList.kif 9855-9855
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Some_window_blinds.JPG") pictureList.kif 9856-9856
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ Window_-_Paddington_-_London.JPG") pictureList.kif 8808-8808
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ Auckland_Museum_Stained_Glass.jpg") pictureList.kif 9852-9852
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/en/ f/ f4/ OrdinarywindowS.jpg") pictureList.kif 9854-9854
(subclass WindowCovering Artifact) Mid-level-ontology.kif 12641-12641

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


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

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


(=>
    (instance ?WC WindowCovering)
    (hasPurpose ?WC
        (exists (?C ?W)
            (and
                (instance ?C Covering)
                (patient ?C ?W)
                (instance ?W Window)
                (instrument ?C ?WC)))))
Mid-level-ontology.kif 12645-12653


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