|
|
   Icon
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Icon ChineseLanguage "这是 ContentBearingPhysical 的子类别， 这不属于 Language 的部分，并且和 Object 所代表有相似的地方 这 Class 可包括具有象征性的路标、具 代表性的艺术品、照片等。") | chinese_format.kif 1651-1653 | |
| (documentation Icon 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 1381-1384 | |
| (documentation Icon JapaneseLanguage "これは ContentBearingPhysical のサブクラスで、 Language の一部ではなく、それらが表す＆％Objectと何らかの類似点がある。 この Class にはシン ボリックな道路標識、表象芸術作品、写真などが含まれる。") | japanese_format.kif 237-239 | |
| (documentation Icon SpanishLanguage "Esta es la subclase de ContentBearingPhysical que no es parte del Language y que tiene alguna similitud con los Objects que representan. Esta Class incluiría los señales de tráfico, obras de arte representacionales y las fotos, etc.") | spanish_format.kif 280-283 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/0/0a/ Vladimirskaya.jpg") | pictureList.kif 6622-6622 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Menas.jpg") | pictureList.kif 7092-7092 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/1/17/ Petersinai.jpg") | pictureList.kif 7093-7093 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/4/49/ Mary_of_egypt2.jpg") | pictureList.kif 7095-7095 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/6/68/ Goldenlocks.jpg") | pictureList.kif 7096-7096 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/7/76/ Chapkanov-Saint-Nicholas.jpg") | pictureList.kif 7097-7097 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/8/84/ Rublev%27s_saviour.jpg") | pictureList.kif 7098-7098 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/a/a4/ Ushakov_Nerukotvorniy.jpg") | pictureList.kif 7099-7099 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/a/ac/ Fedorovskaya.jpg") | pictureList.kif 7100-7100 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/en/f/fc/Orthodox_prayer_corner.jpg") | pictureList.kif 7104-7104 | |
| (subclass Icon ContentBearingPhysical) | Merge.kif 1379-1379 | 子類 Icon and 內容承載物理 |
| appearance as argument number 2 |
|
|
| (disjoint LinguisticExpression Icon) | Merge.kif 1398-1398 | 不相交的 LinguisticExpression and Icon |
| (subclass ArrowIcon Icon) | Mid-level-ontology.kif 13280-13280 | 子類 箭頭圖標 and Icon |
| (subclass Blueprint Icon) | Mid-level-ontology.kif 13229-13229 | 子類 藍圖 and Icon |
| (subclass Chart Icon) | Mid-level-ontology.kif 13241-13241 | 子類 圖表 and Icon |
| (subclass ComputerTouchscreenKeyboard Icon) | ComputerInput.kif 447-447 | 子類 ComputerTouchscreenKeyboard and Icon |
| (subclass Flag Icon) | Mid-level-ontology.kif 13251-13251 | 子類 旗 and Icon |
| (subclass FolderIcon Icon) | ComputingBrands.kif 2998-2998 | 子類 資料夾 and Icon |
| (subclass Map Icon) | Mid-level-ontology.kif 13284-13284 | 子類 地圖 and Icon |
| (subclass RepresentationalArtWork Icon) | Merge.kif 15868-15868 | 子類 代表性的藝術作品 and Icon |
| (subclass TradingCard Icon) | Mid-level-ontology.kif 29521-29521 | 子類 TradingCard and Icon |
| (subclass UIElement Icon) | ComputerInput.kif 842-842 | 子類 UIElement and Icon |
| (subclass UserDirectAction Icon) | ComputerInput.kif 1181-1181 | 子類 UserDirectAction and Icon |
| (termFormat ChineseLanguage Icon "图标") | chinese_format.kif 836-836 | |
| (termFormat EnglishLanguage Icon "icon") | english_format.kif 874-874 | |
| (termFormat FrenchLanguage Icon "icone") | french_format.kif 512-512 | |
| (termFormat Hindi Icon "pratimaa") | terms-hindi.txt 44-44 | |
| (termFormat ItalianLanguage Icon "Icona") | terms-it.txt 47-47 | |
| (termFormat JapaneseLanguage Icon "アイコン") | japanese_format.kif 2197-2197 | |
| (termFormat PortugueseLanguage Icon "Icone") | portuguese_format.kif 464-464 | |
| (termFormat cz Icon "icon") | terms-cz.txt 79-79 | |
| (termFormat ro Icon "icon") | relations-ro.kif 533-533 | |
| (termFormat tg Icon "sagisag") | terms-tg.txt 48-48 |
| appearance as argument number 3 |
|
|
| (domain brandIcon 2 Icon) | Hotel.kif 1317-1317 | 域 brandIcon, 2 and Icon |
| consequent |
|
|
| (=> (instance ?G GUIDock) (exists (?I ?P ?CP) (and (instance ?CP ComputerProgram) (programRunning ?P ?CP) (instance ?I Icon) (represents ?I ?P) (orientation ?I ?G Inside)))) |
ComputingBrands.kif 2544-2552 |
|
|
|
