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
mother
Sigma KEE - mother
mother
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 3691-3692
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16411-16413
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16409-16409
The number 1 argument of
mother
is an
instance
of
organism
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16410-16410
The number 2 argument of
mother
is an
instance
of
organism
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16403-16403
mother
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16402-16402
mother
is an
instance
of
partial valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16401-16401
mother
is an
instance
of
single valued relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 525-525
No TPTP formula. May not be expressible in strict first order.
english_format.kif 530-530
No TPTP formula. May not be expressible in strict first order.
french_format.kif 310-310
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 195-195
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2078-2078
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 262-262
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 316-316
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 683-683
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 233-233
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 331-331
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 339-339
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 375-375
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 526-526
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 38678-38678
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 38677-38677
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 376-376
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16405-16407
If
an organism
is a
mother
of
another organism
,
then
the organism
is a
parent
of
the other organism
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16414-16416
If
an organism
is a
mother
of
another organism
,
then
female
is an
attribute
of
the organism
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23061-23076
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23152-23159
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23169-23176
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 10336-10343
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16493-16497
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16386-16394
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23095-23100
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
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 774-780
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20164-20171
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
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 595-600
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
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 573-578
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
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 690-696
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
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 678-684
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
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 618-624
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
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 738-744
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
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 642-648
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
huband
of
the woman
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 726-732
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 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