Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Transparent

Sigma KEE - Transparent
Transparent
more pictures...

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 14565-14566
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Canary_wharf_tube_canopy.jpg") pictureList.kif 12066-12066
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ 0310-frankfurt-flughafen-fernbahnhof-1.jpg") pictureList.kif 12067-12067
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Glass_empty.jpg") pictureList.kif 12064-12064
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Bodysuit.jpg") pictureList.kif 12062-12062
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Gl%C3%A4ser.jpg") pictureList.kif 12065-12065
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Hexaaquatitanium%28III%29-solution.jpg") pictureList.kif 10316-10316
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Transparent_single_wh_1_ubt.jpeg") pictureList.kif 12061-12061
(instance Transparent VisualAttribute) Mid-level-ontology.kif 14563-14563

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


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

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 14568-14577

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


(=>
    (instance ?OBJ Transparency)
    (attribute ?OBJ Transparent))
Media.kif 1110-1112
(=>
    (instance ?W Window)
    (attribute ?W Transparent))
Mid-level-ontology.kif 14630-14632
(=>
    (instance ?X Solarium)
    (exists (?WALL)
        (and
            (instance ?WALL Wall)
            (part ?WALL ?X)
            (attribute ?WALL Transparent))))
Mid-level-ontology.kif 26103-26109


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners