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 的亲生母亲。") 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 16157-16159
(domain mother 1 Organism) Merge.kif 16155-16155
(domain mother 2 Organism) Merge.kif 16156-16156
(instance mother BinaryPredicate) Merge.kif 16149-16149
(instance mother PartialValuedRelation) Merge.kif 16148-16148
(instance mother SingleValuedRelation) Merge.kif 16147-16147

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
(termFormat ChineseLanguage mother "母亲") chinese_format.kif 526-526
(termFormat ChineseTraditionalLanguage mother "母親") domainEnglishFormat.kif 38663-38663
(termFormat EnglishLanguage mother "mother") domainEnglishFormat.kif 38662-38662

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


(=>
    (mother ?A ?B)
    (parent ?A ?B))		 Merge.kif 16151-16153
(=>
    (mother ?CHILD ?MOTHER)
    (attribute ?MOTHER Female))		 Merge.kif 16160-16162

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 22593-22608
(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))		 Mid-level-ontology.kif 22684-22691
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))		 Mid-level-ontology.kif 22701-22708
(=>
    (and
        (instance ?REP SexualReproduction)
        (result ?REP ?ORGANISM))
    (exists (?MOTHER ?FATHER)
        (and
            (mother ?ORGANISM ?MOTHER)
            (father ?ORGANISM ?FATHER))))		 Merge.kif 10254-10261
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Female))
    (mother ?CHILD ?PARENT))		 Merge.kif 16239-16243
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))		 Merge.kif 16132-16140
(=>
    (grandmother ?H ?P)
    (exists (?C)
        (and
            (mother ?C ?P)
            (parent ?H ?C))))		 Mid-level-ontology.kif 22627-22632
(=>
    (holdsDuring ?T
        (attribute ?P BereavedMother))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (mother ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))		 ArabicCulture.kif 761-767
(=>
    (instance ?MULE Mule)
    (exists (?DONKEY ?HORSE)
        (and
            (father ?MULE ?DONKEY)
            (instance ?DONKEY Donkey)
            (mother ?MULE ?HORSE)
            (instance ?HORSE Horse))))		 Mid-level-ontology.kif 19556-19563
(=>
    (maternalAunt ?P ?AUN)
    (exists (?M)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN))))		 ArabicCulture.kif 582-587
(=>
    (maternalUncle ?P ?UNC)
    (exists (?M)
        (and
            (mother ?P ?M)
            (brother ?UNC ?M))))		 ArabicCulture.kif 560-565
(=>
    (mothersBrothersDaughter ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (daughter ?UNC ?H))))		 ArabicCulture.kif 677-683
(=>
    (mothersBrothersSon ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (son ?UNC ?H))))		 ArabicCulture.kif 665-671
(=>
    (mothersBrothersWife ?P ?W)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (wife ?UNC ?W))))		 ArabicCulture.kif 605-611
(=>
    (mothersSistersDaughter ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (daughter ?AUN ?H))))		 ArabicCulture.kif 725-731
(=>
    (mothersSistersHusband ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (husband ?AUN ?H))))		 ArabicCulture.kif 629-635
(=>
    (mothersSistersSon ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (son ?AUN ?H))))		 ArabicCulture.kif 713-719


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