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 627-628
(instance mothersSistersHusband BinaryPredicate) ArabicCulture.kif 625-625 mothers sisters husband is an instance of binary predicate
(subrelation mothersSistersHusband familyRelation) ArabicCulture.kif 626-626 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 3911-3911
(format ChineseTraditionalLanguage mothersSistersHusband "%1 的 mother's sister's husband 是 %2 ") domainEnglishFormat.kif 3910-3910
(format EnglishLanguage mothersSistersHusband "the mother's sister's husband of %1 is %2") domainEnglishFormat.kif 3909-3909
(termFormat ChineseLanguage mothersSistersHusband "母亲姐妹的丈夫") domainEnglishFormat.kif 38694-38694
(termFormat ChineseTraditionalLanguage mothersSistersHusband "母親姐妹的丈夫") domainEnglishFormat.kif 38693-38693
(termFormat EnglishLanguage mothersSistersHusband "mothers sisters husband") domainEnglishFormat.kif 38692-38692

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


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


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