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 23039-23040
(domain aunt 1 Woman) Mid-level-ontology.kif 23041-23041 Die Zahl 1 Argument von aunt ist ein fall von Woman %n{nicht}
(domain aunt 2 Human) Mid-level-ontology.kif 23042-23042 Die Zahl 2 Argument von aunt ist ein fall von Human %n{nicht}
(instance aunt BinaryPredicate) Mid-level-ontology.kif 23044-23044 aunt ist ein fall von BinaryPredicate %n{nicht}
(subrelation aunt familyRelation) Mid-level-ontology.kif 23043-23043 aunt ist eine teilrelation von familyRelation

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


(format ChineseLanguage aunt "%1 是 %2 的 aunt ") domainEnglishFormat.kif 2850-2850
(format ChineseTraditionalLanguage aunt "%1 是 %2 的 aunt ") domainEnglishFormat.kif 2849-2849
(format EnglishLanguage aunt "%1 is the aunt of %2") domainEnglishFormat.kif 2848-2848
(termFormat ChineseLanguage aunt "姑妈") domainEnglishFormat.kif 9060-9060
(termFormat ChineseTraditionalLanguage aunt "姑媽") domainEnglishFormat.kif 9059-9059
(termFormat EnglishLanguage aunt "aunt") domainEnglishFormat.kif 9058-9058

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


(<=>
    (aunt ?A ?H)
    (exists (?P)
        (and
            (sister ?A ?P)
            (parent ?H ?P))))		 Mid-level-ontology.kif 23046-23051 aunt Woman and Human genau dann wenn es gibt ** Human um sister ** Woman and ** ** Human und ** ** Human ist das elterntiel von ** Human %n{nicht}


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