TreeView Knowledge Base Browser

appearance as argument number 1

(documentation aunt EnglishLanguage "(aunt ?AUNT ?PERSON) means that ?AUNT is the sister of a parent of ?PERSON.")	Mid-level-ontology.kif 25357-25358
(domain aunt 1 Woman)	Mid-level-ontology.kif 25359-25359	The number 1 argument of aunt is an instance of woman
(domain aunt 2 Human)	Mid-level-ontology.kif 25360-25360	The number 2 argument of aunt is an instance of human
(subrelation aunt familyRelation)	Mid-level-ontology.kif 25361-25361	aunt is a subrelation of family relation
(instance aunt BinaryPredicate)	Mid-level-ontology.kif 25362-25362	aunt is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage aunt "%1 is the aunt of %2")	domainEnglishFormat.kif 2844-2844
(format ChineseTraditionalLanguage aunt "%1 是 %2 的 aunt ")	domainEnglishFormat.kif 2845-2845
(format ChineseLanguage aunt "%1 是 %2 的 aunt ")	domainEnglishFormat.kif 2846-2846
(termFormat EnglishLanguage aunt "aunt")	domainEnglishFormat.kif 9058-9058
(termFormat ChineseTraditionalLanguage aunt "姑媽")	domainEnglishFormat.kif 9059-9059
(termFormat ChineseLanguage aunt "姑妈")	domainEnglishFormat.kif 9060-9060

antecedent

(<=>
    (aunt ?A ?H)
    (exists (?P)
        (and
            (sister ?A ?P)
            (parent ?H ?P))))

X is the aunt of Y if, only if there exists Z such that X is the sister of Z, and Z is a parent of Y