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 15451-15452
(domain husband 1 Man) Merge.kif 15448-15448
(domain husband 2 Woman) Merge.kif 15449-15449
(instance husband AsymmetricRelation) Merge.kif 15444-15444
(instance husband BinaryPredicate) Merge.kif 15445-15445
(instance husband IrreflexiveRelation) Merge.kif 15446-15446
(instance husband PartialValuedRelation) Merge.kif 15447-15447
(inverse husband wife) Merge.kif 15450-15450

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


(format ChineseLanguage husband "%1 是 %2 的 huband ") domainEnglishFormat.kif 3687-3687
(format ChineseTraditionalLanguage husband "%1 是 %2 的 huband ") domainEnglishFormat.kif 3686-3686
(format EnglishLanguage husband "%1 is the huband of %2") domainEnglishFormat.kif 3685-3685
(termFormat ChineseLanguage husband "丈夫") domainEnglishFormat.kif 28981-28981
(termFormat ChineseTraditionalLanguage husband "丈夫") domainEnglishFormat.kif 28980-28980
(termFormat EnglishLanguage husband "husband") domainEnglishFormat.kif 28979-28979

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


(=>
    (fathersSistersHusband ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (husband ?AUN ?H))))
ArabicCulture.kif 615-621
(=>
    (mothersSistersHusband ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (husband ?AUN ?H))))
ArabicCulture.kif 627-633


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