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 16468-16469
(domain husband 1 Man) Merge.kif 16465-16465 丈夫, 1 and
(domain husband 2 Woman) Merge.kif 16466-16466 丈夫, 2 and 女人
(instance husband AsymmetricRelation) Merge.kif 16461-16461 丈夫 and AsymmetricRelation
(instance husband BinaryPredicate) Merge.kif 16462-16462 丈夫 and BinaryPredicate
(instance husband IrreflexiveRelation) Merge.kif 16463-16463 丈夫 and IrreflexiveRelation
(instance husband PartialValuedRelation) Merge.kif 16464-16464 丈夫 and PartialValuedRelation
(inverse husband wife) Merge.kif 16467-16467 丈夫 and 妻子

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