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 24682-24683
(domain aunt 1 Woman) Mid-level-ontology.kif 24684-24684 aunt の数値 1 引数は Womaninstance では
(domain aunt 2 Human) Mid-level-ontology.kif 24685-24685 aunt の数値 2 引数は 人[人間]instance では
(instance aunt BinaryPredicate) Mid-level-ontology.kif 24687-24687 aunt2進述語instance では
(subrelation aunt familyRelation) Mid-level-ontology.kif 24686-24686 auntfamilyRelationsubrelation では

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


(format ChineseLanguage aunt "%1 是 %2 的 aunt ") domainEnglishFormat.kif 2846-2846
(format ChineseTraditionalLanguage aunt "%1 是 %2 的 aunt ") domainEnglishFormat.kif 2845-2845
(format EnglishLanguage aunt "%1 is the aunt of %2") domainEnglishFormat.kif 2844-2844
(termFormat ChineseLanguage aunt "姑妈") domainEnglishFormat.kif 9061-9061
(termFormat ChineseTraditionalLanguage aunt "姑媽") domainEnglishFormat.kif 9060-9060
(termFormat EnglishLanguage aunt "aunt") domainEnglishFormat.kif 9059-9059

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


(<=>
    (aunt ?A ?H)
    (exists (?P)
        (and
            (sister ?A ?P)
            (parent ?H ?P))))
Mid-level-ontology.kif 24689-24694 aunt Woman and 人[人間] 人[人間] sister Woman and 人[人間] 人[人間] 人[人間]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