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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - husband
husband

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


(documentation husband ChineseLanguage "(husband ?MAN ?WOMAN)的意思是 ?MAN 是 ?WOMAN 的 丈夫。") chinese_format.kif 3714-3715
(documentation husband EnglishLanguage "(husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN.") Merge.kif 16575-16576
(domain husband 1 Man) Merge.kif 16572-16572 Le nombre 1 argument de husband est une instance de Man
(domain husband 2 Woman) Merge.kif 16573-16573 Le nombre 2 argument de husband est une instance de Woman
(instance husband AsymmetricRelation) Merge.kif 16568-16568 husband est une instance de relation asym�trique
(instance husband BinaryPredicate) Merge.kif 16569-16569 husband est une instance de pr�dicat binaire
(instance husband IrreflexiveRelation) Merge.kif 16570-16570 husband est une instance de relation irr�flexive
(instance husband PartialValuedRelation) Merge.kif 16571-16571 husband est une instance de relation partielle
(inverse husband wife) Merge.kif 16574-16574 husband est l' inverse de wife

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


(format ChineseLanguage husband "%1 是 %2 的 huband ") domainEnglishFormat.kif 3682-3682
(format ChineseTraditionalLanguage husband "%1 是 %2 的 huband ") domainEnglishFormat.kif 3681-3681
(format EnglishLanguage husband "%1 is the huband of %2") domainEnglishFormat.kif 3680-3680
(termFormat ChineseLanguage husband "丈夫") domainEnglishFormat.kif 28983-28983
(termFormat ChineseTraditionalLanguage husband "丈夫") domainEnglishFormat.kif 28982-28982
(termFormat EnglishLanguage husband "husband") domainEnglishFormat.kif 28981-28981

consequent
-------------------------


(=>
    (fathersSistersHusband ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (husband ?AUN ?H))))
ArabicCulture.kif 630-636
(=>
    (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