Window - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Window EnglishLanguage "An Artifact composed of transparent material that admits light (and possibly air) into a Room, Building or Vehicle.")	Mid-level-ontology.kif 12861-12863
(externalImage Window "http://upload.wikimedia.org/wikipedia/commons/7/77/ Window.jpg")	pictureList.kif 202-202	"http://upload.wikimedia.org/wikipedia/commons/7/77/ Window.jpg" is a URL depicting window
(externalImage Window "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ household/ windows/ window.png")	pictureList.kif 841-841	"http://www.adampease.org/Articulate/SUMOpictures/pictures/ household/ windows/ window.png" is a URL depicting window
(subclass Window Artifact)	Mid-level-ontology.kif 12860-12860	Window is a subclass of artifact

appearance as argument number 2

(subclass Skylight Window)	Mid-level-ontology.kif 12878-12878	Skylight is a subclass of window
(subclass VehicleWindow Window)	Mid-level-ontology.kif 3975-3975	Vehicle window is a subclass of window
(termFormat ChineseLanguage Window "窗口")	domainEnglishFormat.kif 63061-63061	"窗口" is the printable form of window in ChineseLanguage
(termFormat ChineseTraditionalLanguage Window "窗口")	domainEnglishFormat.kif 63060-63060	"窗口" is the printable form of window in ChineseTraditionalLanguage
(termFormat EnglishLanguage Window "window")	domainEnglishFormat.kif 63059-63059	"window" is the printable form of window in english language

antecedent

(=> (instance ?W Window) (attribute ?W Transparent))	Mid-level-ontology.kif 12874-12876	If an object is an instance of window, then transparent is an attribute of the object
(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle)))))	Mid-level-ontology.kif 12864-12872	If an object is an instance of window, then there exists another object such that the object is a part of the other object and the other object is an instance of building or the other object is an instance of room or the other object is an instance of vehicle

consequent

(=>
    (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 12904-12912