TreeView Knowledge Base Browser

appearance as argument number 1

(documentation niece EnglishLanguage "(niece ?NIECE ?PERSON) means that ?NIECE is the daughter of a sibling of ?PERSON.")	Mid-level-ontology.kif 25434-25435
(domain niece 1 Woman)	Mid-level-ontology.kif 25436-25436	The number 1 argument of niece is an instance of woman
(domain niece 2 Human)	Mid-level-ontology.kif 25437-25437	The number 2 argument of niece is an instance of human
(subrelation niece familyRelation)	Mid-level-ontology.kif 25438-25438	niece is a subrelation of family relation
(instance niece BinaryPredicate)	Mid-level-ontology.kif 25439-25439	niece is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage niece "%1 is the niece of %2")	domainEnglishFormat.kif 3974-3974
(format ChineseTraditionalLanguage niece "%1 是 %2 的 niece ")	domainEnglishFormat.kif 3975-3975
(format ChineseLanguage niece "%1 是 %2 的 niece ")	domainEnglishFormat.kif 3976-3976
(termFormat EnglishLanguage niece "niece")	domainEnglishFormat.kif 40507-40507
(termFormat ChineseTraditionalLanguage niece "侄女")	domainEnglishFormat.kif 40508-40508
(termFormat ChineseLanguage niece "侄女")	domainEnglishFormat.kif 40509-40509

antecedent

(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))

X is the niece of Y if, only if there exists Z such that Z is a sibling of Y, and X is the daughter of Z