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

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


(subclass Curtain WindowCovering) Mid-level-ontology.kif 13373-13373
(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 13424-13432


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