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 16586-16588
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Curtain.agr.jpg") pictureList.kif 9838-9838
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ 4/ 47/ French_Concession_building_-_Shanghai.JPG") pictureList.kif 9840-9840
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ 5/ 55/ French_shutters.jpg") pictureList.kif 9839-9839
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ 6/ 65/ Jalousie-1.jpg") pictureList.kif 9836-9836
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Some_window_blinds.JPG") pictureList.kif 9837-9837
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ Window_-_Paddington_-_London.JPG") pictureList.kif 8802-8802
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ Auckland_Museum_Stained_Glass.jpg") pictureList.kif 9833-9833
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/en/ f/ f4/ OrdinarywindowS.jpg") pictureList.kif 9835-9835
(subclass WindowCovering Artifact) Mid-level-ontology.kif 16585-16585 WindowCovering est une sous-classe de artefact

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


(subclass Curtain WindowCovering) Mid-level-ontology.kif 16539-16539 Curtain est une sous-classe de WindowCovering
(termFormat ChineseLanguage WindowCovering "窗帘") domainEnglishFormat.kif 63117-63117 Curtain est une sous-classe de WindowCovering
(termFormat ChineseTraditionalLanguage WindowCovering "窗簾") domainEnglishFormat.kif 63116-63116 Curtain est une sous-classe de WindowCovering
(termFormat EnglishLanguage WindowCovering "window covering") domainEnglishFormat.kif 63115-63115 Curtain est une sous-classe de WindowCovering

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 16590-16598


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