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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Icon
Icon(icon)
more pictures...
Agnus_Dei, British_Crown, CAT_scan, Celtic_cross, Confederate_flag, Cross, Crown, ECG, EEG, EKG, EMG, Great_Seal_of_the_United_States, Greek_cross, Guy, Hakenkreuz, Identikit, Identikit_picture, L-plate, Laffer_curve, Lorraine_cross, Magen_David, Maltese_cross, Mercator's_projection, Mercator_projection, Mogen_David, Paschal_Lamb, Plimsoll, Plimsoll_line, Plimsoll_mark, Sanson-Flamsteed_projection, Shield_of_David, Solomon's_seal, St._Andrew's_cross, St._Anthony's_cross, Star_of_David, Stars_and_Bars, Union_Jack, Union_flag, X-ray, X-ray_photograph, X-ray_picture, X_ray, air_alert, allegory, anaglyphic, anaglyphical, anaglyptic, anaglyptical, animalization, anthropomorphism...

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


s__documentation(s__Icon,s__ChineseLanguage,'"这是 ContentBearingPhysical 的子类别, 这不属于 Language 的部分,并且和 Object 所代表有相似的地方 这 Class 可包括具有象征性的路标、具 代表性的艺术品、照片等。"')

chinese_format.kif 1651-1653
s__documentation(s__Icon,s__EnglishLanguage,'"This is the subclass of ContentBearingPhysical which are not part of a Language and which have some sort of similarity with the Objects that they represent. This Class would include symbolic roadway signs, representational art works, photographs, etc."')

Merge.kif 1267-1270
s__externalImage(s__Icon,'"http://upload.wikimedia.org/wikipedia/commons/0/0a/ Vladimirskaya.jpg"')

pictureList.kif 6623-6623
s__externalImage(s__Icon,'"http://upload.wikimedia.org/wikipedia/commons/0/0f/ Menas.jpg"')

pictureList.kif 7093-7093
s__externalImage(s__Icon,'"http://upload.wikimedia.org/wikipedia/commons/1/17/ Petersinai.jpg"')

pictureList.kif 7094-7094
s__externalImage(s__Icon,'"http://upload.wikimedia.org/wikipedia/commons/4/49/ Mary_of_egypt2.jpg"')

pictureList.kif 7096-7096
s__externalImage(s__Icon,'"http://upload.wikimedia.org/wikipedia/commons/6/68/ Goldenlocks.jpg"')

pictureList.kif 7097-7097
s__externalImage(s__Icon,'"http://upload.wikimedia.org/wikipedia/commons/7/76/ Chapkanov-Saint-Nicholas.jpg"')

pictureList.kif 7098-7098
s__externalImage(s__Icon,'"http://upload.wikimedia.org/wikipedia/commons/8/84/ Rublev%27s_saviour.jpg"')

pictureList.kif 7099-7099
s__externalImage(s__Icon,'"http://upload.wikimedia.org/wikipedia/commons/a/a4/ Ushakov_Nerukotvorniy.jpg"')

pictureList.kif 7100-7100
s__externalImage(s__Icon,'"http://upload.wikimedia.org/wikipedia/commons/a/ac/ Fedorovskaya.jpg"')

pictureList.kif 7101-7101
s__externalImage(s__Icon,'"http://upload.wikimedia.org/wikipedia/en/f/fc/Orthodox_prayer_corner.jpg"')

pictureList.kif 7105-7105
s__subclass(s__Icon,s__ContentBearingPhysical)

s__instance(s__ContentBearingPhysical,s__SetOrClass)

s__instance(s__Icon,s__SetOrClass)

Merge.kif 1265-1265 Icon is a subclass of content bearing physical

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


s__disjoint(s__LinguisticExpression,s__Icon)

Merge.kif 1284-1284 Linguistic expression is disjoint from icon
s__subclass(s__ArrowIcon,s__Icon)

s__instance(s__ArrowIcon,s__SetOrClass)

s__instance(s__Icon,s__SetOrClass)

Mid-level-ontology.kif 11867-11867 Arrow icon is a subclass of icon
s__instance(s__Blueprint,s__SetOrClass)

s__subclass(s__Blueprint,s__Icon)

s__instance(s__Icon,s__SetOrClass)

Mid-level-ontology.kif 11816-11816 Blueprint is a subclass of icon
s__instance(s__Chart,s__SetOrClass)

s__subclass(s__Chart,s__Icon)

s__instance(s__Icon,s__SetOrClass)

Mid-level-ontology.kif 11828-11828 Chart is a subclass of icon
s__instance(s__ComputerTouchscreenKeyboard,s__SetOrClass)

s__instance(s__Icon,s__SetOrClass)

s__subclass(s__ComputerTouchscreenKeyboard,s__Icon)

ComputerInput.kif 472-472 ComputerTouchscreenKeyboard is a subclass of icon
s__instance(s__Flag,s__SetOrClass)

s__subclass(s__Flag,s__Icon)

s__instance(s__Icon,s__SetOrClass)

Mid-level-ontology.kif 11838-11838 Flag is a subclass of icon
s__subclass(s__FolderIcon,s__Icon)

s__instance(s__FolderIcon,s__SetOrClass)

s__instance(s__Icon,s__SetOrClass)

ComputingBrands.kif 2957-2957 Folder is a subclass of icon
s__instance(s__Map,s__SetOrClass)

s__subclass(s__Map,s__Icon)

s__instance(s__Icon,s__SetOrClass)

Mid-level-ontology.kif 11871-11871 Map is a subclass of icon
s__instance(s__RepresentationalArtWork,s__SetOrClass)

s__subclass(s__RepresentationalArtWork,s__Icon)

s__instance(s__Icon,s__SetOrClass)

Merge.kif 15097-15097 Representational art work is a subclass of icon
s__subclass(s__TradingCard,s__Icon)

s__instance(s__TradingCard,s__SetOrClass)

s__instance(s__Icon,s__SetOrClass)

Mid-level-ontology.kif 27947-27947 TradingCard is a subclass of icon
s__subclass(s__UIElement,s__Icon)

s__instance(s__Icon,s__SetOrClass)

s__instance(s__UIElement,s__SetOrClass)

ComputerInput.kif 871-871 UIElement is a subclass of icon
s__subclass(s__UserDirectAction,s__Icon)

s__instance(s__UserDirectAction,s__SetOrClass)

s__instance(s__Icon,s__SetOrClass)

ComputerInput.kif 1208-1208 UserDirectAction is a subclass of icon
s__termFormat(s__ChineseLanguage,s__Icon,'"图标"')

chinese_format.kif 836-836
s__termFormat(s__EnglishLanguage,s__Icon,'"icon"')

english_format.kif 879-879

appearance as argument number 3
-------------------------


s__domain(s__brandIcon__m,n__2,s__Icon)

Hotel.kif 1282-1282 The number 2 argument of brand icon is an instance of icon

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


( ! [V__G] :
   ((s__instance(V__G,s__GUIDock) =>
       (( ? [V__I, V__P, V__CP] :
           ((s__instance(V__P,s__ComputerProcess) &
               (s__instance(V__CP,s__ComputerProgram) &
                 s__programRunning(V__P,V__CP)
               &
               s__instance(V__I,s__Icon) &
               s__represents(V__I,V__P)
             &
             s__orientation(V__I,V__G,s__Inside)))))))
)
)

ComputingBrands.kif 2503-2511


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