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


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 1391-1394
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 6621-6621
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7091-7091
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 7094-7094
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 7103-7103
No TPTP formula. May not be expressible in strict first order. Merge.kif 1389-1389 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 1408-1408 Linguistic expression is disjoint from icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14619-14619 Arrow icon is a subclass of icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14568-14568 Blueprint is a subclass of icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14580-14580 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 14590-14590 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 14623-14623 Map is a subclass of icon
No TPTP formula. May not be expressible in strict first order. Merge.kif 16018-16018 Representational art work is a subclass of icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31440-31440 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 User direct action is a subclass of icon
No TPTP formula. May not be expressible in strict first order. english_format.kif 874-874 User direct action is a subclass of icon
No TPTP formula. May not be expressible in strict first order. french_format.kif 512-512 User direct action is a subclass of icon
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 44-44 User direct action is a subclass of icon
No TPTP formula. May not be expressible in strict first order. terms-it.txt 47-47 User direct action is a subclass of icon
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2197-2197 User direct action is a subclass of icon
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 464-464 User direct action is a subclass of icon
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 79-79 User direct action is a subclass of icon
No TPTP formula. May not be expressible in strict first order. terms-de.txt 338-338 User direct action is a subclass of icon
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 533-533 User direct action is a subclass of icon
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 48-48 User direct action is a subclass of icon

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1328-1328 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 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