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 20945-20946
(domain aunt 1 Woman) Mid-level-ontology.kif 20947-20947 domain aunt, 1 and Woman
(domain aunt 2 Human) Mid-level-ontology.kif 20948-20948 domain aunt, 2 and Human
(instance aunt BinaryPredicate) Mid-level-ontology.kif 20950-20950 instance aunt and BinaryPredicate
(subrelation aunt familyRelation) Mid-level-ontology.kif 20949-20949 subrelation aunt and familyRelation

appearance as argument number 2
-------------------------


(format ChineseLanguage aunt "%1 是 %2 的 aunt ") domainEnglishFormat.kif 2847-2847
(format ChineseTraditionalLanguage aunt "%1 是 %2 的 aunt ") domainEnglishFormat.kif 2846-2846
(format EnglishLanguage aunt "%1 is the aunt of %2") domainEnglishFormat.kif 2845-2845
(termFormat ChineseLanguage aunt "姑妈") domainEnglishFormat.kif 9073-9073
(termFormat ChineseTraditionalLanguage aunt "姑媽") domainEnglishFormat.kif 9072-9072
(termFormat EnglishLanguage aunt "aunt") domainEnglishFormat.kif 9071-9071

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


(<=>
    (aunt ?A ?H)
    (exists (?P)
        (and
            (sister ?A ?P)
            (parent ?H ?P))))
Mid-level-ontology.kif 20952-20957 aunt Woman and Human Human sister Woman and Human parent Human and 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