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 16411-16413
(domain mother 1 Organism) Merge.kif 16409-16409 母亲 的 1 数量 是 生物instance
(domain mother 2 Organism) Merge.kif 16410-16410 母亲 的 2 数量 是 生物instance
(instance mother BinaryPredicate) Merge.kif 16403-16403 母亲二元谓语instance
(instance mother PartialValuedRelation) Merge.kif 16402-16402 母亲部分值关系instance
(instance mother SingleValuedRelation) Merge.kif 16401-16401 母亲单值关系instance

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 38678-38678
(termFormat EnglishLanguage mother "mother") domainEnglishFormat.kif 38677-38677
(termFormat tg mother "nanay") relations-tg.txt 376-376

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


(=>
    (mother ?A ?B)
    (parent ?A ?B))
Merge.kif 16405-16407
(=>
    (mother ?CHILD ?MOTHER)
    (attribute ?MOTHER Female))
Merge.kif 16414-16416

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 23061-23076 人类 另一个 人类cousins 若且唯若 有存在 女人 这样 那个 人类grandmother那个 女人那个 人类grandfather那个 人那个 另外 人类grandmother那个 女人那个 另外 人类grandfather那个 人 和 不存在 生物另一个 生物 这样 那个 生物那个 人类mother那个 另外 生物那个 人类 father那个 生物那个 另外 人类mother那个 另外 生物那个 另外 人类 father
(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))
Mid-level-ontology.kif 23152-23159 人类stepfather 若且唯若 有存在 另一个 人类 这样 那个 另外 人类那个 人类mother那个 人那个 另外 人类spouse那个 人 不 是 那个 人类 father
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))
Mid-level-ontology.kif 23169-23176 女人 人类stepfather 若且唯若 有存在 另一个 人类 这样 那个 另外 人类那个 人类 father那个 女人那个 另外 人类spouse那个 女人 不 是 那个 人类mother
(=>
    (and
        (instance ?REP SexualReproduction)
        (result ?REP ?ORGANISM))
    (exists (?MOTHER ?FATHER)
        (and
            (mother ?ORGANISM ?MOTHER)
            (father ?ORGANISM ?FATHER))))
Merge.kif 10336-10343
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Female))
    (mother ?CHILD ?PARENT))
Merge.kif 16493-16497
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))
Merge.kif 16386-16394
(=>
    (grandmother ?H ?P)
    (exists (?C)
        (and
            (mother ?C ?P)
            (parent ?H ?C))))
Mid-level-ontology.kif 23095-23100
(=>
    (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 20164-20171
(=>
    (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