Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  GameArtifact

 Sigma KEE - husband
husband

appearance as argument number 1
-------------------------


(instance husband BinaryPredicate) Merge.kif 16927-16927 husband is an instance of binary predicate
(instance husband IrreflexiveRelation) Merge.kif 16928-16928 husband is an instance of irreflexive relation
(instance husband PartialValuedRelation) Merge.kif 16929-16929 husband is an instance of partial valued relation
(domain husband 1 Man) Merge.kif 16930-16930 The number 1 argument of husband is an instance of man
(domain husband 2 Woman) Merge.kif 16931-16931 The number 2 argument of husband is an instance of woman
(inverse husband wife) Merge.kif 16932-16932 husband is an inverse of wife
(documentation husband EnglishLanguage "(husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN.") Merge.kif 16933-16934 husband is an inverse of wife

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


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

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


(=>
    (fathersSistersHusband ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (husband ?AUN ?H))))		 ArabicCulture.kif 643-649 If X is the father's sister's husband of Y, then there exist Z, W such that Z is a father of X, Z is the sister of W, and W is the husband of Y
(=>
    (mothersSistersHusband ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (husband ?AUN ?H))))		 ArabicCulture.kif 657-663 If the mother's sister's husband of X is Y, then there exist Z, W such that Z is a mother of X, Z is the sister of W, and W is the husband of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners