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

Formal Language: 



KB Term:  Term intersection
English Word: 

  mother

 Sigma KEE - mother
mother

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


(documentation mother ChineseLanguage "这是母亲的概括关系。(mother ?CHILD ?MOTHER)的意思是 ?MOTHER 是 ?CHILD 的亲生母亲。") chinese_format.kif 3691-3692
(documentation mother EnglishLanguage "The general relationship of motherhood. (mother ?CHILD ?MOTHER) means that ?MOTHER is the biological mother of ?CHILD.") Merge.kif 16482-16484
(domain mother 1 Organism) Merge.kif 16480-16480 Die Zahl 1 Argument von mother ist ein fall von Organism %n{nicht}
(domain mother 2 Organism) Merge.kif 16481-16481 Die Zahl 2 Argument von mother ist ein fall von Organism %n{nicht}
(instance mother BinaryPredicate) Merge.kif 16474-16474 mother ist ein fall von BinaryPredicate %n{nicht}
(instance mother PartialValuedRelation) Merge.kif 16473-16473 mother ist ein fall von PartialValuedRelation %n{nicht}
(instance mother SingleValuedRelation) Merge.kif 16472-16472 mother ist ein fall von SingleValuedRelation %n{nicht}

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


(format ChineseLanguage mother "%2 %n 是 %1 的 mother") chinese_format.kif 525-525
(format EnglishLanguage mother "%2 is %n a mother of %1") english_format.kif 530-530
(format FrenchLanguage mother "%2 est %n la m�re de %1") french_format.kif 310-310
(format ItalianLanguage mother "%2 è %n una madre di %1") relations-it.txt 195-195
(format JapaneseLanguage mother "%2 は %1 の mother では %n") japanese_format.kif 2078-2078
(format PortugueseLanguage mother "%2 e' %n a mae de %1") portuguese_format.kif 262-262
(format cz mother "%2 %p{je} %n{nen�} a mother of %1") relations-cz.txt 316-316
(format de mother "%2 ist die mutter von %1 %n{nicht}") relations-de.txt 683-683
(format hi mother "%2 %1 kii jananii %n hai") relations-hindi.txt 233-233
(format ro mother "%2 %n{nu} este mother%t{mama} lui %1") relations-ro.kif 331-331
(format sv mother "%2 är %n{inte} en mamma till %1") relations-sv.txt 339-339
(format tg mother "%2 %n ay ang nanay ng %1") relations-tg.txt 375-375
(termFormat ChineseLanguage mother "母亲") chinese_format.kif 526-526
(termFormat ChineseTraditionalLanguage mother "母親") domainEnglishFormat.kif 38680-38680
(termFormat EnglishLanguage mother "mother") domainEnglishFormat.kif 38679-38679
(termFormat tg mother "nanay") relations-tg.txt 376-376

antecedent
-------------------------


(=>
    (mother ?A ?B)
    (parent ?A ?B))		 Merge.kif 16476-16478
(=>
    (mother ?CHILD ?MOTHER)
    (attribute ?MOTHER Female))		 Merge.kif 16485-16487

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


(<=>
    (cousin ?P1 ?P2)
    (and
        (exists (?G1 ?G2)
            (and
                (grandmother ?P1 ?G1)
                (grandfather ?P1 ?G2)
                (grandmother ?P2 ?G1)
                (grandfather ?P2 ?G2)))
        (not
            (exists (?M ?F)
                (and
                    (mother ?P1 ?M)
                    (father ?P1 ?F)
                    (mother ?P2 ?M)
                    (father ?P2 ?F))))))		 Mid-level-ontology.kif 23113-23128 cousin Human and ** Human genau dann wenn es gibt Woman und Man um grandmother ** Human and ** Woman und grandfather ** Human and ** Man und grandmother ** ** Human and ** Woman und grandfather ** ** Human and ** Man und es gibt nicht Organism und ** Organism um ** Organism ist die mutter von ** Human %n{nicht} und ** ** Organism ist der vater von ** Human %n{nicht} und ** Organism ist die mutter von ** ** Human %n{nicht} und ** ** Organism ist der vater von ** ** Human %n{nicht}
(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))		 Mid-level-ontology.kif 23204-23211 stepfather Human and Man genau dann wenn es gibt ** Human um ** ** Human ist die mutter von ** Human %n{nicht} und spouse ** Man and ** ** Human und ** Man ist der vater von ** Human nicht
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))		 Mid-level-ontology.kif 23221-23228 stepmother Human and Woman genau dann wenn es gibt ** Human um ** ** Human ist der vater von ** Human %n{nicht} und spouse ** Woman and ** ** Human und ** Woman ist die mutter von ** Human nicht
(=>
    (and
        (instance ?REP SexualReproduction)
        (result ?REP ?ORGANISM))
    (exists (?MOTHER ?FATHER)
        (and
            (mother ?ORGANISM ?MOTHER)
            (father ?ORGANISM ?FATHER))))		 Merge.kif 10372-10379
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Female))
    (mother ?CHILD ?PARENT))		 Merge.kif 16564-16568
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))		 Merge.kif 16457-16465
(=>
    (grandmother ?H ?P)
    (exists (?C)
        (and
            (mother ?C ?P)
            (parent ?H ?C))))		 Mid-level-ontology.kif 23147-23152
(=>
    (holdsDuring ?T
        (attribute ?P BereavedMother))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (mother ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))		 ArabicCulture.kif 774-780
(=>
    (instance ?MULE Mule)
    (exists (?DONKEY ?HORSE)
        (and
            (father ?MULE ?DONKEY)
            (instance ?DONKEY Donkey)
            (mother ?MULE ?HORSE)
            (instance ?HORSE Horse))))		 Mid-level-ontology.kif 20191-20198
(=>
    (maternalAunt ?P ?AUN)
    (exists (?M)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN))))		 ArabicCulture.kif 595-600
(=>
    (maternalUncle ?P ?UNC)
    (exists (?M)
        (and
            (mother ?P ?M)
            (brother ?UNC ?M))))		 ArabicCulture.kif 573-578
(=>
    (mothersBrothersDaughter ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (daughter ?UNC ?H))))		 ArabicCulture.kif 690-696
(=>
    (mothersBrothersSon ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (son ?UNC ?H))))		 ArabicCulture.kif 678-684
(=>
    (mothersBrothersWife ?P ?W)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (wife ?UNC ?W))))		 ArabicCulture.kif 618-624
(=>
    (mothersSistersDaughter ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (daughter ?AUN ?H))))		 ArabicCulture.kif 738-744
(=>
    (mothersSistersHusband ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (husband ?AUN ?H))))		 ArabicCulture.kif 642-648
(=>
    (mothersSistersSon ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (son ?AUN ?H))))		 ArabicCulture.kif 726-732


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