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 20901-20902
(domain aunt 1 Woman)	Mid-level-ontology.kif 20903-20903
(domain aunt 2 Human)	Mid-level-ontology.kif 20904-20904
(instance aunt BinaryPredicate)	Mid-level-ontology.kif 20906-20906
(subrelation aunt familyRelation)	Mid-level-ontology.kif 20905-20905

appearance as argument number 2

(format EnglishLanguage aunt "%1 is the aunt of %2")	domainEnglishFormat.kif 721-721
(termFormat EnglishLanguage aunt "aunt")	domainEnglishFormat.kif 1945-1945

antecedent

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

Mid-level-ontology.kif 20908-20913