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
-------------------------


s__documentation(s__aunt__m,s__EnglishLanguage,'"(aunt ?AUNT ?PERSON) means that ?AUNT is the sister of a parent of ?PERSON."')

Mid-level-ontology.kif 22316-22317
s__domain(s__aunt__m,n__1,s__Woman)

Mid-level-ontology.kif 22318-22318 The number 1 argument of aunt is an instance of woman
s__domain(s__aunt__m,n__2,s__Human)

Mid-level-ontology.kif 22319-22319 The number 2 argument of aunt is an instance of human
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__aunt__m,s__BinaryPredicate)

Mid-level-ontology.kif 22321-22321 aunt is an instance of binary predicate
s__subrelation(s__aunt__m,s__familyRelation__m)

Mid-level-ontology.kif 22320-22320 aunt is a subrelation of family relation

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


s__format(s__ChineseLanguage,s__aunt__m,'"%1 是 %2 的 aunt "')

domainEnglishFormat.kif 2851-2851
s__format(s__ChineseTraditionalLanguage,s__aunt__m,'"%1 是 %2 的 aunt "')

domainEnglishFormat.kif 2850-2850
s__format(s__EnglishLanguage,s__aunt__m,'"%1 is the aunt of %2"')

domainEnglishFormat.kif 2849-2849
s__termFormat(s__ChineseLanguage,s__aunt__m,'"姑妈"')

domainEnglishFormat.kif 9069-9069
s__termFormat(s__ChineseTraditionalLanguage,s__aunt__m,'"姑媽"')

domainEnglishFormat.kif 9068-9068
s__termFormat(s__EnglishLanguage,s__aunt__m,'"aunt"')

domainEnglishFormat.kif 9067-9067

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


( ! [V__A,V__H] :
   (((s__instance(V__A,s__Woman) &
         s__instance(V__H,s__Human))
       =>
       (((s__aunt(V__A,V__H)
           =>
           ( ? [V__P] :
             ((s__instance(V__P,s__Human) &
                 (s__sister(V__A,V__P)
                 &
                 s__parent(V__H,V__P))))))
     &
     (( ? [V__P] :
         ((s__instance(V__P,s__Human) &
             (s__sister(V__A,V__P)
             &
             s__parent(V__H,V__P)))))
   =>
   s__aunt(V__A,V__H)))))
)
)

Mid-level-ontology.kif 22323-22328 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 3.0 is open source software produced by Articulate Software and its partners