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 625-626
(instance mothersSistersHusband BinaryPredicate) ArabicCulture.kif 623-623 mothers sisters husband is an instance of binary predicate
(subrelation mothersSistersHusband familyRelation) ArabicCulture.kif 624-624 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 3907-3907
(format ChineseTraditionalLanguage mothersSistersHusband "%1 的 mother's sister's husband 是 %2 ") domainEnglishFormat.kif 3906-3906
(format EnglishLanguage mothersSistersHusband "the mother's sister's husband of %1 is %2") domainEnglishFormat.kif 3905-3905
(termFormat ChineseLanguage mothersSistersHusband "母亲姐妹的丈夫") domainEnglishFormat.kif 38626-38626
(termFormat ChineseTraditionalLanguage mothersSistersHusband "母親姐妹的丈夫") domainEnglishFormat.kif 38625-38625
(termFormat EnglishLanguage mothersSistersHusband "mothers sisters husband") domainEnglishFormat.kif 38624-38624

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


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


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