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 的 丈夫。") Merge.kif 16772-16773
(documentation husband EnglishLanguage "(husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN.") Merge.kif 16770-16771
(domain husband 1 Man) Merge.kif 16767-16767
(domain husband 2 Woman) Merge.kif 16768-16768
(instance husband AsymmetricRelation) Merge.kif 16764-16764
(instance husband IrreflexiveRelation) Merge.kif 16765-16765
(instance husband PartialValuedRelation) Merge.kif 16766-16766
(inverse husband wife) Merge.kif 16769-16769

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

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