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