TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Compass Device)	Mid-level-ontology.kif 2859-2859	Compass is a subclass of device
(subclass Compass ContentBearingObject)	Mid-level-ontology.kif 2860-2860	Compass is a subclass of content bearing object
(documentation Compass EnglishLanguage "A Device that indicates the direction of the various DirectionalAttributes with respect to the device.")	Mid-level-ontology.kif 2861-2862	Compass is a subclass of content bearing object
(externalImage Compass "http://articulatesoftware.com/SUMOpictures/education/ supplies/ compass.png")	pictureList.kif 362-362	Compass is a subclass of content bearing object
(externalImage Compass "http://articulatesoftware.com/SUMOpictures/tools/ miscellaneous/ compass.png")	pictureList.kif 1515-1515	Compass is a subclass of content bearing object

appearance as argument number 2

(termFormat EnglishLanguage Compass "compass")	domainEnglishFormat.kif 16152-16152
(termFormat ChineseTraditionalLanguage Compass "羅盤")	domainEnglishFormat.kif 16153-16153
(termFormat ChineseLanguage Compass "罗盘")	domainEnglishFormat.kif 16154-16154

antecedent

(=>
    (instance ?C Compass)
    (exists (?D)
        (and
            (instance ?D DirectionalAttribute)
            (represents ?C ?D))))

If X is an instance of compass, then there exists Y such that Y is an instance of directional attribute and X expresses Y