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 16389-16391
(
domain
parent
1
Organism
)
Merge.kif 16387-16387
Il numero 1 argomenti di
parent
è un
istanza
di
Organismo
(
domain
parent
2
Organism
)
Merge.kif 16388-16388
Il numero 2 argomenti di
parent
è un
istanza
di
Organismo
(
instance
parent
AsymmetricRelation
)
Merge.kif 16384-16384
parent
è un'
istanza
di
RelazioneAsimmetrica
(
instance
parent
BinaryPredicate
)
Merge.kif 16382-16382
parent
è un'
istanza
di
PredicatoBinario
(
instance
parent
IntransitiveRelation
)
Merge.kif 16385-16385
parent
è un'
istanza
di
RelazioneIntransitiva
(
instance
parent
TotalValuedRelation
)
Merge.kif 16386-16386
parent
è un'
istanza
di
RelazioneAValoreTotale
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 16459-16459
daughter
è una
sottorelazione
di
parent
(
subrelation
son
parent
)
Merge.kif 16470-16470
son
è una
sottorelazione
di
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 10385-10391
Processo
è un'
istanza
di
RiproduzioneAsessuata
Organismo
è un
risultato
di
Processo
Organismo
è un
parente
di
Organismo
Organismo
è un
parente
di
Organismo
Organismo
is
uguale
a
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Female
))
(
mother
?CHILD ?PARENT))
Merge.kif 16515-16519
Organismo
è un
parente
di
Organismo
attribute
Organismo
and
Female
Organismo
è una
madre
di
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16509-16513
Organismo
è un
parente
di
Organismo
attribute
Organismo
and
Male
Organismo
è un
padre
di
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Man
))
(
son
?CHILD ?PARENT))
Mid-level-ontology.kif 23026-23030
Organismo
è un
parente
di
Organismo
Organismo
è un'
istanza
di
Man
son
Organismo
and
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Woman
))
(
daughter
?CHILD ?PARENT))
Mid-level-ontology.kif 23032-23036
Organismo
è un
parente
di
Organismo
Organismo
è un'
istanza
di
Woman
daughter
Organismo
and
Organismo
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23020-23024
Organismo
è un
parente
di
Organismo
Organismo
è un'
istanza
di
Man
Organismo
è un
padre
di
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
è un
parente
di
Organismo
Processo
è un'
istanza
di
RiproduzioneSessuata
Processo
è un
agente
di
Organismo
Organismo
è un
risultato
di
Processo
Organismo
è una
madre
di
Organismo
Organismo
è un
padre
di
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
è un
parente
di
Organismo
Organismo
è un'
istanza
di
HumanChild
Organismo
è un'
istanza
di
HumanBaby
l'affermazione
Entit�
Entit�
è un'
istanza
di
ChildCareService
Organismo
desidera
s
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
parent
?CHILD ?PARENT)
(
subclass
?CLASS
Organism
)
(
instance
?PARENT ?CLASS))
(
instance
?CHILD ?CLASS))
Merge.kif 16401-16406
Organismo
è un
parente
di
Organismo
Classe
è una
sottoclasse
di
Organismo
Organismo
è un'
istanza
di
Classe
Organismo
è un'
istanza
di
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 23185-23201
Organismo
è un
parente
di
Organismo
Organismo
è un
parente
di
Organismo
spouse
Organismo
and
Organismo
cohabitant
Organismo
and
Organismo
cohabitant
Organismo
and
Organismo
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
NuclearFamily
Organismo
è un
membro
di
Entit�
Organismo
è un
membro
di
Entit�
Organismo
è un
membro
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
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 16493-16501
Organismo
è un
parente
di
Organismo
Organismo
è un
parente
di
Organismo
Organismo
è un
parente
di
Organismo
Organismo
è un
parente
di
Organismo
Organismo
is
uguale
a
Organismo
Organismo
is
uguale
a
Organismo
Organismo
è un
fratello
germano di
Organismo
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16503-16507
Organismo
è un
fratello
germano di
Organismo
Organismo
è un
parente
di
Organismo
Organismo
è un
parente
di
Organismo
(=>
(
parent
?CHILD ?PARENT)
(
ancestor
?CHILD ?PARENT))
Merge.kif 16393-16395
Organismo
è un
parente
di
Organismo
ancestor
Organismo
and
Organismo
(=>
(
parent
?CHILD ?PARENT)
(
before
(
BeginFn
(
WhenFn
?PARENT))
(
BeginFn
(
WhenFn
?CHILD))))
Merge.kif 16397-16399
Organismo
è un
parente
di
Organismo
l'
inizio
di il
tempo
di esistenza di
Organismo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Organismo
(=>
(
parent
?CHILD ?PARENT)
(
older
?PARENT ?CHILD))
Mid-level-ontology.kif 413-415
Organismo
è un
parente
di
Organismo
older
Organismo
and
Organismo
consequent
(<=>
(
aunt
?A ?H)
(
exists
(?P)
(
and
(
sister
?A ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23045-23050
aunt
Woman
and
Umano
Umano
sister
Woman
and
Umano
Umano
è un
parente
di
Umano
(<=>
(
uncle
?U ?H)
(
exists
(?P)
(
and
(
brother
?U ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23136-23141
uncle
Man
and
Umano
Umano
brother
Man
and
Umano
Umano
è un
parente
di
Umano
(=>
(
and
(
instance
?REP
Replication
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
parent
?CHILD ?PARENT))
Merge.kif 10338-10343
Processo
è un'
istanza
di
Replicazione
Processo
è un
agente
di
Organismo
Organismo
è un
risultato
di
Processo
Organismo
è un
parente
di
Organismo
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16503-16507
Organismo
è un
fratello
germano di
Organismo
Organismo
è un
parente
di
Organismo
Organismo
è un
parente
di
Organismo
(=>
(
equal
(
ImmediateFamilyFn
?P) ?FAMILY)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?FAMILY)
(
exists
(?OTHER)
(
or
(
parent
?MEMBER ?OTHER)
(
parent
?OTHER ?MEMBER))))))
Merge.kif 16313-16321
ImmediateFamilyFn
Umano
is
uguale
a
GruppoFamiliare
Organismo
Organismo
è un
membro
di
GruppoFamiliare
Organismo
Organismo
è un
parente
di
Organismo
Organismo
è un
parente
di
Organismo
(=>
(
equal
(
ImmediateFamilyFn
?PERSON) ?FAMILY)
(
exists
(?MEMBER)
(
and
(
member
?MEMBER ?FAMILY)
(
or
(
parent
?MEMBER ?PERSON)
(
parent
?PERSON ?MEMBER)))))
Merge.kif 16323-16330
ImmediateFamilyFn
Umano
is
uguale
a
GruppoFamiliare
Organismo
Organismo
è un
membro
di
GruppoFamiliare
Umano
è un
parente
di
Organismo
Organismo
è un
parente
di
Umano
(=>
(
father
?A ?B)
(
parent
?A ?B))
Merge.kif 16444-16446
Organismo
è un
padre
di
Organismo
Organismo
è un
parente
di
Organismo
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23082-23087
grandfather
Umano
and
Man
Organismo
Man
è un
padre
di
Organismo
Organismo
è un
parente
di
Umano
(=>
(
grandmother
?H ?P)
(
exists
(?C)
(
and
(
mother
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23094-23099
grandmother
Umano
and
Woman
Organismo
Woman
è una
madre
di
Organismo
Organismo
è un
parente
di
Umano
(=>
(
instance
?ORGANISM
Organism
)
(
exists
(?PARENT)
(
parent
?ORGANISM ?PARENT)))
Merge.kif 16418-16421
Organismo
è un'
istanza
di
Organismo
Organismo
Organismo
è un
parente
di
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
è un'
istanza
di
ChildCareService
Organismo
Organismo
Organismo
è un'
istanza
di
HumanChild
Organismo
è un'
istanza
di
HumanBaby
serviceProvider
ServiceProcess
and
Organismo
Organismo
è un
paziente
di
ServiceProcess
Organismo
è un
parente
di
Organismo
(=>
(
mother
?A ?B)
(
parent
?A ?B))
Merge.kif 16427-16429
Organismo
è una
madre
di
Organismo
Organismo
è un
parente
di
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