Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Transparent
Transparent(transparent)
more pictures...		clear, crystal_clear, crystalline, limpid, lucid, pellucid, transparent

appearance as argument number 1
-------------------------


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

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


(termFormat EnglishLanguage Transparent "transparent") Mid-level-ontology.kif 16695-16695
(termFormat ChineseTraditionalLanguage Transparent "透明") domainEnglishFormat.kif 58952-58952
(termFormat ChineseLanguage Transparent "透明") domainEnglishFormat.kif 58953-58953

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 16699-16708 If transparent is an attribute of X, then the statement there exist Y, Z, W such that Y is an instance of seeing, Z is an agent of Y, Y ends up at W, Z is between X, and W has the modal force of possibility

consequent
-------------------------


(=>
    (instance ?C Cornea)
    (attribute ?C Transparent))		 Mid-level-ontology.kif 13649-13651 If X is an instance of cornea, then transparent is an attribute of X
(=>
    (instance ?W Window)
    (attribute ?W Transparent))		 Mid-level-ontology.kif 16761-16763 If X is an instance of window, then transparent is an attribute of X
(=>
    (instance ?X Solarium)
    (exists (?WALL)
        (and
            (instance ?WALL Wall)
            (part ?WALL ?X)
            (attribute ?WALL Transparent))))		 Mid-level-ontology.kif 29349-29355 If X is an instance of solarium, then there exists Y such that Y is an instance of wall, Y is a part of X, and transparent is an attribute of Y
(=>
    (instance ?OBJ Transparency)
    (attribute ?OBJ Transparent))		 Media.kif 1055-1057 If X is an instance of transparency, then transparent is an attribute of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners