niece - Sigma 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 24748-24749
(domain niece 1 Woman)	Mid-level-ontology.kif 24750-24750	The number 1 argument of niece is an instance of woman
(domain niece 2 Human)	Mid-level-ontology.kif 24751-24751	The number 2 argument of niece is an instance of human
(instance niece BinaryPredicate)	Mid-level-ontology.kif 24753-24753	niece is an instance of binary predicate
(subrelation niece familyRelation)	Mid-level-ontology.kif 24752-24752	niece is a subrelation of family relation

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 24755-24760

A woman is the &iece$"niece" of a human if and only if there exists an organism such that the organism is a sibling of the human and the woman is the daughter of the organism