Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Icon ContentBearingPhysical) | Merge.kif 1468-1468 | Icon is a subclass of content bearing physical |
| (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 1470-1473 | Icon is a subclass of content bearing physical |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/0/0a/ Vladimirskaya.jpg") | pictureList.kif 6621-6621 | Icon is a subclass of content bearing physical |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Menas.jpg") | pictureList.kif 7091-7091 | Icon is a subclass of content bearing physical |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/1/17/ Petersinai.jpg") | pictureList.kif 7092-7092 | Icon is a subclass of content bearing physical |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/4/49/ Mary_of_egypt2.jpg") | pictureList.kif 7094-7094 | Icon is a subclass of content bearing physical |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/6/68/ Goldenlocks.jpg") | pictureList.kif 7095-7095 | Icon is a subclass of content bearing physical |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/7/76/ Chapkanov_Saint_Nicholas.jpg") | pictureList.kif 7096-7096 | Icon is a subclass of content bearing physical |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/8/84/ Rublev%27s_saviour.jpg") | pictureList.kif 7097-7097 | Icon is a subclass of content bearing physical |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/a/a4/ Ushakov_Nerukotvorniy.jpg") | pictureList.kif 7098-7098 | Icon is a subclass of content bearing physical |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/commons/a/ac/ Fedorovskaya.jpg") | pictureList.kif 7099-7099 | Icon is a subclass of content bearing physical |
| (externalImage Icon "http://upload.wikimedia.org/wikipedia/en/f/fc/Orthodox_prayer_corner.jpg") | pictureList.kif 7103-7103 | Icon is a subclass of content bearing physical |
| appearance as argument number 2 |
|
|
| (disjoint LinguisticExpression Icon) | Merge.kif 1487-1487 | Linguistic expression is disjoint from icon |
| (subclass RepresentationalArtWork Icon) | Merge.kif 16185-16185 | Representational art work is a subclass of icon |
| (subclass Blueprint Icon) | Mid-level-ontology.kif 14793-14793 | Blueprint is a subclass of icon |
| (subclass Chart Icon) | Mid-level-ontology.kif 14805-14805 | Chart is a subclass of icon |
| (subclass Flag Icon) | Mid-level-ontology.kif 14815-14815 | Flag is a subclass of icon |
| (subclass ArrowIcon Icon) | Mid-level-ontology.kif 14844-14844 | Arrow icon is a subclass of icon |
| (subclass Map Icon) | Mid-level-ontology.kif 14848-14848 | Map is a subclass of icon |
| (subclass TradingCard Icon) | Mid-level-ontology.kif 32132-32132 | Trading card is a subclass of icon |
| (subclass ComputerTouchscreenKeyboard Icon) | ComputerInput.kif 463-463 | Computer touchscreen keyboard is a subclass of icon |
| (subclass UIElement Icon) | ComputerInput.kif 858-858 | UI element is a subclass of icon |
| (subclass UserDirectAction Icon) | ComputerInput.kif 1197-1197 | User direct action is a subclass of icon |
| (subclass FolderIcon Icon) | ComputingBrands.kif 2909-2909 | Folder is a subclass of icon |
| (subclass Logo Icon) | Society.kif 302-302 | Logo is a subclass of icon |
| (termFormat EnglishLanguage Icon "icon") | english_format.kif 878-878 | Logo is a subclass of icon |
| appearance as argument number 3 |
|
|
| (domain brandIcon 2 Icon) | Hotel.kif 1328-1328 | The number 2 argument of brand icon is an instance of 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 | If X is an instance of dock, then there exist Y, Z, W such that W is an instance of computer program, W is a program running of Z, Y is an instance of icon, Y expresses Z, and Y is inside the to X |
|
