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 15386-15387
(domain husband 1 Man) Merge.kif 15383-15383 The number 1 argument of husband is an instance of man
(domain husband 2 Woman) Merge.kif 15384-15384 The number 2 argument of husband is an instance of woman
(instance husband AsymmetricRelation) Merge.kif 15380-15380 husband is an instance of asymmetric relation
(instance husband IrreflexiveRelation) Merge.kif 15381-15381 husband is an instance of irreflexive relation
(instance husband PartialValuedRelation) Merge.kif 15382-15382 husband is an instance of partial valued relation
(inverse husband wife) Merge.kif 15385-15385 husband is an inverse of wife

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


(format ChineseLanguage husband "%1 是 %2 的 huband ") domainEnglishFormat.kif 3683-3683
(format ChineseTraditionalLanguage husband "%1 是 %2 的 huband ") domainEnglishFormat.kif 3682-3682
(format EnglishLanguage husband "%1 is the huband of %2") domainEnglishFormat.kif 3681-3681
(termFormat ChineseLanguage husband "丈夫") domainEnglishFormat.kif 28885-28885
(termFormat ChineseTraditionalLanguage husband "丈夫") domainEnglishFormat.kif 28884-28884
(termFormat EnglishLanguage husband "husband") domainEnglishFormat.kif 28883-28883

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners