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 23354-23355
(domain aunt 1 Woman) Mid-level-ontology.kif 23356-23356 Le nombre 1 argument de aunt est une instance de Woman
(domain aunt 2 Human) Mid-level-ontology.kif 23357-23357 Le nombre 2 argument de aunt est une instance de humain
(instance aunt BinaryPredicate) Mid-level-ontology.kif 23359-23359 aunt est une instance de pr�dicat binaire
(subrelation aunt familyRelation) Mid-level-ontology.kif 23358-23358 aunt est une sous-relation de familyRelation

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


(format ChineseLanguage aunt "%1 是 %2 的 aunt ") domainEnglishFormat.kif 2842-2842
(format ChineseTraditionalLanguage aunt "%1 是 %2 的 aunt ") domainEnglishFormat.kif 2841-2841
(format EnglishLanguage aunt "%1 is the aunt of %2") domainEnglishFormat.kif 2840-2840
(termFormat ChineseLanguage aunt "姑妈") domainEnglishFormat.kif 9063-9063
(termFormat ChineseTraditionalLanguage aunt "姑媽") domainEnglishFormat.kif 9062-9062
(termFormat EnglishLanguage aunt "aunt") domainEnglishFormat.kif 9061-9061

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


(<=>
    (aunt ?A ?H)
    (exists (?P)
        (and
            (sister ?A ?P)
            (parent ?H ?P))))		 Mid-level-ontology.kif 23361-23366 aunt Woman and humain humain sister Woman and humain humain est un parent de humain


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