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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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 13455-13464

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


(=>
    (instance ?OBJ Transparency)
    (attribute ?OBJ Transparent))
Media.kif 1114-1116
(=>
    (instance ?W Window)
    (attribute ?W Transparent))
Mid-level-ontology.kif 13517-13519
(=>
    (instance ?X Solarium)
    (exists (?WALL)
        (and
            (instance ?WALL Wall)
            (part ?WALL ?X)
            (attribute ?WALL Transparent))))
Mid-level-ontology.kif 24865-24871


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 is open source software produced by Articulate Software and its partners