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 11853-11854
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Canary_wharf_tube_canopy.jpg")	pictureList.kif 12077-12077
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ 0310-frankfurt-flughafen-fernbahnhof-1.jpg")	pictureList.kif 12078-12078
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Glass_empty.jpg")	pictureList.kif 12075-12075
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Bodysuit.jpg")	pictureList.kif 12073-12073
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Gl%C3%A4ser.jpg")	pictureList.kif 12076-12076
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Hexaaquatitanium%28III%29-solution.jpg")	pictureList.kif 10327-10327
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Transparent_single_wh_1_ubt.jpeg")	pictureList.kif 12072-12072
(instance Transparent VisualAttribute)	Mid-level-ontology.kif 11851-11851

appearance as argument number 2

(termFormat ChineseLanguage Transparent "透明")	domainEnglishFormat.kif 58942-58942
(termFormat ChineseTraditionalLanguage Transparent "透明")	domainEnglishFormat.kif 58941-58941
(termFormat EnglishLanguage Transparent "transparent")	domainEnglishFormat.kif 58940-58940

antecedent

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

Mid-level-ontology.kif 11856-11865

consequent

(=> (instance ?OBJ Transparency) (attribute ?OBJ Transparent))	Media.kif 1114-1116
(=> (instance ?W Window) (attribute ?W Transparent))	Mid-level-ontology.kif 11918-11920
(=> (instance ?X Solarium) (exists (?WALL) (and (instance ?WALL Wall) (part ?WALL ?X) (attribute ?WALL Transparent))))	Mid-level-ontology.kif 22949-22955