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 16597-16598
(domain husband 1 Man) Merge.kif 16594-16594 husband の数値 1 引数は Man の instance では %n
(domain husband 2 Woman) Merge.kif 16595-16595 husband の数値 2 引数は Woman の instance では %n
(instance husband AsymmetricRelation) Merge.kif 16590-16590 husband は 非対称関係 の instance では %n
(instance husband BinaryPredicate) Merge.kif 16591-16591 husband は 2進述語 の instance では %n
(instance husband IrreflexiveRelation) Merge.kif 16592-16592 husband は 非反射関係 の instance では %n
(instance husband PartialValuedRelation) Merge.kif 16593-16593 husband は 部分的価値関係 の instance では %n
(inverse husband wife) Merge.kif 16596-16596 husband は wife の inverse では %n

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


(format ChineseLanguage husband "%1 是 %2 的 huband ") domainEnglishFormat.kif 3682-3682
(format ChineseTraditionalLanguage husband "%1 是 %2 的 huband ") domainEnglishFormat.kif 3681-3681
(format EnglishLanguage husband "%1 is the huband of %2") domainEnglishFormat.kif 3680-3680
(termFormat ChineseLanguage husband "丈夫") domainEnglishFormat.kif 28983-28983
(termFormat ChineseTraditionalLanguage husband "丈夫") domainEnglishFormat.kif 28982-28982
(termFormat EnglishLanguage husband "husband") domainEnglishFormat.kif 28981-28981

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