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
Le nombre 1 argument de
parent
est une
instance
de
organisme
(
domain
parent
2
Organism
)
Merge.kif 16366-16366
Le nombre 2 argument de
parent
est une
instance
de
organisme
(
instance
parent
AsymmetricRelation
)
Merge.kif 16362-16362
parent
est une
instance
de
relation asym�trique
(
instance
parent
BinaryPredicate
)
Merge.kif 16360-16360
parent
est une
instance
de
pr�dicat binaire
(
instance
parent
IntransitiveRelation
)
Merge.kif 16363-16363
parent
est une
instance
de
relation intransitive
(
instance
parent
TotalValuedRelation
)
Merge.kif 16364-16364
parent
est une
instance
de
relation total
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
est une
sous
-relation de
parent
(
subrelation
son
parent
)
Merge.kif 16448-16448
son
est une
sous
-relation de
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
Processus
est une
instance
de
reproduction asexu�
organisme
est le
resultat
de
processus
organisme
est un
parent
de
organisme
organisme
est un
parent
de
organisme
organisme
est
organisme
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Female
))
(
mother
?CHILD ?PARENT))
Merge.kif 16493-16497
Organisme
est un
parent
de
organisme
Female
est un
attribut
de
organisme
organisme
est la
m
�re de
organisme
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16487-16491
Organisme
est un
parent
de
organisme
Male
est un
attribut
de
organisme
organisme
est le
p
�re de
organisme
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Man
))
(
son
?CHILD ?PARENT))
Mid-level-ontology.kif 23027-23031
Organisme
est un
parent
de
organisme
organisme
est une
instance
de
Man
son
organisme
and
organisme
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Woman
))
(
daughter
?CHILD ?PARENT))
Mid-level-ontology.kif 23033-23037
Organisme
est un
parent
de
organisme
organisme
est une
instance
de
Woman
daughter
organisme
and
organisme
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23021-23025
Organisme
est un
parent
de
organisme
organisme
est une
instance
de
Man
organisme
est le
p
�re de
organisme
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16386-16394
Organisme
est un
parent
de
organisme
processus
est une
instance
de
reproduction sexuel
processus
est un
agent
de
organisme
organisme
est le
resultat
de
processus
organisme
est la
m
�re de
organisme
organisme
est le
p
�re de
organisme
(=>
(
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
Organisme
est un
parent
de
organisme
organisme
est une
instance
de
HumanChild
organisme
est une
instance
de
HumanBaby
l'argument
entit�
entit�
est une
instance
de
ChildCareService
organisme
desire
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
parent
?CHILD ?PARENT)
(
subclass
?CLASS
Organism
)
(
instance
?PARENT ?CLASS))
(
instance
?CHILD ?CLASS))
Merge.kif 16379-16384
Organisme
est un
parent
de
organisme
classe
est une
sous
-classe de
organisme
organisme
est une
instance
de
classe
organisme
est une
instance
de
classe
(=>
(
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
Organisme
est un
parent
de
organisme
organisme
est un
parent
de
organisme
spouse
organisme
and
organisme
cohabitant
organisme
and
organisme
cohabitant
organisme
and
organisme
pendant
position temporel
entit�
entit�
est une
instance
de
NuclearFamily
organisme
est un
membre
de
entit�
organisme
est un
membre
de
entit�
organisme
est un
membre
de
entit�
pendant
position temporel
(=>
(
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
Organisme
est un
parent
de
organisme
organisme
est un
parent
de
organisme
organisme
est un
parent
de
organisme
organisme
est un
parent
de
organisme
organisme
est
organisme
organisme
est
organisme
organisme
est un
fr
�re ou une soeur de
organisme
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16481-16485
Organisme
est un
fr
�re ou une soeur de
organisme
organisme
est un
parent
de
organisme
organisme
est un
parent
de
organisme
(=>
(
parent
?CHILD ?PARENT)
(
ancestor
?CHILD ?PARENT))
Merge.kif 16371-16373
Organisme
est un
parent
de
organisme
ancestor
organisme
and
organisme
(=>
(
parent
?CHILD ?PARENT)
(
before
(
BeginFn
(
WhenFn
?PARENT))
(
BeginFn
(
WhenFn
?CHILD))))
Merge.kif 16375-16377
Organisme
est un
parent
de
organisme
le
d
�but de
temps
d'existence de
organisme
se produit
avant
le
d
�but de
temps
d'existence de
organisme
(=>
(
parent
?CHILD ?PARENT)
(
older
?PARENT ?CHILD))
Mid-level-ontology.kif 413-415
Organisme
est un
parent
de
organisme
older
organisme
and
organisme
consequent
(<=>
(
aunt
?A ?H)
(
exists
(?P)
(
and
(
sister
?A ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23046-23051
aunt
Woman
and
humain
humain
sister
Woman
and
humain
humain
est un
parent
de
humain
(<=>
(
uncle
?U ?H)
(
exists
(?P)
(
and
(
brother
?U ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23137-23142
uncle
Man
and
humain
humain
brother
Man
and
humain
humain
est un
parent
de
humain
(=>
(
and
(
instance
?REP
Replication
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
parent
?CHILD ?PARENT))
Merge.kif 10316-10321
Processus
est une
instance
de
reproduction
processus
est un
agent
de
organisme
organisme
est le
resultat
de
processus
organisme
est un
parent
de
organisme
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16481-16485
Organisme
est un
fr
�re ou une soeur de
organisme
organisme
est un
parent
de
organisme
organisme
est un
parent
de
organisme
(=>
(
equal
(
ImmediateFamilyFn
?P) ?FAMILY)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?FAMILY)
(
exists
(?OTHER)
(
or
(
parent
?MEMBER ?OTHER)
(
parent
?OTHER ?MEMBER))))))
Merge.kif 16291-16299
ImmediateFamilyFn
humain
est
family groupe familiale
organisme
organisme
est un
membre
de
family groupe familiale
organisme
organisme
est un
parent
de
organisme
organisme
est un
parent
de
organisme
(=>
(
equal
(
ImmediateFamilyFn
?PERSON) ?FAMILY)
(
exists
(?MEMBER)
(
and
(
member
?MEMBER ?FAMILY)
(
or
(
parent
?MEMBER ?PERSON)
(
parent
?PERSON ?MEMBER)))))
Merge.kif 16301-16308
ImmediateFamilyFn
humain
est
family groupe familiale
organisme
organisme
est un
membre
de
family groupe familiale
humain
est un
parent
de
organisme
organisme
est un
parent
de
humain
(=>
(
father
?A ?B)
(
parent
?A ?B))
Merge.kif 16422-16424
Organisme
est le
p
�re de
organisme
organisme
est un
parent
de
organisme
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23083-23088
grandfather
humain
and
Man
organisme
Man
est le
p
�re de
organisme
organisme
est un
parent
de
humain
(=>
(
grandmother
?H ?P)
(
exists
(?C)
(
and
(
mother
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23095-23100
grandmother
humain
and
Woman
organisme
Woman
est la
m
�re de
organisme
organisme
est un
parent
de
humain
(=>
(
instance
?ORGANISM
Organism
)
(
exists
(?PARENT)
(
parent
?ORGANISM ?PARENT)))
Merge.kif 16396-16399
Organisme
est une
instance
de
organisme
organisme
organisme
est un
parent
de
organisme
(=>
(
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
ServiceProcess
est une
instance
de
ChildCareService
organisme
organisme
organisme
est une
instance
de
HumanChild
organisme
est une
instance
de
HumanBaby
serviceProvider
ServiceProcess
and
organisme
organisme
est un
patient
de
ServiceProcess
organisme
est un
parent
de
organisme
(=>
(
mother
?A ?B)
(
parent
?A ?B))
Merge.kif 16405-16407
Organisme
est la
m
�re de
organisme
organisme
est un
parent
de
organisme
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