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 的 丈夫。") chinese_format.kif 3714-3715
(documentation husband EnglishLanguage "(husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN.") Merge.kif 15376-15377
(domain husband 1 Man) Merge.kif 15373-15373 The number 1 argument of husband is an instance of man
(domain husband 2 Woman) Merge.kif 15374-15374 The number 2 argument of husband is an instance of woman
(instance husband AsymmetricRelation) Merge.kif 15370-15370 husband is an instance of asymmetric relation
(instance husband IrreflexiveRelation) Merge.kif 15371-15371 husband is an instance of irreflexive relation
(instance husband PartialValuedRelation) Merge.kif 15372-15372 husband is an instance of partial valued relation
(inverse husband wife) Merge.kif 15375-15375 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 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