TreeView Knowledge Base Browser - mother

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 16433-16435
(domain mother 1 Organism)	Merge.kif 16431-16431	mother の数値 1 引数は物の instance では %n
(domain mother 2 Organism)	Merge.kif 16432-16432	mother の数値 2 引数は物の instance では %n
(instance mother BinaryPredicate)	Merge.kif 16425-16425	mother は 2進述語の instance では %n
(instance mother PartialValuedRelation)	Merge.kif 16424-16424	mother は部分的価値関係の instance では %n
(instance mother SingleValuedRelation)	Merge.kif 16423-16423	mother は一価関係の instance では %n

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 16427-16429	物は物の mother では %n 物は物の parent では %n
(=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female))	Merge.kif 16436-16438	物は物の mother では %n Female は物の attribute では %n

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 23060-23075	cousin 人［人間］ and 人［人間］ Woman Man grandmother 人［人間］ and Woman grandfather 人［人間］ and Man grandmother 人［人間］ and Woman grandfather 人［人間］ and Man 物物物は人［人間］の mother では %n 物は人［人間］の father では %n 物は人［人間］の mother では %n 物は人［人間］の father では %n
(<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F)))))	Mid-level-ontology.kif 23151-23158	stepfather 人［人間］ and Man 人［人間］人［人間］は人［人間］の mother では %n 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 23168-23175	stepmother 人［人間］ and Woman 人［人間］人［人間］は人［人間］の father では %n spouse Woman and 人［人間］ Woman は人［人間］の mother では
(=> (and (instance ?REP SexualReproduction) (result ?REP ?ORGANISM)) (exists (?MOTHER ?FATHER) (and (mother ?ORGANISM ?MOTHER) (father ?ORGANISM ?FATHER))))	Merge.kif 10358-10365	工程は有性生殖の instance では %n 物は工程の result では %n 物物物は物の mother では %n 物は物の father では %n
(=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT))	Merge.kif 16515-16519	物は物の parent では %n Female は物の attribute では %n 物は物の mother では %n
(=> (and (parent ?CHILD ?PARENT) (instance ?REP SexualReproduction) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (or (mother ?CHILD ?PARENT) (father ?CHILD ?PARENT)))	Merge.kif 16408-16416	物は物の parent では %n 工程は有性生殖の instance では %n 物は工程の agent では %n 物は工程の result では %n 物は物の mother では %n 物は物の father では %n
(=> (grandmother ?H ?P) (exists (?C) (and (mother ?C ?P) (parent ?H ?C))))	Mid-level-ontology.kif 23094-23099	grandmother 人［人間］ and Woman 物 Woman は物の mother では %n 物は人［人間］の parent では %n
(=> (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	BereavedMother はエンティティーの attribute では %n は時間間隔の during holds %n{ない} 時間間隔エンティティー時間間隔は時間間隔より earlier happens %n{ない} エンティティーはエンティティーの mother では %n は時間間隔の during holds %n{ない} Dead はエンティティーの attribute では %n は時間間隔の during holds %n{ない}
(=> (instance ?MULE Mule) (exists (?DONKEY ?HORSE) (and (father ?MULE ?DONKEY) (instance ?DONKEY Donkey) (mother ?MULE ?HORSE) (instance ?HORSE Horse))))	Mid-level-ontology.kif 20163-20170	物は Mule の instance では %n 物物物は物の father では %n 物は Donkey の instance では %n 物は物の mother では %n 物は Horse の instance では %n
(=> (maternalAunt ?P ?AUN) (exists (?M) (and (mother ?P ?M) (sister ?M ?AUN))))	ArabicCulture.kif 595-600	maternalAunt 物 and 人［人間］ Woman Woman は物の mother では %n sister Woman and 人［人間］
(=> (maternalUncle ?P ?UNC) (exists (?M) (and (mother ?P ?M) (brother ?UNC ?M))))	ArabicCulture.kif 573-578	maternalUncle 物 and Man 人［人間］人［人間］は物の mother では %n brother Man and 人［人間］
(=> (mothersBrothersDaughter ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (daughter ?UNC ?H))))	ArabicCulture.kif 690-696	mothersBrothersDaughter 物 and 物 Man 人［人間］ Man は物の mother では %n brother Man and 人［人間］ daughter 人［人間］ and 物
(=> (mothersBrothersSon ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (son ?UNC ?H))))	ArabicCulture.kif 678-684	mothersBrothersSon 物 and 物 Man 人［人間］ Man は物の mother では %n brother Man and 人［人間］ son 人［人間］ and 物
(=> (mothersBrothersWife ?P ?W) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (wife ?UNC ?W))))	ArabicCulture.kif 618-624	mothersBrothersWife 物 and Man Man Woman Man は物の mother では %n brother Man and Woman wife Woman and Man
(=> (mothersSistersDaughter ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (daughter ?AUN ?H))))	ArabicCulture.kif 738-744	mothersSistersDaughter 物 and 物 Woman 人［人間］ Woman は物の mother では %n sister Woman and 人［人間］ daughter 人［人間］ and 物
(=> (mothersSistersHusband ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (husband ?AUN ?H))))	ArabicCulture.kif 642-648	mothersSistersHusband 物 and Woman Woman Man Woman は物の mother では %n sister Woman and Man husband Man and Woman
(=> (mothersSistersSon ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (son ?AUN ?H))))	ArabicCulture.kif 726-732	mothersSistersSon 物 and 物 Woman 人［人間］ Woman は物の mother では %n sister Woman and 人［人間］ son 人［人間］ and 物

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