TreeView Knowledge Base Browser

appearance as argument number 1

(instance Celebrity SocialRole)	Mid-level-ontology.kif 24460-24460	Celebrity is an instance of social role
(documentation Celebrity EnglishLanguage "Anyone who is known by a large number of people, either explicitly by name, or by action.")	Mid-level-ontology.kif 24461-24462	Celebrity is an instance of social role
(externalImage Celebrity "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ Drew_Barrymore_by_David_Shankbone.jpg")	pictureList.kif 4589-4589	Celebrity is an instance of social role

appearance as argument number 2

(subAttribute PoliticalFigure Celebrity)	Mid-level-ontology.kif 24807-24807	Political figure is a subattribute of celebrity
(subAttribute ReligiousFigure Celebrity)	Mid-level-ontology.kif 24830-24830	Religious figure is a subattribute of celebrity
(termFormat EnglishLanguage Celebrity "celebrity")	domainEnglishFormat.kif 13644-13644	Religious figure is a subattribute of celebrity
(termFormat ChineseTraditionalLanguage Celebrity "名人")	domainEnglishFormat.kif 13645-13645	Religious figure is a subattribute of celebrity
(termFormat ChineseLanguage Celebrity "名人")	domainEnglishFormat.kif 13646-13646	Religious figure is a subattribute of celebrity

antecedent

(=>
    (attribute ?X Celebrity)
    (exists (?A)
        (greaterThan
            (CardinalityFn
                (KappaFn ?A
                    (acquaintance ?A ?X))) 1000)))

If celebrity is an attribute of X, then there exists Y such that the number of instances in the class described by Y is greater than 1000