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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Icon

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1651-1653
No TPTP formula. May not be expressible in strict first order. Merge.kif 1381-1384
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 237-239
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 280-283
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6622-6622
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7092-7092
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7093-7093
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7095-7095
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7096-7096
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7097-7097
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7098-7098
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7099-7099
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7100-7100
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7104-7104
No TPTP formula. May not be expressible in strict first order. Merge.kif 1379-1379 Icon is a subclass of content bearing physical

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1398-1398 Linguistic expression is disjoint from icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13280-13280 Arrow icon is a subclass of icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13229-13229 Blueprint is a subclass of icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13241-13241 Chart is a subclass of icon
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 447-447 Computer touchscreen keyboard is a subclass of icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13251-13251 Flag is a subclass of icon
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2998-2998 Folder is a subclass of icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13284-13284 Map is a subclass of icon
No TPTP formula. May not be expressible in strict first order. Merge.kif 15868-15868 Representational art work is a subclass of icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29521-29521 Trading card is a subclass of icon
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 842-842 UI element is a subclass of icon
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1181-1181 User direct action is a subclass of icon
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 836-836
No TPTP formula. May not be expressible in strict first order. english_format.kif 874-874
No TPTP formula. May not be expressible in strict first order. french_format.kif 512-512
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 44-44
No TPTP formula. May not be expressible in strict first order. terms-it.txt 47-47
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2197-2197
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 464-464
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 79-79
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 533-533
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 48-48

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1317-1317 The number 2 argument of brand icon is an instance of icon

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2544-2552


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