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
parent
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 16367-16369
(
domain
parent
1
Organism
)
Merge.kif 16365-16365
Die Zahl 1 Argument von
parent
ist ein
fall
von
Organism
%n{nicht}
(
domain
parent
2
Organism
)
Merge.kif 16366-16366
Die Zahl 2 Argument von
parent
ist ein
fall
von
Organism
%n{nicht}
(
instance
parent
AsymmetricRelation
)
Merge.kif 16362-16362
parent
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
parent
BinaryPredicate
)
Merge.kif 16360-16360
parent
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
parent
IntransitiveRelation
)
Merge.kif 16363-16363
parent
ist ein
fall
von
IntransitiveRelation
%n{nicht}
(
instance
parent
TotalValuedRelation
)
Merge.kif 16364-16364
parent
ist ein
fall
von
TotalValuedRelation
%n{nicht}
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 16437-16437
daughter
ist eine
teilrelation
von
parent
(
subrelation
son
parent
)
Merge.kif 16448-16448
son
ist eine
teilrelation
von
parent
(
termFormat
ChineseLanguage
parent
"亲")
domainEnglishFormat.kif 44430-44430
(
termFormat
ChineseLanguage
parent
"父母")
chinese_format.kif 524-524
(
termFormat
ChineseTraditionalLanguage
parent
"親")
domainEnglishFormat.kif 44429-44429
(
termFormat
EnglishLanguage
parent
"parent")
domainEnglishFormat.kif 44428-44428
(
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 10363-10369
Wenn
Process
ist ein
fall
von
AsexualReproduction
%n{nicht} und
Organism
ist ein
resultat
von
** Process
%n{nicht} und
** Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
** Organism
ist das
elterntiel
von
** Organism
%n{nicht},
dann
** ** Organism
ist gleich
** ** Organism
%n{nicht}
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Female
))
(
mother
?CHILD ?PARENT))
Merge.kif 16493-16497
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)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16487-16491
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
Male
ist ein
attribut
von
** Organism
%n{nicht},
dann
** Organism
ist der
vater
von
** ** Organism
%n{nicht}
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Man
))
(
son
?CHILD ?PARENT))
Mid-level-ontology.kif 23027-23031
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
** ** Organism
ist ein
fall
von
Man
%n{nicht},
dann
son
** ** Organism
and
** Organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Woman
))
(
daughter
?CHILD ?PARENT))
Mid-level-ontology.kif 23033-23037
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
** ** Organism
ist ein
fall
von
Woman
%n{nicht},
dann
daughter
** ** Organism
and
** Organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23021-23025
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
** Organism
ist ein
fall
von
Man
%n{nicht},
dann
** Organism
ist der
vater
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 16386-16394
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}
(=>
(
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
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
** ** Organism
ist ein
fall
von
HumanChild
%n{nicht} oder
** ** Organism
ist ein
fall
von
HumanBaby
%n{nicht},
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
ChildCareService
%n{nicht} und
** Organism
wuenscht
** entity
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
parent
?CHILD ?PARENT)
(
subclass
?CLASS
Organism
)
(
instance
?PARENT ?CLASS))
(
instance
?CHILD ?CLASS))
Merge.kif 16379-16384
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
Class
ist eine
teilkategorie
von
Organism
und
** Organism
ist ein
fall
von
** Class
%n{nicht},
dann
** ** Organism
ist ein
fall
von
** Class
%n{nicht}
(=>
(
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 23186-23202
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht} und
spouse
** Organism
and
** ** Organism
und
cohabitant
** Organism
and
** ** Organism
und
cohabitant
** ** Organism
and
** Organism
haelt
waehrend
TimePosition
%n{nicht},
dann es gibt
Entity
um
** Entity
ist ein
fall
von
NuclearFamily
%n{nicht} und
** ** Organism
ist ein
Mitglied
von
** Entity
%n{nicht} und
** Organism
ist ein
Mitglied
von
** Entity
%n{nicht} und
** ** Organism
ist ein
Mitglied
von
** Entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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 16471-16479
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
** Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht} und
** ** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht} und
** ** Organism
ist gleich
** ** Organism
nicht und
** Organism
ist gleich
** ** Organism
nicht,
dann
** ** Organism
ist die
geschwister
von
** ** Organism
%n{nicht}
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16481-16485
Wenn
Organism
ist die
geschwister
von
** Organism
%n{nicht} und
** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht},
dann
** ** Organism
ist das
elterntiel
von
** Organism
%n{nicht}
(=>
(
parent
?CHILD ?PARENT)
(
ancestor
?CHILD ?PARENT))
Merge.kif 16371-16373
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht},
dann
ancestor
** ** Organism
and
** Organism
(=>
(
parent
?CHILD ?PARENT)
(
before
(
BeginFn
(
WhenFn
?PARENT))
(
BeginFn
(
WhenFn
?CHILD))))
Merge.kif 16375-16377
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht},
dann der
anfang
von die
zeit
des Bestehens von
** Organism
geschieht
vor
der
anfang
von die
zeit
des Bestehens von
** ** Organism
%n{nicht}
(=>
(
parent
?CHILD ?PARENT)
(
older
?PARENT ?CHILD))
Mid-level-ontology.kif 413-415
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht},
dann
older
** Organism
and
** ** Organism
consequent
(<=>
(
aunt
?A ?H)
(
exists
(?P)
(
and
(
sister
?A ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23046-23051
aunt
Woman
and
Human
genau dann wenn es gibt
** Human
um
sister
** Woman
and
** ** Human
und
** ** Human
ist das
elterntiel
von
** Human
%n{nicht}
(<=>
(
uncle
?U ?H)
(
exists
(?P)
(
and
(
brother
?U ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23137-23142
uncle
Man
and
Human
genau dann wenn es gibt
** Human
um
brother
** Man
and
** ** Human
und
** ** Human
ist das
elterntiel
von
** Human
%n{nicht}
(=>
(
and
(
instance
?REP
Replication
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
parent
?CHILD ?PARENT))
Merge.kif 10316-10321
Wenn
Process
ist ein
fall
von
Replication
%n{nicht} und
** Process
ist der
agent
von
Organism
%n{nicht} und
** Organism
ist ein
resultat
von
** Process
%n{nicht},
dann
** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht}
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16481-16485
Wenn
Organism
ist die
geschwister
von
** Organism
%n{nicht} und
** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht},
dann
** ** Organism
ist das
elterntiel
von
** Organism
%n{nicht}
(=>
(
equal
(
ImmediateFamilyFn
?P) ?FAMILY)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?FAMILY)
(
exists
(?OTHER)
(
or
(
parent
?MEMBER ?OTHER)
(
parent
?OTHER ?MEMBER))))))
Merge.kif 16291-16299
Wenn
ImmediateFamilyFn
Human
ist gleich
FamilyGroup
%n{nicht},
dann fuer alle
Organism
wenn
** Organism
ist ein
Mitglied
von
** FamilyGroup
%n{nicht},
dann es gibt
** Organism
um
** ** Organism
ist das
elterntiel
von
** Organism
%n{nicht} oder
** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht}
(=>
(
equal
(
ImmediateFamilyFn
?PERSON) ?FAMILY)
(
exists
(?MEMBER)
(
and
(
member
?MEMBER ?FAMILY)
(
or
(
parent
?MEMBER ?PERSON)
(
parent
?PERSON ?MEMBER)))))
Merge.kif 16301-16308
Wenn
ImmediateFamilyFn
Human
ist gleich
FamilyGroup
%n{nicht},
dann es gibt
Organism
um
** Organism
ist ein
Mitglied
von
** FamilyGroup
%n{nicht} und
** Human
ist das
elterntiel
von
** Organism
%n{nicht} oder
** Organism
ist das
elterntiel
von
** Human
%n{nicht}
(=>
(
father
?A ?B)
(
parent
?A ?B))
Merge.kif 16422-16424
Wenn
Organism
ist der
vater
von
** Organism
%n{nicht},
dann
** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht}
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23083-23088
Wenn
grandfather
Human
and
Man
,
dann es gibt
Organism
um
** Man
ist der
vater
von
** Organism
%n{nicht} und
** Organism
ist das
elterntiel
von
** Human
%n{nicht}
(=>
(
grandmother
?H ?P)
(
exists
(?C)
(
and
(
mother
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23095-23100
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}
(=>
(
instance
?ORGANISM
Organism
)
(
exists
(?PARENT)
(
parent
?ORGANISM ?PARENT)))
Merge.kif 16396-16399
Wenn
Organism
ist ein
fall
von
Organism
%n{nicht},
dann es gibt
** Organism
um
** ** Organism
ist das
elterntiel
von
** Organism
%n{nicht}
(=>
(
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
Wenn
ServiceProcess
ist ein
fall
von
ChildCareService
%n{nicht},
dann es gibt
Organism
und
** Organism
um
** Organism
ist ein
fall
von
HumanChild
%n{nicht} oder
** Organism
ist ein
fall
von
HumanBaby
%n{nicht} und
serviceProvider
** ServiceProcess
and
** ** Organism
und
** Organism
ist ein
patient
von
** ServiceProcess
%n{nicht} und
** ** Organism
ist das
elterntiel
von
** Organism
nicht
(=>
(
mother
?A ?B)
(
parent
?A ?B))
Merge.kif 16405-16407
Wenn
Organism
ist die
mutter
von
** Organism
%n{nicht},
dann
** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht}
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