Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Map(map)
|  | choropleth_map, map, naval_chart, navigational_chart, pilot_chart, plat, road_map |
| appearance as argument number 1 |
|
|
| (subclass Map Icon) | Mid-level-ontology.kif 14848-14848 | Map is a subclass of icon |
| (documentation Map EnglishLanguage "An Icon which represents one or more GeographicAreas (or even the entire Earth).") | Mid-level-ontology.kif 14849-14850 | Map is a subclass of icon |
| (externalImage Map "http://upload.wikimedia.org/wikipedia/commons/9/9e/Arctic.svg") | pictureList.kif 130-130 | Map is a subclass of icon |
| (externalImage Map "http://articulatesoftware.com/SUMOpictures/geography/ map.png") | pictureList.kif 579-579 | Map is a subclass of icon |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?M Map) (exists (?A) (and (instance ?A GeographicArea) (represents ?M ?A)))) |
Mid-level-ontology.kif 14852-14857 | If X is an instance of map, then there exists Y such that Y is an instance of geographic area and X expresses Y |
|