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 16545-16546
(domain husband 1 Man) Merge.kif 16542-16542 Le nombre 1 argument de husband est une instance de Man
(domain husband 2 Woman) Merge.kif 16543-16543 Le nombre 2 argument de husband est une instance de Woman
(instance husband AsymmetricRelation) Merge.kif 16538-16538 husband est une instance de relation asym�trique
(instance husband BinaryPredicate) Merge.kif 16539-16539 husband est une instance de pr�dicat binaire
(instance husband IrreflexiveRelation) Merge.kif 16540-16540 husband est une instance de relation irr�flexive
(instance husband PartialValuedRelation) Merge.kif 16541-16541 husband est une instance de relation partielle
(inverse husband wife) Merge.kif 16544-16544 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 28989-28989
(termFormat ChineseTraditionalLanguage husband "丈夫") domainEnglishFormat.kif 28988-28988
(termFormat EnglishLanguage husband "husband") domainEnglishFormat.kif 28987-28987

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