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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - mother
mother

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


(documentation mother ChineseLanguage "这是母亲的概括关系。(mother ?CHILD ?MOTHER)的意思是 ?MOTHER 是 ?CHILD 的亲生母亲。") Merge.kif 16588-16589
(documentation mother EnglishLanguage "The general relationship of motherhood. (mother ?CHILD ?MOTHER) means that ?MOTHER is the biological mother of ?CHILD.") Merge.kif 16585-16587
(domain mother 1 Organism) Merge.kif 16583-16583
(domain mother 2 Organism) Merge.kif 16584-16584
(instance mother PartialValuedRelation) Merge.kif 16577-16577
(instance mother SingleValuedRelation) Merge.kif 16576-16576

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 321-321
(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 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 tg mother "%2 %n ay ang nanay ng %1") relations-tg.txt 375-375
(termFormat ChineseLanguage mother "母亲") chinese_format.kif 526-526
(termFormat EnglishLanguage mother "mother") domainEnglishFormat.kif 6866-6866
(termFormat tg mother "nanay") relations-tg.txt 376-376

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


(=>
    (mother ?A ?B)
    (parent ?A ?B))
Merge.kif 16579-16581
(=>
    (mother ?CHILD ?MOTHER)
    (attribute ?MOTHER Female))
Merge.kif 16590-16592

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 20923-20938
(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))
Mid-level-ontology.kif 21017-21024
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))
Mid-level-ontology.kif 21034-21041
(=>
    (and
        (instance ?REP SexualReproduction)
        (result ?REP ?ORGANISM))
    (exists (?MOTHER ?FATHER)
        (and
            (mother ?ORGANISM ?MOTHER)
            (father ?ORGANISM ?FATHER))))
Merge.kif 10337-10344
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Female))
    (mother ?CHILD ?PARENT))
Merge.kif 16676-16680
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))
Merge.kif 16561-16569
(=>
    (grandmother ?H ?P)
    (exists (?C)
        (and
            (mother ?C ?P)
            (parent ?H ?C))))
Mid-level-ontology.kif 20959-20964
(=>
    (holdsDuring ?T
        (attribute ?P BereavedMother))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (mother ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))
ArabicCulture.kif 759-765
(=>
    (instance ?MULE Mule)
    (exists (?DONKEY ?HORSE)
        (and
            (father ?MULE ?DONKEY)
            (instance ?DONKEY Donkey)
            (mother ?MULE ?HORSE)
            (instance ?HORSE Horse))))
Mid-level-ontology.kif 17849-17856
(=>
    (maternalAunt ?P ?AUN)
    (exists (?M)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN))))
ArabicCulture.kif 580-585
(=>
    (maternalUncle ?P ?UNC)
    (exists (?M)
        (and
            (mother ?P ?M)
            (brother ?UNC ?M))))
ArabicCulture.kif 558-563
(=>
    (mothersBrothersDaughter ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (daughter ?UNC ?H))))
ArabicCulture.kif 675-681
(=>
    (mothersBrothersSon ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (son ?UNC ?H))))
ArabicCulture.kif 663-669
(=>
    (mothersBrothersWife ?P ?W)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (wife ?UNC ?W))))
ArabicCulture.kif 603-609
(=>
    (mothersSistersDaughter ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (daughter ?AUN ?H))))
ArabicCulture.kif 723-729
(=>
    (mothersSistersHusband ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (husband ?AUN ?H))))
ArabicCulture.kif 627-633
(=>
    (mothersSistersSon ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (son ?AUN ?H))))
ArabicCulture.kif 711-717


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners