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 23091-23092
(domain aunt 1 Woman) Mid-level-ontology.kif 23093-23093 姑妈 的 1 数量 是 女人instance
(domain aunt 2 Human) Mid-level-ontology.kif 23094-23094 姑妈 的 2 数量 是 人类instance
(instance aunt BinaryPredicate) Mid-level-ontology.kif 23096-23096 姑妈二元谓语instance
(subrelation aunt familyRelation) Mid-level-ontology.kif 23095-23095 姑妈家属关系subrelation

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 23098-23103 女人 人类aunt 若且唯若 有存在 另一个 人类 这样 那个 女人那个 另外 人类sister那个 另外 人类那个 人类parent


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