TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Label Text)	Mid-level-ontology.kif 16077-16077	Label is a subclass of text
(documentation Label EnglishLanguage "A very brief Text that is attached to an Object and that indicates very specific information about the Object, e.g. its name, its monetaryValue, etc.")	Mid-level-ontology.kif 16078-16080	Label is a subclass of text
(externalImage Label "http://upload.wikimedia.org/wikipedia/commons/4/4c/ Wine_mt_markey.jpg")	pictureList.kif 2696-2696	Label is a subclass of text
(externalImage Label "http://upload.wikimedia.org/wikipedia/commons/2/25/ Collar.agr.jpg")	pictureList.kif 2836-2836	Label is a subclass of text
(externalImage Label "http://upload.wikimedia.org/wikipedia/commons/4/40/ Bananas_on_countertop.JPG")	pictureList.kif 2837-2837	Label is a subclass of text

appearance as argument number 2

(subclass TriageTag Label)	Medicine.kif 6132-6132	Triage tag is a subclass of label
(termFormat EnglishLanguage Label "label")	domainEnglishFormat.kif 32997-32997	Triage tag is a subclass of label
(termFormat ChineseTraditionalLanguage Label "標籤")	domainEnglishFormat.kif 32998-32998	Triage tag is a subclass of label
(termFormat ChineseLanguage Label "标签")	domainEnglishFormat.kif 32999-32999	Triage tag is a subclass of label

antecedent

(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))

If X is an instance of label, then there exists Y such that Y is an instance of self connected object, X is connected to Y, and X includes a reference to Y