Transparent - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Transparent EnglishLanguage "A Transparent material is one through which it is possible to have Seeing.")	Mid-level-ontology.kif 16049-16050
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Canary_wharf_tube_canopy.jpg")	pictureList.kif 12039-12039
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ 0310-frankfurt_flughafen_fernbahnhof-1.jpg")	pictureList.kif 12040-12040
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Glass_empty.jpg")	pictureList.kif 12037-12037
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Bodysuit.jpg")	pictureList.kif 12035-12035
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Gl%C3%A4ser.jpg")	pictureList.kif 12038-12038
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Hexaaquatitanium%28III%29-solution.jpg")	pictureList.kif 10304-10304
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Transparent_single_wh_1_ubt.jpeg")	pictureList.kif 12034-12034
(instance Transparent VisualAttribute)	Mid-level-ontology.kif 16047-16047	Transparent is an instance of visual attribute

appearance as argument number 2

(termFormat ChineseLanguage Transparent "透明")	domainEnglishFormat.kif 58989-58989
(termFormat ChineseTraditionalLanguage Transparent "透明")	domainEnglishFormat.kif 58988-58988
(termFormat EnglishLanguage Transparent "transparent")	domainEnglishFormat.kif 58987-58987

antecedent

(=>
    (attribute ?O Transparent)
    (modalAttribute
        (exists (?S ?A ?D)
            (and
                (instance ?S Seeing)
                (agent ?S ?A)
                (destination ?S ?D)
                (between ?O ?A ?D))) Possibility))

Mid-level-ontology.kif 16052-16061

consequent

(=> (instance ?OBJ Transparency) (attribute ?OBJ Transparent))	Media.kif 1110-1112	If an object is an instance of transparency, then transparent is an attribute of the object
(=> (instance ?W Window) (attribute ?W Transparent))	Mid-level-ontology.kif 16114-16116	If an object is an instance of window, then transparent is an attribute of the object
(=> (instance ?X Solarium) (exists (?WALL) (and (instance ?WALL Wall) (part ?WALL ?X) (attribute ?WALL Transparent))))	Mid-level-ontology.kif 27850-27856	If an object is an instance of solarium, then there exists another object such that the other object is an instance of wall and the other object is a part of the object and transparent is an attribute of the other object