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 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 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