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
Inhabited
Sigma KEE - parent
parent
appearance as argument number 1
(
documentation
parent
ChineseLanguage
"这是父母身份的概括关系。(
parent
?CHILD ?PARENT)的意思是 ?PARENT 是 ?CHILD 的亲生父母。")
chinese_format.kif 3689-3690
(
documentation
parent
EnglishLanguage
"The general relationship of parenthood. (
parent
?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD.")
Merge.kif 16438-16440
(
domain
parent
1
Organism
)
Merge.kif 16436-16436
The number 1 argument of
parent
is an
instance
of
organism
(
domain
parent
2
Organism
)
Merge.kif 16437-16437
The number 2 argument of
parent
is an
instance
of
organism
(
instance
parent
AsymmetricRelation
)
Merge.kif 16433-16433
parent
is an
instance
of
asymmetric relation
(
instance
parent
BinaryPredicate
)
Merge.kif 16431-16431
parent
is an
instance
of
binary predicate
(
instance
parent
IntransitiveRelation
)
Merge.kif 16434-16434
parent
is an
instance
of
intransitive relation
(
instance
parent
TotalValuedRelation
)
Merge.kif 16435-16435
parent
is an
instance
of
total valued relation
appearance as argument number 2
(
format
ChineseLanguage
parent
"%2 %n 是 %1 的
parent
")
chinese_format.kif 523-523
(
format
EnglishLanguage
parent
"%2 is %n a
parent
of %1")
english_format.kif 528-528
(
format
FrenchLanguage
parent
"%2 est %n un
parent
de %1")
french_format.kif 309-309
(
format
ItalianLanguage
parent
"%2 è %n un
parent
e di %1")
relations-it.txt 209-209
(
format
JapaneseLanguage
parent
"%2 は %1 の
parent
では %n")
japanese_format.kif 2077-2077
(
format
PortugueseLanguage
parent
"%2 e' %n um genitor de %1")
portuguese_format.kif 261-261
(
format
cz
parent
"%2 %p{je} %n{nen�} a
parent
of %1")
relations-cz.txt 315-315
(
format
de
parent
"%2 ist das elterntiel von %1 %n{nicht}")
relations-de.txt 680-680
(
format
hi
parent
"%2 %1 kaa janaka %n hai")
relations-hindi.txt 247-247
(
format
ro
parent
"%2 %n{nu} este
parent
%t{pãrintele} lui %1")
relations-ro.kif 330-330
(
format
sv
parent
"%2 är %n{inte} en förälder till %1")
relations-sv.txt 337-337
(
format
tg
parent
"%2 %n ay ang magulang ng %1")
relations-tg.txt 400-400
(
subrelation
daughter
parent
)
Merge.kif 16508-16508
daughter
is a
subrelation
of
parent
(
subrelation
son
parent
)
Merge.kif 16519-16519
son
is a
subrelation
of
parent
(
termFormat
ChineseLanguage
parent
"亲")
domainEnglishFormat.kif 44432-44432
(
termFormat
ChineseLanguage
parent
"父母")
chinese_format.kif 524-524
(
termFormat
ChineseTraditionalLanguage
parent
"親")
domainEnglishFormat.kif 44431-44431
(
termFormat
EnglishLanguage
parent
"parent")
domainEnglishFormat.kif 44430-44430
(
termFormat
tg
parent
"magulang")
relations-tg.txt 401-401
antecedent
(=>
(
and
(
instance
?REP
AsexualReproduction
)
(
result
?REP ?ORGANISM)
(
parent
?ORGANISM ?PARENT1)
(
parent
?ORGANISM ?PARENT2))
(
equal
?PARENT1 ?PARENT2))
Merge.kif 10399-10405
If
a process
is an
instance
of
asexual reproduction
and
an organism
is a
result
of
the process
and
another organism
is a
parent
of
the organism
and
a third organism
is a
parent
of
the organism
,
then
the other organism
is
equal
to
the third organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Female
))
(
mother
?CHILD ?PARENT))
Merge.kif 16564-16568
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)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16558-16562
If
an organism
is a
parent
of
another organism
and
male
is an
attribute
of
the organism
,
then
the organism
is a
father
of
the other organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Man
))
(
son
?CHILD ?PARENT))
Mid-level-ontology.kif 23079-23083
If
an organism
is a
parent
of
another organism
and
the other organism
is an
instance
of
man
,
then
the other organism
is the
son
of
the organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Woman
))
(
daughter
?CHILD ?PARENT))
Mid-level-ontology.kif 23085-23089
If
an organism
is a
parent
of
another organism
and
the other organism
is an
instance
of
woman
,
then
the other organism
is the
daughter
of
the organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23073-23077
If
an organism
is a
parent
of
another organism
and
the organism
is an
instance
of
man
,
then
the organism
is a
father
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 16457-16465
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
(=>
(
and
(
parent
?CHILD ?PARENT)
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
)))
(
modalAttribute
(
exists
(?CARE)
(
and
(
instance
?CARE
ChildCareService
)
(
desires
?PARENT ?CARE)))
Possibility
))
Hotel.kif 1890-1900
If
an organism
is a
parent
of
another organism
and
the other organism
is an
instance
of
human child
or
the other organism
is an
instance
of
human baby
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
child-care service
and
the organism
desire
s
the entity
has the
modal
force
of
possibility
(=>
(
and
(
parent
?CHILD ?PARENT)
(
subclass
?CLASS
Organism
)
(
instance
?PARENT ?CLASS))
(
instance
?CHILD ?CLASS))
Merge.kif 16450-16455
If
an organism
is a
parent
of
another organism
and
a class
is a
subclass
of
organism
and
the organism
is an
instance
of
the class
,
then
the other organism
is an
instance
of
the class
(=>
(
and
(
parent
?CHILD ?PARENT1)
(
parent
?CHILD ?PARENT2)
(
holdsDuring
?T1
(
and
(
spouse
?PARENT1 ?PARENT2)
(
cohabitant
?PARENT1 ?PARENT2)
(
cohabitant
?CHILD ?PARENT1))))
(
exists
(?FAM)
(
and
(
instance
?FAM
NuclearFamily
)
(
holdsDuring
?T1
(
and
(
member
?CHILD ?FAM)
(
member
?PARENT1 ?FAM)
(
member
?PARENT2 ?FAM))))))
Mid-level-ontology.kif 23238-23254
If
an organism
is a
parent
of
another organism
and
a third organism
is a
parent
of
the other organism
and
the organism
is the
spouse
of
the third organism
and
the third organism
is a
cohabitant
of
the organism
and
the organism
is a
cohabitant
of
the other organism
holds
during
a time position
,
then there exists
an entity
such that
the entity
is an
instance
of
nuclear family
and
the other organism
is a
member
of
the entity
and
the organism
is a
member
of
the entity
and
the third organism
is a
member
of
the entity
holds
during
the time position
(=>
(
and
(
parent
?ORGANISM1 ?PARENT1)
(
parent
?ORGANISM2 ?PARENT1)
(
parent
?ORGANISM1 ?PARENT2)
(
parent
?ORGANISM2 ?PARENT2)
(
not
(
equal
?ORGANISM1 ?ORGANISM2))
(
not
(
equal
?PARENT1 ?PARENT2)))
(
sibling
?ORGANISM1 ?ORGANISM2))
Merge.kif 16542-16550
If
an organism
is a
parent
of
another organism
and
the organism
is a
parent
of
a third organism
and
a fourth organism
is a
parent
of
the other organism
and
the fourth organism
is a
parent
of
the third organism
and
the other organism
is not
equal
to
the third organism
and
the organism
is not
equal
to
the fourth organism
,
then
the other organism
is a
sibling
of
the third organism
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16552-16556
If
an organism
is a
sibling
of
another organism
and
a third organism
is a
parent
of
the organism
,
then
the third organism
is a
parent
of
the other organism
(=>
(
parent
?CHILD ?PARENT)
(
ancestor
?CHILD ?PARENT))
Merge.kif 16442-16444
If
an organism
is a
parent
of
another organism
,
then
the organism
is the
ancestor
of
the other organism
(=>
(
parent
?CHILD ?PARENT)
(
before
(
BeginFn
(
WhenFn
?PARENT))
(
BeginFn
(
WhenFn
?CHILD))))
Merge.kif 16446-16448
If
an organism
is a
parent
of
another organism
,
then the
beginning
of the
time
of existence of
the organism
happens
before
the
beginning
of the
time
of existence of
the other organism
(=>
(
parent
?CHILD ?PARENT)
(
older
?PARENT ?CHILD))
Mid-level-ontology.kif 406-408
If
an organism
is a
parent
of
another organism
,
then
the other organism
is an
older
of
the organism
consequent
(<=>
(
aunt
?A ?H)
(
exists
(?P)
(
and
(
sister
?A ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23098-23103
A woman
is the
aunt
of
a human
if and only if there exists
another human
such that
the woman
is the
sister
of
the other human
and
the other human
is a
parent
of
the human
(<=>
(
uncle
?U ?H)
(
exists
(?P)
(
and
(
brother
?U ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23189-23194
The
uncle
of
a human
is
a man
if and only if there exists
another human
such that
the man
is the
brother
of
the other human
and
the other human
is a
parent
of
the human
(=>
(
and
(
instance
?REP
Replication
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
parent
?CHILD ?PARENT))
Merge.kif 10352-10357
If
a process
is an
instance
of
replication
and
an organism
is an
agent
of
the process
and
another organism
is a
result
of
the process
,
then
the organism
is a
parent
of
the other organism
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16552-16556
If
an organism
is a
sibling
of
another organism
and
a third organism
is a
parent
of
the organism
,
then
the third organism
is a
parent
of
the other organism
(=>
(
equal
(
ImmediateFamilyFn
?P) ?FAMILY)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?FAMILY)
(
exists
(?OTHER)
(
or
(
parent
?MEMBER ?OTHER)
(
parent
?OTHER ?MEMBER))))))
Merge.kif 16362-16370
If the
immediate
family of
a human
is
equal
to
a family group
,
then for all
an organism
if
the organism
is a
member
of
the family group
,
then there exists
another organism
such that
the other organism
is a
parent
of
the organism
or
the organism
is a
parent
of
the other organism
(=>
(
equal
(
ImmediateFamilyFn
?PERSON) ?FAMILY)
(
exists
(?MEMBER)
(
and
(
member
?MEMBER ?FAMILY)
(
or
(
parent
?MEMBER ?PERSON)
(
parent
?PERSON ?MEMBER)))))
Merge.kif 16372-16379
If the
immediate
family of
a human
is
equal
to
a family group
,
then there exists
an organism
such that
the organism
is a
member
of
the family group
and
the human
is a
parent
of
the organism
or
the organism
is a
parent
of
the human
(=>
(
father
?A ?B)
(
parent
?A ?B))
Merge.kif 16493-16495
If
an organism
is a
father
of
another organism
,
then
the organism
is a
parent
of
the other organism
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23135-23140
If the
grandfather
of
a human
is
a man
,
then there exists
an organism
such that
the man
is a
father
of
the organism
and
the organism
is a
parent
of
the human
(=>
(
grandmother
?H ?P)
(
exists
(?C)
(
and
(
mother
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23147-23152
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
(=>
(
instance
?ORGANISM
Organism
)
(
exists
(?PARENT)
(
parent
?ORGANISM ?PARENT)))
Merge.kif 16467-16470
If
an organism
is an
instance
of
organism
,
then there exists
another organism
such that
the other organism
is a
parent
of
the organism
(=>
(
instance
?SVC
ChildCareService
)
(
exists
(?CHILD ?SITTER)
(
and
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
))
(
serviceProvider
?SVC ?SITTER)
(
patient
?SVC ?CHILD)
(
not
(
parent
?CHILD ?SITTER)))))
Hotel.kif 1872-1881
If
a service
is an
instance
of
child-care service
,
then there exist
an organism
and
another organism
such that
the organism
is an
instance
of
human child
or
the organism
is an
instance
of
human baby
and
the other organism
provides a service during
the service
and
the organism
is a
patient
of
the service
and
the other organism
is not a
parent
of
the organism
(=>
(
mother
?A ?B)
(
parent
?A ?B))
Merge.kif 16476-16478
If
an organism
is a
mother
of
another organism
,
then
the organism
is a
parent
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