mother - Sigma Knowledge base Browser

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 16586-16588
(domain mother 1 Organism)	Merge.kif 16584-16584	The number 1 argument of mother is an instance of organism
(domain mother 2 Organism)	Merge.kif 16585-16585	The number 2 argument of mother is an instance of organism
(instance mother BinaryPredicate)	Merge.kif 16578-16578	mother is an instance of binary predicate
(instance mother PartialValuedRelation)	Merge.kif 16577-16577	mother is an instance of partial valued relation
(instance mother SingleValuedRelation)	Merge.kif 16576-16576	mother is an instance of single valued relation

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	If an organism is a mother of another organism, then the organism is a parent of the other organism
(=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female))	Merge.kif 16589-16591	If an organism is a mother of another organism, then female is an attribute of the organism

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	A human and another human are cousins if and only if there exist a woman and a man such that the grandmother of the human is the woman and the grandfather of the human is the man and the grandmother of the other human is the woman and the grandfather of the other human is the man and there don't exist an organism and another organism such that the organism is a mother of the human and the other organism is a father of the human and the organism is a mother of the other human and the other organism is a father of the other human
(<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F)))))	Mid-level-ontology.kif 24793-24800	A man is the stepfather of a human if and only if there exists another human such that the other human is a mother of the human and the man is the spouse of the other human and the man is not a father of the human
(<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M)))))	Mid-level-ontology.kif 24810-24817	A woman is the stepfather of a human if and only if there exists another human such that the other human is a father of the human and the woman is the spouse of the other human and the woman is not a mother of the human
(=> (and (instance ?REP SexualReproduction) (result ?REP ?ORGANISM)) (exists (?MOTHER ?FATHER) (and (mother ?ORGANISM ?MOTHER) (father ?ORGANISM ?FATHER))))	Merge.kif 10476-10483	If a process is an instance of sexual reproduction and an organism is a result of the process, then there exist another organism and a third organism such that the other organism is a mother of the organism and the third organism is a father of the organism
(=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT))	Merge.kif 16668-16672	If an organism is a parent of another organism and female is an attribute of the organism, then the organism is a mother of the other organism
(=> (and (parent ?CHILD ?PARENT) (instance ?REP SexualReproduction) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (or (mother ?CHILD ?PARENT) (father ?CHILD ?PARENT)))	Merge.kif 16561-16569	If an organism is a parent of another organism and a process is an instance of sexual reproduction and the organism is an agent of the process and the other organism is a result of the process, then the organism is a mother of the other organism or the organism is a father of the other organism
(=> (grandmother ?H ?P) (exists (?C) (and (mother ?C ?P) (parent ?H ?C))))	Mid-level-ontology.kif 24736-24741	If the grandmother of a human is a woman, then there exists an organism such that the woman is a mother of the organism and the organism is a parent of the human
(=> (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	If bereaved mother is an attribute of an entity holds during a time interval, then there exist another time interval and another entity such that the other time interval happens earlier than the time interval and the other entity is a mother of the entity holds during the other time interval and dead is an attribute of the other entity holds during the time interval
(=> (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	If an organism is an instance of mule, then there exist another organism and a third organism such that the other organism is a father of the organism and the other organism is an instance of donkey and the third organism is a mother of the organism and the third organism is an instance of horse
(=> (maternalAunt ?P ?AUN) (exists (?M) (and (mother ?P ?M) (sister ?M ?AUN))))	ArabicCulture.kif 603-608	If the maternal aunt of an organism is a human, then there exists a woman such that the woman is a mother of the organism and the woman is the sister of the human
(=> (maternalUncle ?P ?UNC) (exists (?M) (and (mother ?P ?M) (brother ?UNC ?M))))	ArabicCulture.kif 577-582	If the maternal uncle of an organism is a man, then there exists a human such that the human is a mother of the organism and the man is the brother of the human
(=> (mothersBrothersDaughter ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (daughter ?UNC ?H))))	ArabicCulture.kif 714-720	If the mother's brother's daughter of an organism is another organism, then there exist a man and a human such that the man is a mother of the organism and the man is the brother of the human and the human is the daughter of the other organism
(=> (mothersBrothersSon ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (son ?UNC ?H))))	ArabicCulture.kif 700-706	If the mother's brother's son of an organism is another organism, then there exist a man and a human such that the man is a mother of the organism and the man is the brother of the human and the human is the son of the other organism
(=> (mothersBrothersWife ?P ?W) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (wife ?UNC ?W))))	ArabicCulture.kif 630-636	If the mother's brother's wife of an organism is a man, then there exist another man and a woman such that the other man is a mother of the organism and the other man is the brother of the woman and the woman is the wife of the man
(=> (mothersSistersDaughter ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (daughter ?AUN ?H))))	ArabicCulture.kif 770-776	If the mother's sister's daughter of an organism is another organism, then there exist a woman and a human such that the woman is a mother of the organism and the woman is the sister of the human and the human is the daughter of the other organism
(=> (mothersSistersHusband ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (husband ?AUN ?H))))	ArabicCulture.kif 658-664	If the mother's sister's husband of an organism is a woman, then there exist another woman and a man such that the other woman is a mother of the organism and the other woman is the sister of the man and the man is the husband of the woman
(=> (mothersSistersSon ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (son ?AUN ?H))))	ArabicCulture.kif 756-762	If the mother's sister's son of an organism is another organism, then there exist a woman and a human such that the woman is a mother of the organism and the woman is the sister of the human and the human is the son of the other organism

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