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 15635-15637
(domain mother 1 Organism) Merge.kif 15633-15633
(domain mother 2 Organism) Merge.kif 15634-15634
(instance mother BinaryPredicate) Merge.kif 15627-15627
(instance mother PartialValuedRelation) Merge.kif 15626-15626
(instance mother SingleValuedRelation) Merge.kif 15625-15625

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 533-533
(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 15629-15631
(=>
    (mother ?CHILD ?MOTHER)
    (attribute ?MOTHER Female))
Merge.kif 15638-15640

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 21116-21131
(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))
Mid-level-ontology.kif 21207-21214
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))
Mid-level-ontology.kif 21224-21231
(=>
    (and
        (instance ?REP SexualReproduction)
        (result ?REP ?ORGANISM))
    (exists (?MOTHER ?FATHER)
        (and
            (mother ?ORGANISM ?MOTHER)
            (father ?ORGANISM ?FATHER))))
Merge.kif 9904-9911
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Female))
    (mother ?CHILD ?PARENT))
Merge.kif 15717-15721
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))
Merge.kif 15610-15618
(=>
    (grandmother ?H ?P)
    (exists (?C)
        (and
            (mother ?C ?P)
            (parent ?H ?C))))
Mid-level-ontology.kif 21150-21155
(=>
    (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 18133-18140
(=>
    (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