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 15339-15340
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Canary_wharf_tube_canopy.jpg")	pictureList.kif 12050-12050
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ 0310-frankfurt-flughafen-fernbahnhof-1.jpg")	pictureList.kif 12051-12051
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Glass_empty.jpg")	pictureList.kif 12048-12048
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Bodysuit.jpg")	pictureList.kif 12046-12046
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Gl%C3%A4ser.jpg")	pictureList.kif 12049-12049
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Hexaaquatitanium%28III%29-solution.jpg")	pictureList.kif 10306-10306
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Transparent_single_wh_1_ubt.jpeg")	pictureList.kif 12045-12045
(instance Transparent VisualAttribute)	Mid-level-ontology.kif 15337-15337	Transparent is an instance of visual attribute

appearance as argument number 2

(termFormat ChineseLanguage Transparent "透明")	domainEnglishFormat.kif 59014-59014
(termFormat ChineseTraditionalLanguage Transparent "透明")	domainEnglishFormat.kif 59013-59013
(termFormat EnglishLanguage Transparent "transparent")	domainEnglishFormat.kif 59012-59012

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 15342-15351

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 15404-15406	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 27019-27025	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