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 11945-11947
(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 11944-11944

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


(subclass Curtain WindowCovering) Mid-level-ontology.kif 11898-11898
(termFormat ChineseLanguage WindowCovering "窗帘") domainEnglishFormat.kif 63089-63089
(termFormat ChineseTraditionalLanguage WindowCovering "窗簾") domainEnglishFormat.kif 63088-63088
(termFormat EnglishLanguage WindowCovering "window covering") domainEnglishFormat.kif 63087-63087

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 11949-11957


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