uncle - Sigma Knowledge base Browser

appearance as argument number 1

(documentation uncle EnglishLanguage "(uncle ?UNCLE ?PERSON) means that ?UNCLE is the brother of a parent of ?PERSON.")	Mid-level-ontology.kif 25448-25449
(domain uncle 1 Man)	Mid-level-ontology.kif 25450-25450	The number 1 argument of uncle is an instance of man
(domain uncle 2 Human)	Mid-level-ontology.kif 25451-25451	The number 2 argument of uncle is an instance of human
(subrelation uncle familyRelation)	Mid-level-ontology.kif 25452-25452	uncle is a subrelation of family relation
(instance uncle BinaryPredicate)	Mid-level-ontology.kif 25453-25453	uncle is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage uncle "the uncle of %2 is %1")	domainEnglishFormat.kif 4862-4862
(format ChineseTraditionalLanguage uncle "%2 的 uncle 是 %1 ")	domainEnglishFormat.kif 4863-4863
(format ChineseLanguage uncle "%2 的 uncle 是 %1 ")	domainEnglishFormat.kif 4864-4864
(termFormat EnglishLanguage uncle "uncle")	domainEnglishFormat.kif 59835-59835
(termFormat ChineseTraditionalLanguage uncle "叔叔")	domainEnglishFormat.kif 59836-59836
(termFormat ChineseLanguage uncle "叔叔")	domainEnglishFormat.kif 59837-59837

antecedent

(<=>
    (uncle ?U ?H)
    (exists (?P)
        (and
            (brother ?U ?P)
            (parent ?H ?P))))

The uncle of X is Y if, only if there exists Z such that Y is the brother of Z, and Z is a parent of X