TreeView Knowledge Base Browser

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

(termFormat EnglishLanguage Map "map")	domainEnglishFormat.kif 36083-36083
(termFormat ChineseTraditionalLanguage Map "地圖")	domainEnglishFormat.kif 36084-36084
(termFormat ChineseLanguage Map "地图")	domainEnglishFormat.kif 36085-36085

antecedent

(=>
    (instance ?M Map)
    (exists (?A)
        (and
            (instance ?A GeographicArea)
            (represents ?M ?A))))

If X is an instance of map, then there exists Y such that Y is an instance of geographic area and X expresses Y