TreeView Knowledge Base Browser

appearance as argument number 1

(instance acquaintance BinaryPredicate)	Merge.kif 16892-16892	acquaintance is an instance of binary predicate
(documentation acquaintance EnglishLanguage "(acquaintance ?H1 ?H2) means that ?H1 has met and knows something about ?H2, such as ?H2's name and appearance. Statements made with this predicate should be temporally specified with holdsDuring. Note that acquaintance is not symmetric. For the symmetric version, see mutualAcquaintance.")	Merge.kif 16894-16898	acquaintance is an instance of binary predicate
(domain acquaintance 1 Human)	Merge.kif 16900-16900	The number 1 argument of acquaintance is an instance of human
(domain acquaintance 2 Human)	Merge.kif 16901-16901	The number 2 argument of acquaintance is an instance of human

appearance as argument number 2

(subrelation mutualAcquaintance acquaintance)	Merge.kif 16914-16914	mutual acquaintance is a subrelation of acquaintance
(disjointRelation stranger acquaintance)	Mid-level-ontology.kif 25661-25661	stranger and acquaintance are disjoint
(format EnglishLanguage acquaintance "%2 is %n an acquaintance of %1")	domainEnglishFormat.kif 50-50	stranger and acquaintance are disjoint
(format ChineseTraditionalLanguage acquaintance "%2 %n 是 %1 的 acquaintance ")	domainEnglishFormat.kif 51-51	stranger and acquaintance are disjoint
(format ChineseLanguage acquaintance "%2 %n 是 %1 的 acquaintance ")	domainEnglishFormat.kif 52-52	stranger and acquaintance are disjoint
(termFormat EnglishLanguage acquaintance "acquaintance")	domainEnglishFormat.kif 5335-5335	stranger and acquaintance are disjoint
(termFormat ChineseTraditionalLanguage acquaintance "熟人")	domainEnglishFormat.kif 5336-5336	stranger and acquaintance are disjoint
(termFormat ChineseLanguage acquaintance "熟人")	domainEnglishFormat.kif 5337-5337	stranger and acquaintance are disjoint

consequent

(=>
    (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