Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - mothersSistersHusband
mothersSistersHusband

appearance as argument number 1
-------------------------


(documentation mothersSistersHusband EnglishLanguage "In Arabic: zawoj AlxaAlap. Husband of mother's sister.") ArabicCulture.kif 640-641
(instance mothersSistersHusband BinaryPredicate) ArabicCulture.kif 638-638 mothers sisters husband is an instance of binary predicate
(subrelation mothersSistersHusband familyRelation) ArabicCulture.kif 639-639 mothers sisters husband is a subrelation of family relation

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


(format ChineseLanguage mothersSistersHusband "%1 的 mother's sister's husband 是 %2 ") domainEnglishFormat.kif 3906-3906
(format ChineseTraditionalLanguage mothersSistersHusband "%1 的 mother's sister's husband 是 %2 ") domainEnglishFormat.kif 3905-3905
(format EnglishLanguage mothersSistersHusband "the mother's sister's husband of %1 is %2") domainEnglishFormat.kif 3904-3904
(termFormat ChineseLanguage mothersSistersHusband "母亲姐妹的丈夫") domainEnglishFormat.kif 38709-38709
(termFormat ChineseTraditionalLanguage mothersSistersHusband "母親姐妹的丈夫") domainEnglishFormat.kif 38708-38708
(termFormat EnglishLanguage mothersSistersHusband "mothers sisters husband") domainEnglishFormat.kif 38707-38707

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


(=>
    (mothersSistersHusband ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (husband ?AUN ?H))))
ArabicCulture.kif 642-648


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