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


KB Term:  Term intersection
English Word: 

Sigma KEE - WindowCovering
WindowCovering(window covering)
more pictures...
shutter

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


(subclass WindowCovering Artifact) Mid-level-ontology.kif 16737-16737 Window covering is a subclass of artifact
(documentation WindowCovering EnglishLanguage "An Artifact that is used to cover Windows. Note that this class includes blinds, drapes, shutters, etc.") Mid-level-ontology.kif 16738-16740 Window covering is a subclass of artifact
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ Window_-_Paddington_-_London.JPG") pictureList.kif 8802-8802 Window covering is a subclass of artifact
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ Auckland_Museum_Stained_Glass.jpg") pictureList.kif 9833-9833 Window covering is a subclass of artifact
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/en/ f/ f4/ OrdinarywindowS.jpg") pictureList.kif 9835-9835 Window covering is a subclass of artifact
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ 6/ 65/ Jalousie-1.jpg") pictureList.kif 9836-9836 Window covering is a subclass of artifact
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Some_window_blinds.JPG") pictureList.kif 9837-9837 Window covering is a subclass of artifact
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Curtain.agr.jpg") pictureList.kif 9838-9838 Window covering is a subclass of artifact
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ 5/ 55/ French_shutters.jpg") pictureList.kif 9839-9839 Window covering is a subclass of artifact
(externalImage WindowCovering "http://upload.wikimedia.org/wikipedia/commons/ 4/ 47/ French_Concession_building_-_Shanghai.JPG") pictureList.kif 9840-9840 Window covering is a subclass of artifact

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


(subclass Curtain WindowCovering) Mid-level-ontology.kif 16691-16691 Curtain is a subclass of window covering
(termFormat EnglishLanguage WindowCovering "window covering") domainEnglishFormat.kif 63124-63124 Curtain is a subclass of window covering
(termFormat ChineseTraditionalLanguage WindowCovering "窗簾") domainEnglishFormat.kif 63125-63125 Curtain is a subclass of window covering
(termFormat ChineseLanguage WindowCovering "窗帘") domainEnglishFormat.kif 63126-63126 Curtain is a subclass of window covering

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 16742-16750 If X is an instance of window covering, then X has the purpose there exist Y, Z such that Y is an instance of covering, Z is a patient of Y, Z is an instance of window, and X is an instrument for Y


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