more pictures...
VerbNet: characterize-29.2|depict, characterize-29.2|describe, characterize-29.2|describe, characterize-29.2|depict, characterize-29.2|depict, characterize-29.2|depict,
| Icon
more pictures... | | VerbNet: characterize-29.2|depict, characterize-29.2|describe, characterize-29.2|describe, characterize-29.2|depict, characterize-29.2|depict, characterize-29.2|depict, |
| 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 1262-1265 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/0/0a/ Vladimirskaya.jpg") | pictureList.kif 6623-6623 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Menas.jpg") | pictureList.kif 7093-7093 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/1/17/ Petersinai.jpg") | pictureList.kif 7094-7094 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/4/49/ Mary_of_egypt2.jpg") | pictureList.kif 7096-7096 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/6/68/ Goldenlocks.jpg") | pictureList.kif 7097-7097 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/7/76/ Chapkanov-Saint-Nicholas.jpg") | pictureList.kif 7098-7098 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/8/84/ Rublev%27s_saviour.jpg") | pictureList.kif 7099-7099 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/a/a4/ Ushakov_Nerukotvorniy.jpg") | pictureList.kif 7100-7100 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/a/ac/ Fedorovskaya.jpg") | pictureList.kif 7101-7101 | |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/en/f/fc/Orthodox_prayer_corner.jpg") | pictureList.kif 7105-7105 | |
| (subclass Icon ContentBearingPhysical) | Merge.kif 1260-1260 | subclass Icon and ContentBearingPhysical |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain brandIcon 2 Icon) | Hotel.kif 1268-1268 | domain 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 2513-2521 |
|
|
|