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

Formal Language: 



KB Term:  Term intersection
English Word: 

  aunt

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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