| 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 16586-16588 | |
| (domain mother 1 Organism) | Merge.kif 16584-16584 | mother の数値 1 引数は 物 の instance では |
| (domain mother 2 Organism) | Merge.kif 16585-16585 | mother の数値 2 引数は 物 の instance では |
| (instance mother BinaryPredicate) | Merge.kif 16578-16578 | mother は 2進述語 の instance では |
| (instance mother PartialValuedRelation) | Merge.kif 16577-16577 | mother は 部分的価値関係 の instance では |
| (instance mother SingleValuedRelation) | Merge.kif 16576-16576 | mother は 一価関係 の 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 38689-38689 | |
| (termFormat EnglishLanguage mother "mother") | domainEnglishFormat.kif 38688-38688 | |
| (termFormat de mother "mutter") | terms-de.txt 207-207 | |
| (termFormat tg mother "nanay") | relations-tg.txt 376-376 |
| antecedent |
|
|
| (=> (mother ?A ?B) (parent ?A ?B)) |
Merge.kif 16580-16582 | |
| (=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female)) |
Merge.kif 16589-16591 |
| 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 24702-24717 | cousin 人［人間］ and 人［人間］ Woman Man grandmother 人［人間］ and Woman grandfather 人［人間］ and Man grandmother 人［人間］ and Woman grandfather 人［人間］ and Man 物 物 物 は 人［人間］ の mother では 物 は 人［人間］ の father では 物 は 人［人間］ の mother では 物 は 人［人間］ の father では |
| (<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F))))) |
Mid-level-ontology.kif 24793-24800 | stepfather 人［人間］ and Man 人［人間］ 人［人間］ は 人［人間］ の mother では spouse Man and 人［人間］ Man は 人［人間］ の father では |
| (<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M))))) |
Mid-level-ontology.kif 24810-24817 | stepmother 人［人間］ and Woman 人［人間］ 人［人間］ は 人［人間］ の father では spouse Woman and 人［人間］ Woman は 人［人間］ の mother では |
| (=> (and (instance ?REP SexualReproduction) (result ?REP ?ORGANISM)) (exists (?MOTHER ?FATHER) (and (mother ?ORGANISM ?MOTHER) (father ?ORGANISM ?FATHER)))) |
Merge.kif 10476-10483 | |
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT)) |
Merge.kif 16668-16672 | |
| (=> (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 24736-24741 | |
| (=> (holdsDuring ?T (attribute ?P BereavedMother)) (exists (?BEFORE ?C) (and (earlier ?BEFORE ?T) (holdsDuring ?BEFORE (mother ?P ?C)) (holdsDuring ?T (attribute ?C Dead))))) |
ArabicCulture.kif 806-812 | |
| (=> (instance ?MULE Mule) (exists (?DONKEY ?HORSE) (and (father ?MULE ?DONKEY) (instance ?DONKEY Donkey) (mother ?MULE ?HORSE) (instance ?HORSE Horse)))) |
Mid-level-ontology.kif 21781-21788 | |
| (=> (maternalAunt ?P ?AUN) (exists (?M) (and (mother ?P ?M) (sister ?M ?AUN)))) |
ArabicCulture.kif 603-608 | |
| (=> (maternalUncle ?P ?UNC) (exists (?M) (and (mother ?P ?M) (brother ?UNC ?M)))) |
ArabicCulture.kif 577-582 | |
| (=> (mothersBrothersDaughter ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 714-720 | |
| (=> (mothersBrothersSon ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 700-706 | |
| (=> (mothersBrothersWife ?P ?W) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 630-636 | |
| (=> (mothersSistersDaughter ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (daughter ?AUN ?H)))) |
ArabicCulture.kif 770-776 | |
| (=> (mothersSistersHusband ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (husband ?AUN ?H)))) |
ArabicCulture.kif 658-664 | |
| (=> (mothersSistersSon ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (son ?AUN ?H)))) |
ArabicCulture.kif 756-762 |
|
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