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
parent
の数値 1 引数は
物
の
instance
では %n
(
domain
parent
2
Organism
)
Merge.kif 16388-16388
parent
の数値 2 引数は
物
の
instance
では %n
(
instance
parent
AsymmetricRelation
)
Merge.kif 16384-16384
parent
は
非対称関係
の
instance
では %n
(
instance
parent
BinaryPredicate
)
Merge.kif 16382-16382
parent
は
2進述語
の
instance
では %n
(
instance
parent
IntransitiveRelation
)
Merge.kif 16385-16385
parent
は
非推移関係
の
instance
では %n
(
instance
parent
TotalValuedRelation
)
Merge.kif 16386-16386
parent
は
合計値関係
の
instance
では %n
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
は
parent
の
subrelation
では %n
(
subrelation
son
parent
)
Merge.kif 16470-16470
son
は
parent
の
subrelation
では %n
(
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
工程
は
無性生殖
の
instance
では %n
物
は
工程
の
result
では %n
物
は
物
の
parent
では %n
物
は
物
の
parent
では %n
物
は
物
と
equal
では %n
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Female
))
(
mother
?CHILD ?PARENT))
Merge.kif 16515-16519
物
は
物
の
parent
では %n
Female
は
物
の
attribute
では %n
物
は
物
の
mother
では %n
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16509-16513
物
は
物
の
parent
では %n
Male
は
物
の
attribute
では %n
物
は
物
の
father
では %n
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Man
))
(
son
?CHILD ?PARENT))
Mid-level-ontology.kif 23026-23030
物
は
物
の
parent
では %n
物
は
Man
の
instance
では %n
son
物
and
物
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Woman
))
(
daughter
?CHILD ?PARENT))
Mid-level-ontology.kif 23032-23036
物
は
物
の
parent
では %n
物
は
Woman
の
instance
では %n
daughter
物
and
物
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23020-23024
物
は
物
の
parent
では %n
物
は
Man
の
instance
では %n
物
は
物
の
father
では %n
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16408-16416
物
は
物
の
parent
では %n
工程
は
有性生殖
の
instance
では %n
物
は
工程
の
agent
では %n
物
は
工程
の
result
では %n
物
は
物
の
mother
では %n
物
は
物
の
father
では %n
(=>
(
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
物
は
物
の
parent
では %n
物
は
HumanChild
の
instance
では %n
物
は
HumanBaby
の
instance
では %n
ステートメント
エンティティー
エンティティー
は
ChildCareService
の
instance
では %n
物
が
エンティティー
を
desire
s %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
parent
?CHILD ?PARENT)
(
subclass
?CLASS
Organism
)
(
instance
?PARENT ?CLASS))
(
instance
?CHILD ?CLASS))
Merge.kif 16401-16406
物
は
物
の
parent
では %n
クラス
は
物
の
subclass
では %n
物
は
クラス
の
instance
では %n
物
は
クラス
の
instance
では %n
(=>
(
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
物
は
物
の
parent
では %n
物
は
物
の
parent
では %n
spouse
物
and
物
cohabitant
物
and
物
cohabitant
物
and
物
は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
NuclearFamily
の
instance
では %n
物
は
エンティティー
の
member
では %n
物
は
エンティティー
の
member
では %n
物
は
エンティティー
の
member
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
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
物
は
物
の
parent
では %n
物
は
物
の
parent
では %n
物
は
物
の
parent
では %n
物
は
物
の
parent
では %n
物
は
物
と
equal
では
物
は
物
と
equal
では
物
は
物
の
father
では %n
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16503-16507
物
は
物
の
father
では %n
物
は
物
の
parent
では %n
物
は
物
の
parent
では %n
(=>
(
parent
?CHILD ?PARENT)
(
ancestor
?CHILD ?PARENT))
Merge.kif 16393-16395
物
は
物
の
parent
では %n
ancestor
物
and
物
(=>
(
parent
?CHILD ?PARENT)
(
before
(
BeginFn
(
WhenFn
?PARENT))
(
BeginFn
(
WhenFn
?CHILD))))
Merge.kif 16397-16399
物
は
物
の
parent
では %n
物
の
time
の existence の
beginning
は
物
の
time
の existence の
beginning
の
before
に happens %n{ない}
(=>
(
parent
?CHILD ?PARENT)
(
older
?PARENT ?CHILD))
Mid-level-ontology.kif 413-415
物
は
物
の
parent
では %n
older
物
and
物
consequent
(<=>
(
aunt
?A ?H)
(
exists
(?P)
(
and
(
sister
?A ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23045-23050
aunt
Woman
and
人[人間]
人[人間]
sister
Woman
and
人[人間]
人[人間]
は
人[人間]
の
parent
では %n
(<=>
(
uncle
?U ?H)
(
exists
(?P)
(
and
(
brother
?U ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23136-23141
uncle
Man
and
人[人間]
人[人間]
brother
Man
and
人[人間]
人[人間]
は
人[人間]
の
parent
では %n
(=>
(
and
(
instance
?REP
Replication
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
parent
?CHILD ?PARENT))
Merge.kif 10338-10343
工程
は
複製
の
instance
では %n
物
は
工程
の
agent
では %n
物
は
工程
の
result
では %n
物
は
物
の
parent
では %n
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16503-16507
物
は
物
の
father
では %n
物
は
物
の
parent
では %n
物
は
物
の
parent
では %n
(=>
(
equal
(
ImmediateFamilyFn
?P) ?FAMILY)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?FAMILY)
(
exists
(?OTHER)
(
or
(
parent
?MEMBER ?OTHER)
(
parent
?OTHER ?MEMBER))))))
Merge.kif 16313-16321
ImmediateFamilyFn
人[人間]
は
ファミリーグループ
と
equal
では %n
物
物
は
ファミリーグループ
の
member
では %n
物
物
は
物
の
parent
では %n
物
は
物
の
parent
では %n
(=>
(
equal
(
ImmediateFamilyFn
?PERSON) ?FAMILY)
(
exists
(?MEMBER)
(
and
(
member
?MEMBER ?FAMILY)
(
or
(
parent
?MEMBER ?PERSON)
(
parent
?PERSON ?MEMBER)))))
Merge.kif 16323-16330
ImmediateFamilyFn
人[人間]
は
ファミリーグループ
と
equal
では %n
物
物
は
ファミリーグループ
の
member
では %n
人[人間]
は
物
の
parent
では %n
物
は
人[人間]
の
parent
では %n
(=>
(
father
?A ?B)
(
parent
?A ?B))
Merge.kif 16444-16446
物
は
物
の
father
では %n
物
は
物
の
parent
では %n
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23082-23087
grandfather
人[人間]
and
Man
物
Man
は
物
の
father
では %n
物
は
人[人間]
の
parent
では %n
(=>
(
grandmother
?H ?P)
(
exists
(?C)
(
and
(
mother
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23094-23099
grandmother
人[人間]
and
Woman
物
Woman
は
物
の
mother
では %n
物
は
人[人間]
の
parent
では %n
(=>
(
instance
?ORGANISM
Organism
)
(
exists
(?PARENT)
(
parent
?ORGANISM ?PARENT)))
Merge.kif 16418-16421
物
は
物
の
instance
では %n
物
物
は
物
の
parent
では %n
(=>
(
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
は
ChildCareService
の
instance
では %n
物
物
物
は
HumanChild
の
instance
では %n
物
は
HumanBaby
の
instance
では %n
物
は
ServiceProcess
の間サービスを provides %n{ない}
物
は
ServiceProcess
の
patient
では %n
物
は
物
の
parent
では
(=>
(
mother
?A ?B)
(
parent
?A ?B))
Merge.kif 16427-16429
物
は
物
の
mother
では %n
物
は
物
の
parent
では %n
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