Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
SicilianLanguage
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
Die Zahl 1 Argument von
mother
ist ein
fall
von
Organism
%n{nicht}
(
domain
mother
2
Organism
)
Merge.kif 16432-16432
Die Zahl 2 Argument von
mother
ist ein
fall
von
Organism
%n{nicht}
(
instance
mother
BinaryPredicate
)
Merge.kif 16425-16425
mother
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
mother
PartialValuedRelation
)
Merge.kif 16424-16424
mother
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
mother
SingleValuedRelation
)
Merge.kif 16423-16423
mother
ist ein
fall
von
SingleValuedRelation
%n{nicht}
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
Wenn
Organism
ist die
mutter
von
** Organism
%n{nicht},
dann
** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht}
(=>
(
mother
?CHILD ?MOTHER)
(
attribute
?MOTHER
Female
))
Merge.kif 16436-16438
Wenn
Organism
ist die
mutter
von
** Organism
%n{nicht},
dann
Female
ist ein
attribut
von
** Organism
%n{nicht}
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
Human
and
** Human
genau dann wenn es gibt
Woman
und
Man
um
grandmother
** Human
and
** Woman
und
grandfather
** Human
and
** Man
und
grandmother
** ** Human
and
** Woman
und
grandfather
** ** Human
and
** Man
und es gibt nicht
Organism
und
** Organism
um
** Organism
ist die
mutter
von
** Human
%n{nicht} und
** ** Organism
ist der
vater
von
** Human
%n{nicht} und
** Organism
ist die
mutter
von
** ** Human
%n{nicht} und
** ** Organism
ist der
vater
von
** ** Human
%n{nicht}
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23151-23158
stepfather
Human
and
Man
genau dann wenn es gibt
** Human
um
** ** Human
ist die
mutter
von
** Human
%n{nicht} und
spouse
** Man
and
** ** Human
und
** Man
ist der
vater
von
** Human
nicht
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23168-23175
stepmother
Human
and
Woman
genau dann wenn es gibt
** Human
um
** ** Human
ist der
vater
von
** Human
%n{nicht} und
spouse
** Woman
and
** ** Human
und
** Woman
ist die
mutter
von
** Human
nicht
(=>
(
and
(
instance
?REP
SexualReproduction
)
(
result
?REP ?ORGANISM))
(
exists
(?MOTHER ?FATHER)
(
and
(
mother
?ORGANISM ?MOTHER)
(
father
?ORGANISM ?FATHER))))
Merge.kif 10358-10365
Wenn
Process
ist ein
fall
von
SexualReproduction
%n{nicht} und
Organism
ist ein
resultat
von
** Process
%n{nicht},
dann es gibt
** Organism
und
** Organism
um
** ** Organism
ist die
mutter
von
** Organism
%n{nicht} und
** ** Organism
ist der
vater
von
** Organism
%n{nicht}
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Female
))
(
mother
?CHILD ?PARENT))
Merge.kif 16515-16519
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
Female
ist ein
attribut
von
** Organism
%n{nicht},
dann
** Organism
ist die
mutter
von
** ** Organism
%n{nicht}
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16408-16416
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
Process
ist ein
fall
von
SexualReproduction
%n{nicht} und
** Process
ist der
agent
von
** Organism
%n{nicht} und
** ** Organism
ist ein
resultat
von
** Process
%n{nicht},
dann
** Organism
ist die
mutter
von
** ** Organism
%n{nicht} oder
** Organism
ist der
vater
von
** ** Organism
%n{nicht}
(=>
(
grandmother
?H ?P)
(
exists
(?C)
(
and
(
mother
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23094-23099
Wenn
grandmother
Human
and
Woman
,
dann es gibt
Organism
um
** Woman
ist die
mutter
von
** Organism
%n{nicht} und
** Organism
ist das
elterntiel
von
** Human
%n{nicht}
(=>
(
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
Wenn
BereavedMother
ist ein
attribut
von
entity
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
und
** entity
um
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und
** ** entity
ist die
mutter
von
** entity
%n{nicht} haelt
waehrend
** ** TimeInterval
%n{nicht} und
Dead
ist ein
attribut
von
** ** entity
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
Organism
ist ein
fall
von
Mule
%n{nicht},
dann es gibt
** Organism
und
** Organism
um
** ** Organism
ist der
vater
von
** Organism
%n{nicht} und
** ** Organism
ist ein
fall
von
Donkey
%n{nicht} und
** ** Organism
ist die
mutter
von
** Organism
%n{nicht} und
** ** Organism
ist ein
fall
von
Horse
%n{nicht}
(=>
(
maternalAunt
?P ?AUN)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN))))
ArabicCulture.kif 595-600
Wenn
maternalAunt
Organism
and
Human
,
dann es gibt
Woman
um
** Woman
ist die
mutter
von
** Organism
%n{nicht} und
sister
** Woman
and
** Human
(=>
(
maternalUncle
?P ?UNC)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
brother
?UNC ?M))))
ArabicCulture.kif 573-578
Wenn
maternalUncle
Organism
and
Man
,
dann es gibt
Human
um
** Human
ist die
mutter
von
** Organism
%n{nicht} und
brother
** Man
and
** Human
(=>
(
mothersBrothersDaughter
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 690-696
Wenn
mothersBrothersDaughter
Organism
and
** Organism
,
dann es gibt
Man
und
Human
um
** Man
ist die
mutter
von
** Organism
%n{nicht} und
brother
** Man
and
** Human
und
daughter
** Human
and
** ** Organism
(=>
(
mothersBrothersSon
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 678-684
Wenn
mothersBrothersSon
Organism
and
** Organism
,
dann es gibt
Man
und
Human
um
** Man
ist die
mutter
von
** Organism
%n{nicht} und
brother
** Man
and
** Human
und
son
** Human
and
** ** Organism
(=>
(
mothersBrothersWife
?P ?W)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 618-624
Wenn
mothersBrothersWife
Organism
and
Man
,
dann es gibt
** Man
und
Woman
um
** ** Man
ist die
mutter
von
** Organism
%n{nicht} und
brother
** ** Man
and
** Woman
und
wife
** Woman
and
** Man
(=>
(
mothersSistersDaughter
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 738-744
Wenn
mothersSistersDaughter
Organism
and
** Organism
,
dann es gibt
Woman
und
Human
um
** Woman
ist die
mutter
von
** Organism
%n{nicht} und
sister
** Woman
and
** Human
und
daughter
** Human
and
** ** Organism
(=>
(
mothersSistersHusband
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
husband
?AUN ?H))))
ArabicCulture.kif 642-648
Wenn
mothersSistersHusband
Organism
and
Woman
,
dann es gibt
** Woman
und
Man
um
** ** Woman
ist die
mutter
von
** Organism
%n{nicht} und
sister
** ** Woman
and
** Man
und
husband
** Man
and
** Woman
(=>
(
mothersSistersSon
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
son
?AUN ?H))))
ArabicCulture.kif 726-732
Wenn
mothersSistersSon
Organism
and
** Organism
,
dann es gibt
Woman
und
Human
um
** Woman
ist die
mutter
von
** Organism
%n{nicht} und
sister
** Woman
and
** Human
und
son
** Human
and
** ** Organism
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