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 的 丈夫。") Merge.kif 16824-16825
(documentation husband EnglishLanguage "(husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN.") Merge.kif 16822-16823
(domain husband 1 Man) Merge.kif 16819-16819 The number 1 argument of husband is an instance of man
(domain husband 2 Woman) Merge.kif 16820-16820 The number 2 argument of husband is an instance of woman
(instance husband AsymmetricRelation) Merge.kif 16816-16816 husband is an instance of asymmetric relation
(instance husband IrreflexiveRelation) Merge.kif 16817-16817 husband is an instance of irreflexive relation
(instance husband PartialValuedRelation) Merge.kif 16818-16818 husband is an instance of partial valued relation
(inverse husband wife) Merge.kif 16821-16821 husband is an inverse of wife

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


(format EnglishLanguage husband "%1 is the husand of %2") domainEnglishFormat.kif 930-930
(termFormat EnglishLanguage husband "husband") domainEnglishFormat.kif 5248-5248 "husband" is the printable form of husband in english language

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