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 16750-16751
(domain husband 1 Man) Merge.kif 16747-16747
(domain husband 2 Woman) Merge.kif 16748-16748
(instance husband AsymmetricRelation) Merge.kif 16743-16743
(instance husband BinaryPredicate) Merge.kif 16744-16744
(instance husband IrreflexiveRelation) Merge.kif 16745-16745
(instance husband PartialValuedRelation) Merge.kif 16746-16746
(inverse husband wife) Merge.kif 16749-16749

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


(format ChineseLanguage husband "%1 是 %2 的 husband ") domainEnglishFormat.kif 3680-3680
(format ChineseTraditionalLanguage husband "%1 是 %2 的 husband ") domainEnglishFormat.kif 3679-3679
(format EnglishLanguage husband "%1 is the husband of %2") domainEnglishFormat.kif 3678-3678
(termFormat ChineseLanguage husband "丈夫") domainEnglishFormat.kif 28994-28994
(termFormat ChineseTraditionalLanguage husband "丈夫") domainEnglishFormat.kif 28993-28993
(termFormat EnglishLanguage husband "husband") domainEnglishFormat.kif 28992-28992

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


(=>
    (fathersSistersHusband ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (husband ?AUN ?H))))
ArabicCulture.kif 644-650
(=>
    (mothersSistersHusband ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (husband ?AUN ?H))))
ArabicCulture.kif 658-664


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