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 16438-16440
(
domain
parent
1
Organism
)
Merge.kif 16436-16436
O argumento numero 1 de
parent
e' uma
instancia
de
Organismo
(
domain
parent
2
Organism
)
Merge.kif 16437-16437
O argumento numero 2 de
parent
e' uma
instancia
de
Organismo
(
instance
parent
AsymmetricRelation
)
Merge.kif 16433-16433
parent
e' uma
instancia
de
Relacao Assimetrica
(
instance
parent
BinaryPredicate
)
Merge.kif 16431-16431
parent
e' uma
instancia
de
Predicado Binario
(
instance
parent
IntransitiveRelation
)
Merge.kif 16434-16434
parent
e' uma
instancia
de
Relacao Intransitiva
(
instance
parent
TotalValuedRelation
)
Merge.kif 16435-16435
parent
e' uma
instancia
de
Relacao 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 16508-16508
daughter
e' uma
sub
-relacao de
parent
(
subrelation
son
parent
)
Merge.kif 16519-16519
son
e' uma
sub
-relacao de
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
Processo
e' uma
instancia
de
Reproducao Assexual
Organismo
e' o
resultado
de
Processo
Organismo
e' um
genitor
de
Organismo
Organismo
e' um
genitor
de
Organismo
Organismo
e'
igual
a
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Female
))
(
mother
?CHILD ?PARENT))
Merge.kif 16564-16568
Organismo
e' um
genitor
de
Organismo
Female
e' um
atributo
de
Organismo
Organismo
e' a
mae
de
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16558-16562
Organismo
e' um
genitor
de
Organismo
Male
e' um
atributo
de
Organismo
Organismo
e' o
pai
de
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Man
))
(
son
?CHILD ?PARENT))
Mid-level-ontology.kif 23079-23083
Organismo
e' um
genitor
de
Organismo
Organismo
e' uma
instancia
de
Man
son
Organismo
and
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Woman
))
(
daughter
?CHILD ?PARENT))
Mid-level-ontology.kif 23085-23089
Organismo
e' um
genitor
de
Organismo
Organismo
e' uma
instancia
de
Woman
daughter
Organismo
and
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23073-23077
Organismo
e' um
genitor
de
Organismo
Organismo
e' uma
instancia
de
Man
Organismo
e' o
pai
de
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16457-16465
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
(=>
(
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
Organismo
e' um
genitor
de
Organismo
Organismo
e' uma
instancia
de
HumanChild
Organismo
e' uma
instancia
de
HumanBaby
o argumento
Entidade
Entidade
e' uma
instancia
de
ChildCareService
Organismo
deseja
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
parent
?CHILD ?PARENT)
(
subclass
?CLASS
Organism
)
(
instance
?PARENT ?CLASS))
(
instance
?CHILD ?CLASS))
Merge.kif 16450-16455
Organismo
e' um
genitor
de
Organismo
Classe
e' uma
sub
-classe de
Organismo
Organismo
e' uma
instancia
de
Classe
Organismo
e' uma
instancia
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 23238-23254
Organismo
e' um
genitor
de
Organismo
Organismo
e' um
genitor
de
Organismo
spouse
Organismo
and
Organismo
cohabitant
Organismo
and
Organismo
cohabitant
Organismo
and
Organismo
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
NuclearFamily
Organismo
e'
membro
de
Entidade
Organismo
e'
membro
de
Entidade
Organismo
e'
membro
de
Entidade
vale
durante
Posicao Temporal
(=>
(
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
Organismo
e' um
genitor
de
Organismo
Organismo
e' um
genitor
de
Organismo
Organismo
e' um
genitor
de
Organismo
Organismo
e' um
genitor
de
Organismo
Organismo
e'
igual
a
Organismo
Organismo
e'
igual
a
Organismo
Organismo
e' um
irmao
ou uma irma de
Organismo
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16552-16556
Organismo
e' um
irmao
ou uma irma de
Organismo
Organismo
e' um
genitor
de
Organismo
Organismo
e' um
genitor
de
Organismo
(=>
(
parent
?CHILD ?PARENT)
(
ancestor
?CHILD ?PARENT))
Merge.kif 16442-16444
Organismo
e' um
genitor
de
Organismo
ancestor
Organismo
and
Organismo
(=>
(
parent
?CHILD ?PARENT)
(
before
(
BeginFn
(
WhenFn
?PARENT))
(
BeginFn
(
WhenFn
?CHILD))))
Merge.kif 16446-16448
Organismo
e' um
genitor
de
Organismo
o
comeco
de
tempo
de existencia de
Organismo
comeca
antes
de o
comeco
de
tempo
de existencia de
Organismo
(=>
(
parent
?CHILD ?PARENT)
(
older
?PARENT ?CHILD))
Mid-level-ontology.kif 406-408
Organismo
e' um
genitor
de
Organismo
older
Organismo
and
Organismo
consequent
(<=>
(
aunt
?A ?H)
(
exists
(?P)
(
and
(
sister
?A ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23098-23103
aunt
Woman
and
Humano
Humano
sister
Woman
and
Humano
Humano
e' um
genitor
de
Humano
(<=>
(
uncle
?U ?H)
(
exists
(?P)
(
and
(
brother
?U ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23189-23194
uncle
Man
and
Humano
Humano
brother
Man
and
Humano
Humano
e' um
genitor
de
Humano
(=>
(
and
(
instance
?REP
Replication
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
parent
?CHILD ?PARENT))
Merge.kif 10352-10357
Processo
e' uma
instancia
de
Reproducao
Processo
e' um
agente
de
Organismo
Organismo
e' o
resultado
de
Processo
Organismo
e' um
genitor
de
Organismo
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16552-16556
Organismo
e' um
irmao
ou uma irma de
Organismo
Organismo
e' um
genitor
de
Organismo
Organismo
e' um
genitor
de
Organismo
(=>
(
equal
(
ImmediateFamilyFn
?P) ?FAMILY)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?FAMILY)
(
exists
(?OTHER)
(
or
(
parent
?MEMBER ?OTHER)
(
parent
?OTHER ?MEMBER))))))
Merge.kif 16362-16370
ImmediateFamilyFn
Humano
e'
igual
a
Grupo Familiar
Organismo
Organismo
e'
membro
de
Grupo Familiar
Organismo
Organismo
e' um
genitor
de
Organismo
Organismo
e' um
genitor
de
Organismo
(=>
(
equal
(
ImmediateFamilyFn
?PERSON) ?FAMILY)
(
exists
(?MEMBER)
(
and
(
member
?MEMBER ?FAMILY)
(
or
(
parent
?MEMBER ?PERSON)
(
parent
?PERSON ?MEMBER)))))
Merge.kif 16372-16379
ImmediateFamilyFn
Humano
e'
igual
a
Grupo Familiar
Organismo
Organismo
e'
membro
de
Grupo Familiar
Humano
e' um
genitor
de
Organismo
Organismo
e' um
genitor
de
Humano
(=>
(
father
?A ?B)
(
parent
?A ?B))
Merge.kif 16493-16495
Organismo
e' o
pai
de
Organismo
Organismo
e' um
genitor
de
Organismo
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23135-23140
grandfather
Humano
and
Man
Organismo
Man
e' o
pai
de
Organismo
Organismo
e' um
genitor
de
Humano
(=>
(
grandmother
?H ?P)
(
exists
(?C)
(
and
(
mother
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23147-23152
grandmother
Humano
and
Woman
Organismo
Woman
e' a
mae
de
Organismo
Organismo
e' um
genitor
de
Humano
(=>
(
instance
?ORGANISM
Organism
)
(
exists
(?PARENT)
(
parent
?ORGANISM ?PARENT)))
Merge.kif 16467-16470
Organismo
e' uma
instancia
de
Organismo
Organismo
Organismo
e' um
genitor
de
Organismo
(=>
(
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
e' uma
instancia
de
ChildCareService
Organismo
Organismo
Organismo
e' uma
instancia
de
HumanChild
Organismo
e' uma
instancia
de
HumanBaby
serviceProvider
ServiceProcess
and
Organismo
Organismo
e' um
patient
de
ServiceProcess
Organismo
e' um
genitor
de
Organismo
(=>
(
mother
?A ?B)
(
parent
?A ?B))
Merge.kif 16476-16478
Organismo
e' a
mae
de
Organismo
Organismo
e' um
genitor
de
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