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 20901-20902
(domain aunt 1 Woman) Mid-level-ontology.kif 20903-20903 The number 1 argument of aunt is an instance of woman
(domain aunt 2 Human) Mid-level-ontology.kif 20904-20904 The number 2 argument of aunt is an instance of human
(instance aunt BinaryPredicate) Mid-level-ontology.kif 20906-20906 aunt is an instance of binary predicate
(subrelation aunt familyRelation) Mid-level-ontology.kif 20905-20905 aunt is a subrelation of family relation

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 "aunt" is the printable form of aunt in english language

antecedent
-------------------------


(<=>
    (aunt ?A ?H)
    (exists (?P)
        (and
            (sister ?A ?P)
            (parent ?H ?P))))
Mid-level-ontology.kif 20908-20913 A woman is the aunt of a human if and only if there exists another human such that the woman is the sister of the other human and the other human is a parent of the human


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