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 16652-16653
(domain husband 1 Man) Merge.kif 16649-16649
(domain husband 2 Woman) Merge.kif 16650-16650
(instance husband AsymmetricRelation) Merge.kif 16645-16645
(instance husband BinaryPredicate) Merge.kif 16646-16646
(instance husband IrreflexiveRelation) Merge.kif 16647-16647
(instance husband PartialValuedRelation) Merge.kif 16648-16648
(inverse husband wife) Merge.kif 16651-16651

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


(format ChineseLanguage husband "%1 是 %2 的 huband ") domainEnglishFormat.kif 3676-3676
(format ChineseTraditionalLanguage husband "%1 是 %2 的 huband ") domainEnglishFormat.kif 3675-3675
(format EnglishLanguage husband "%1 is the huband of %2") domainEnglishFormat.kif 3674-3674
(termFormat ChineseLanguage husband "丈夫") domainEnglishFormat.kif 29012-29012
(termFormat ChineseTraditionalLanguage husband "丈夫") domainEnglishFormat.kif 29011-29011
(termFormat EnglishLanguage husband "husband") domainEnglishFormat.kif 29010-29010

consequent
-------------------------


(=>
    (fathersSistersHusband ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (husband ?AUN ?H))))
ArabicCulture.kif 630-636
(=>
    (mothersSistersHusband ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (husband ?AUN ?H))))
ArabicCulture.kif 642-648


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