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 20932-20933
(domain aunt 1 Woman)	Mid-level-ontology.kif 20934-20934
(domain aunt 2 Human)	Mid-level-ontology.kif 20935-20935
(instance aunt BinaryPredicate)	Mid-level-ontology.kif 20937-20937
(subrelation aunt familyRelation)	Mid-level-ontology.kif 20936-20936

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 20939-20944