Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - aunt
aunt

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners