Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  wife

 Sigma KEE - wife
wife

appearance as argument number 1
-------------------------


(documentation wife ChineseLanguage "(wife ?WOMAN ?MAN)的意思是 ?WOMAN 是 ?MAN 的妻子。") chinese_format.kif 3716-3716
(documentation wife EnglishLanguage "(wife ?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN.") Merge.kif 16554-16555
(domain wife 1 Woman) Merge.kif 16552-16552 Le nombre 1 argument de wife est une instance de Woman
(domain wife 2 Man) Merge.kif 16553-16553 Le nombre 2 argument de wife est une instance de Man
(instance wife AsymmetricRelation) Merge.kif 16549-16549 wife est une instance de relation asym�trique
(instance wife BinaryPredicate) Merge.kif 16551-16551 wife est une instance de pr�dicat binaire
(instance wife IrreflexiveRelation) Merge.kif 16550-16550 wife est une instance de relation irr�flexive

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


(format ChineseLanguage wife "%1 是 %2 的 wife ") domainEnglishFormat.kif 4990-4990
(format ChineseTraditionalLanguage wife "%1 是 %2 的 wife ") domainEnglishFormat.kif 4989-4989
(format EnglishLanguage wife "%1 is the wife of %2") domainEnglishFormat.kif 4988-4988
(inverse husband wife) Merge.kif 16544-16544 husband est l' inverse de wife
(termFormat ChineseLanguage wife "妻子") domainEnglishFormat.kif 63093-63093
(termFormat ChineseTraditionalLanguage wife "妻子") domainEnglishFormat.kif 63092-63092
(termFormat EnglishLanguage wife "wife") domainEnglishFormat.kif 63091-63091

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


(=>
    (attribute ?W Housewife)
    (exists (?H)
        (wife ?W ?H)))		 Mid-level-ontology.kif 20536-20539
(=>
    (fathersBrothersWife ?P ?W)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (wife ?UNC ?W))))		 ArabicCulture.kif 606-612
(=>
    (instance ?MS MuakharSadaq)
    (exists (?H ?W ?T1 ?T2)
        (and
            (agent ?MS ?H)
            (origin ?MS ?H)
            (destination ?MS ?W)
            (holdsDuring ?T1
                (wife ?W ?H))
            (not
                (holdsDuring ?T2
                    (wife ?W ?H)))
            (finishes ?T1 ?MS)
            (before ?T1 ?T2)
            (starts ?T2 ?MS))))		 ArabicCulture.kif 285-299
(=>
    (instance ?MS MuqaddamSadaq)
    (exists (?H ?W ?T1 ?T2)
        (and
            (agent ?MS ?H)
            (origin ?MS ?H)
            (destination ?MS ?W)
            (not
                (holdsDuring ?T1
                    (wife ?W ?H)))
            (holdsDuring ?T2
                (wife ?W ?H))
            (finishes ?T1 ?MS)
            (before ?T1 ?T2)
            (starts ?T2 ?MS))))		 ArabicCulture.kif 305-319
(=>
    (mothersBrothersWife ?P ?W)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (wife ?UNC ?W))))		 ArabicCulture.kif 618-624


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