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
(
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
O argumento numero 1 de
mother
e' uma
instancia
de
Organismo
(
domain
mother
2
Organism
)
Merge.kif 16432-16432
O argumento numero 2 de
mother
e' uma
instancia
de
Organismo
(
instance
mother
BinaryPredicate
)
Merge.kif 16425-16425
mother
e' uma
instancia
de
Predicado Binario
(
instance
mother
PartialValuedRelation
)
Merge.kif 16424-16424
mother
e' uma
instancia
de
Relacao Parcial
(
instance
mother
SingleValuedRelation
)
Merge.kif 16423-16423
mother
e' uma
instancia
de
Relacao com Valor Unico
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
Organismo
e' a
mae
de
Organismo
Organismo
e' um
genitor
de
Organismo
(=>
(
mother
?CHILD ?MOTHER)
(
attribute
?MOTHER
Female
))
Merge.kif 16436-16438
Organismo
e' a
mae
de
Organismo
Female
e' um
atributo
de
Organismo
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
Humano
and
Humano
Woman
Man
grandmother
Humano
and
Woman
grandfather
Humano
and
Man
grandmother
Humano
and
Woman
grandfather
Humano
and
Man
Organismo
Organismo
Organismo
e' a
mae
de
Humano
Organismo
e' o
pai
de
Humano
Organismo
e' a
mae
de
Humano
Organismo
e' o
pai
de
Humano
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23151-23158
stepfather
Humano
and
Man
Humano
Humano
e' a
mae
de
Humano
spouse
Man
and
Humano
Man
e' o
pai
de
Humano
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23168-23175
stepmother
Humano
and
Woman
Humano
Humano
e' o
pai
de
Humano
spouse
Woman
and
Humano
Woman
e' a
mae
de
Humano
(=>
(
and
(
instance
?REP
SexualReproduction
)
(
result
?REP ?ORGANISM))
(
exists
(?MOTHER ?FATHER)
(
and
(
mother
?ORGANISM ?MOTHER)
(
father
?ORGANISM ?FATHER))))
Merge.kif 10358-10365
Processo
e' uma
instancia
de
Reproducao Sexual
Organismo
e' o
resultado
de
Processo
Organismo
Organismo
Organismo
e' a
mae
de
Organismo
Organismo
e' o
pai
de
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Female
))
(
mother
?CHILD ?PARENT))
Merge.kif 16515-16519
Organismo
e' um
genitor
de
Organismo
Female
e' um
atributo
de
Organismo
Organismo
e' a
mae
de
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16408-16416
Organismo
e' um
genitor
de
Organismo
Processo
e' uma
instancia
de
Reproducao Sexual
Processo
e' um
agente
de
Organismo
Organismo
e' o
resultado
de
Processo
Organismo
e' a
mae
de
Organismo
Organismo
e' o
pai
de
Organismo
(=>
(
grandmother
?H ?P)
(
exists
(?C)
(
and
(
mother
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23094-23099
grandmother
Humano
and
Woman
Organismo
Woman
e' a
mae
de
Organismo
Organismo
e' um
genitor
de
Humano
(=>
(
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
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Intervalo Temporal
Entidade
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Entidade
e' a
mae
de
Entidade
vale
durante
Intervalo Temporal
Dead
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
(=>
(
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
Organismo
e' uma
instancia
de
Mule
Organismo
Organismo
Organismo
e' o
pai
de
Organismo
Organismo
e' uma
instancia
de
Donkey
Organismo
e' a
mae
de
Organismo
Organismo
e' uma
instancia
de
Horse
(=>
(
maternalAunt
?P ?AUN)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN))))
ArabicCulture.kif 595-600
maternalAunt
Organismo
and
Humano
Woman
Woman
e' a
mae
de
Organismo
sister
Woman
and
Humano
(=>
(
maternalUncle
?P ?UNC)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
brother
?UNC ?M))))
ArabicCulture.kif 573-578
maternalUncle
Organismo
and
Man
Humano
Humano
e' a
mae
de
Organismo
brother
Man
and
Humano
(=>
(
mothersBrothersDaughter
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 690-696
mothersBrothersDaughter
Organismo
and
Organismo
Man
Humano
Man
e' a
mae
de
Organismo
brother
Man
and
Humano
daughter
Humano
and
Organismo
(=>
(
mothersBrothersSon
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 678-684
mothersBrothersSon
Organismo
and
Organismo
Man
Humano
Man
e' a
mae
de
Organismo
brother
Man
and
Humano
son
Humano
and
Organismo
(=>
(
mothersBrothersWife
?P ?W)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 618-624
mothersBrothersWife
Organismo
and
Man
Man
Woman
Man
e' a
mae
de
Organismo
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
Organismo
and
Organismo
Woman
Humano
Woman
e' a
mae
de
Organismo
sister
Woman
and
Humano
daughter
Humano
and
Organismo
(=>
(
mothersSistersHusband
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
husband
?AUN ?H))))
ArabicCulture.kif 642-648
mothersSistersHusband
Organismo
and
Woman
Woman
Man
Woman
e' a
mae
de
Organismo
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
Organismo
and
Organismo
Woman
Humano
Woman
e' a
mae
de
Organismo
sister
Woman
and
Humano
son
Humano
and
Organismo
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