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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 22462-22463
(domain aunt 1 Woman) Mid-level-ontology.kif 22464-22464
(domain aunt 2 Human) Mid-level-ontology.kif 22465-22465
(instance aunt BinaryPredicate) Mid-level-ontology.kif 22467-22467
(subrelation aunt familyRelation) Mid-level-ontology.kif 22466-22466

appearance as argument number 2

(format ChineseLanguage aunt "%1 是 %2 的 aunt ") domainEnglishFormat.kif 2851-2851
(format ChineseTraditionalLanguage aunt "%1 是 %2 的 aunt ") domainEnglishFormat.kif 2850-2850
(format EnglishLanguage aunt "%1 is the aunt of %2") domainEnglishFormat.kif 2849-2849
(termFormat ChineseLanguage aunt "姑妈") domainEnglishFormat.kif 9069-9069
(termFormat ChineseTraditionalLanguage aunt "姑媽") domainEnglishFormat.kif 9068-9068
(termFormat EnglishLanguage aunt "aunt") domainEnglishFormat.kif 9067-9067


    (aunt ?A ?H)
    (exists (?P)
            (sister ?A ?P)
            (parent ?H ?P))))
Mid-level-ontology.kif 22469-22474

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 3.0 is open source software produced by Articulate Software and its partners