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 的 丈夫。") chinese_format.kif 3714-3715
(documentation husband EnglishLanguage "(husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN.") Merge.kif 15436-15437
(domain husband 1 Man) Merge.kif 15433-15433 The number 1 argument of husband is an instance of man
(domain husband 2 Woman) Merge.kif 15434-15434 The number 2 argument of husband is an instance of woman
(instance husband AsymmetricRelation) Merge.kif 15429-15429 husband is an instance of asymmetric relation
(instance husband BinaryPredicate) Merge.kif 15430-15430 husband is an instance of binary predicate
(instance husband IrreflexiveRelation) Merge.kif 15431-15431 husband is an instance of irreflexive relation
(instance husband PartialValuedRelation) Merge.kif 15432-15432 husband is an instance of partial valued relation
(inverse husband wife) Merge.kif 15435-15435 husband is an inverse of wife

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


(format ChineseLanguage husband "%1 是 %2 的 huband ") domainEnglishFormat.kif 3687-3687
(format ChineseTraditionalLanguage husband "%1 是 %2 的 huband ") domainEnglishFormat.kif 3686-3686
(format EnglishLanguage husband "%1 is the huband of %2") domainEnglishFormat.kif 3685-3685
(termFormat ChineseLanguage husband "丈夫") domainEnglishFormat.kif 28915-28915
(termFormat ChineseTraditionalLanguage husband "丈夫") domainEnglishFormat.kif 28914-28914
(termFormat EnglishLanguage husband "husband") domainEnglishFormat.kif 28913-28913

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 3.0 is open source software produced by Articulate Software and its partners