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 16494-16495
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Canary_wharf_tube_canopy.jpg") pictureList.kif 12039-12039
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ 0310-frankfurt_flughafen_fernbahnhof-1.jpg") pictureList.kif 12040-12040
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Glass_empty.jpg") pictureList.kif 12037-12037
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Bodysuit.jpg") pictureList.kif 12035-12035
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Gl%C3%A4ser.jpg") pictureList.kif 12038-12038
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Hexaaquatitanium%28III%29-solution.jpg") pictureList.kif 10304-10304
(externalImage Transparent "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Transparent_single_wh_1_ubt.jpeg") pictureList.kif 12034-12034
(instance Transparent VisualAttribute) Mid-level-ontology.kif 16492-16492

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


(termFormat ChineseLanguage Transparent "透明") domainEnglishFormat.kif 58960-58960
(termFormat ChineseTraditionalLanguage Transparent "透明") domainEnglishFormat.kif 58959-58959
(termFormat EnglishLanguage Transparent "transparent") domainEnglishFormat.kif 58958-58958

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 16497-16506

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


(=>
    (instance ?OBJ Transparency)
    (attribute ?OBJ Transparent))
Media.kif 1110-1112
(=>
    (instance ?W Window)
    (attribute ?W Transparent))
Mid-level-ontology.kif 16559-16561
(=>
    (instance ?X Solarium)
    (exists (?WALL)
        (and
            (instance ?WALL Wall)
            (part ?WALL ?X)
            (attribute ?WALL Transparent))))
Mid-level-ontology.kif 28654-28660


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