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

Formal Language: 



KB Term:  Term intersection
English Word: 

  husband

 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 16459-16460
(domain husband 1 Man) Merge.kif 16456-16456 Le nombre 1 argument de husband est une instance de Man
(domain husband 2 Woman) Merge.kif 16457-16457 Le nombre 2 argument de husband est une instance de Woman
(instance husband AsymmetricRelation) Merge.kif 16452-16452 husband est une instance de relation asym�trique
(instance husband BinaryPredicate) Merge.kif 16453-16453 husband est une instance de pr�dicat binaire
(instance husband IrreflexiveRelation) Merge.kif 16454-16454 husband est une instance de relation irr�flexive
(instance husband PartialValuedRelation) Merge.kif 16455-16455 husband est une instance de relation partielle
(inverse husband wife) Merge.kif 16458-16458 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 28992-28992
(termFormat ChineseTraditionalLanguage husband "丈夫") domainEnglishFormat.kif 28991-28991
(termFormat EnglishLanguage husband "husband") domainEnglishFormat.kif 28990-28990

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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