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 15148-15149
(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 15146-15146 Transparent è un' istanza di AttributoVisivo

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


(termFormat ChineseLanguage Transparent "透明") domainEnglishFormat.kif 58978-58978
(termFormat ChineseTraditionalLanguage Transparent "透明") domainEnglishFormat.kif 58977-58977
(termFormat EnglishLanguage Transparent "transparent") domainEnglishFormat.kif 58976-58976

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 15151-15160

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


(=>
    (instance ?OBJ Transparency)
    (attribute ?OBJ Transparent))
Media.kif 1110-1112
(=>
    (instance ?W Window)
    (attribute ?W Transparent))
Mid-level-ontology.kif 15213-15215
(=>
    (instance ?X Solarium)
    (exists (?WALL)
        (and
            (instance ?WALL Wall)
            (part ?WALL ?X)
            (attribute ?WALL Transparent))))
Mid-level-ontology.kif 26788-26794


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