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
父母
的 1 数量 是
生物
的
instance
(
domain
parent
2
Organism
)
Merge.kif 16388-16388
父母
的 2 数量 是
生物
的
instance
(
instance
parent
AsymmetricRelation
)
Merge.kif 16384-16384
父母
是
非对称关系
的
instance
(
instance
parent
BinaryPredicate
)
Merge.kif 16382-16382
父母
是
二元谓语
的
instance
(
instance
parent
IntransitiveRelation
)
Merge.kif 16385-16385
父母
是
非传递关系
的
instance
(
instance
parent
TotalValuedRelation
)
Merge.kif 16386-16386
父母
是
总值关系
的
instance
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
女儿
是
父母
的
subrelation
(
subrelation
son
parent
)
Merge.kif 16470-16470
儿子
是
父母
的
subrelation
(
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
和
生物
是
那个 过程
的
result
和
另一个 生物
是
那个 生物
的
parent
和
第三 生物
是
那个 生物
的
parent
,
然后
那个 另外 生物
equal
那个 第三 生物
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Female
))
(
mother
?CHILD ?PARENT))
Merge.kif 16515-16519
如果
生物
是
另一个 生物
的
parent
和
女
是
那个 生物
的
attribute
,
然后
那个 生物
是
那个 另外 生物
的
mother
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16509-16513
如果
生物
是
另一个 生物
的
parent
和
男
是
那个 生物
的
attribute
,
然后
那个 生物
是
那个 另外 生物
father
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Man
))
(
son
?CHILD ?PARENT))
Mid-level-ontology.kif 23026-23030
如果
生物
是
另一个 生物
的
parent
和
那个 另外 生物
是
人
的
instance
,
然后
那个 另外 生物
是
那个 生物
的
son
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Woman
))
(
daughter
?CHILD ?PARENT))
Mid-level-ontology.kif 23032-23036
如果
生物
是
另一个 生物
的
parent
和
那个 另外 生物
是
女人
的
instance
,
然后
那个 另外 生物
是
那个 生物
的
daughter
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23020-23024
如果
生物
是
另一个 生物
的
parent
和
那个 生物
是
人
的
instance
,
然后
那个 生物
是
那个 另外 生物
father
(=>
(
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
和
过程
是
有性繁殖
的
instance
和
那个 生物
是
那个 过程
的
agent
和
那个 另外 生物
是
那个 过程
的
result
,
然后
那个 生物
是
那个 另外 生物
的
mother
或
那个 生物
是
那个 另外 生物
father
(=>
(
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
和
那个 另外 生物
是
人类的孩子
的
instance
或
那个 另外 生物
是
人类宝贝
的
instance
,
然后 有存在
实体
这样
那个 实体
是
ChildCareService
的
instance
和
那个 生物
desires
那个 实体
的声明 has
可能性
的语气
(=>
(
and
(
parent
?CHILD ?PARENT)
(
subclass
?CLASS
Organism
)
(
instance
?PARENT ?CLASS))
(
instance
?CHILD ?CLASS))
Merge.kif 16401-16406
如果
生物
是
另一个 生物
的
parent
和
类
是
生物
的
subclass
和
那个 生物
是
那个 类
的
instance
,
然后
那个 另外 生物
是
那个 类
的
instance
(=>
(
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
和
第三 生物
是
那个 另外 生物
的
parent
和
那个 生物
是
那个 第三 生物
的
spouse
和
那个 第三 生物
是
那个 生物
的
cohabitant
和
那个 生物
是
那个 另外 生物
的
cohabitant
在
时间位置
holdsDuring
,
然后 有存在
实体
这样
那个 实体
是
核心家庭
的
instance
和
那个 另外 生物
是
那个 实体
的
member
和
那个 生物
是
那个 实体
的
member
和
那个 第三 生物
是
那个 实体
的
member
在
那个 时间位置
holdsDuring
(=>
(
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
和
那个 生物
是
第三 生物
的
parent
和
第四 生物
是
那个 另外 生物
的
parent
和
那个 第四 生物
是
那个 第三 生物
的
parent
和
那个 另外 生物
不
equal
那个 第三 生物
和
那个 生物
不
equal
那个 第四 生物
,
然后
那个 另外 生物
是
那个 第三 生物
的
sibling
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16503-16507
如果
生物
是
另一个 生物
的
sibling
和
第三 生物
是
那个 生物
的
parent
,
然后
那个 第三 生物
是
那个 另外 生物
的
parent
(=>
(
parent
?CHILD ?PARENT)
(
ancestor
?CHILD ?PARENT))
Merge.kif 16393-16395
如果
生物
是
另一个 生物
的
parent
,
然后
那个 生物
是
那个 另外 生物
的
ancestor
(=>
(
parent
?CHILD ?PARENT)
(
before
(
BeginFn
(
WhenFn
?PARENT))
(
BeginFn
(
WhenFn
?CHILD))))
Merge.kif 16397-16399
如果
生物
是
另一个 生物
的
parent
,
然后
那个 生物
出现 的
time
的开始%n在
那个 另外 生物
出现 的
time
的开始
before
发生
(=>
(
parent
?CHILD ?PARENT)
(
older
?PARENT ?CHILD))
Mid-level-ontology.kif 413-415
如果
生物
是
另一个 生物
的
parent
,
然后
那个 另外 生物
是
那个 生物
的
older
consequent
(<=>
(
aunt
?A ?H)
(
exists
(?P)
(
and
(
sister
?A ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23045-23050
女人
是
人类
的
aunt
若且唯若 有存在
另一个 人类
这样
那个 女人
是
那个 另外 人类
的
sister
和
那个 另外 人类
是
那个 人类
的
parent
(<=>
(
uncle
?U ?H)
(
exists
(?P)
(
and
(
brother
?U ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23136-23141
人类
的
uncle
是
人
若且唯若 有存在
另一个 人类
这样
那个 人
是
那个 另外 人类
的
brother
和
那个 另外 人类
是
那个 人类
的
parent
(=>
(
and
(
instance
?REP
Replication
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
parent
?CHILD ?PARENT))
Merge.kif 10338-10343
如果
过程
是
复制
的
instance
和
生物
是
那个 过程
的
agent
和
另一个 生物
是
那个 过程
的
result
,
然后
那个 生物
是
那个 另外 生物
的
parent
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16503-16507
如果
生物
是
另一个 生物
的
sibling
和
第三 生物
是
那个 生物
的
parent
,
然后
那个 第三 生物
是
那个 另外 生物
的
parent
(=>
(
equal
(
ImmediateFamilyFn
?P) ?FAMILY)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?FAMILY)
(
exists
(?OTHER)
(
or
(
parent
?MEMBER ?OTHER)
(
parent
?OTHER ?MEMBER))))))
Merge.kif 16313-16321
如果
人类
的
immediate
家庭
equal
家族群组
,
然后 对所有
生物
如果
那个 生物
是
那个 家族群组
的
member
,
然后 有存在
另一个 生物
这样
那个 另外 生物
是
那个 生物
的
parent
或
那个 生物
是
那个 另外 生物
的
parent
(=>
(
equal
(
ImmediateFamilyFn
?PERSON) ?FAMILY)
(
exists
(?MEMBER)
(
and
(
member
?MEMBER ?FAMILY)
(
or
(
parent
?MEMBER ?PERSON)
(
parent
?PERSON ?MEMBER)))))
Merge.kif 16323-16330
如果
人类
的
immediate
家庭
equal
家族群组
,
然后 有存在
生物
这样
那个 生物
是
那个 家族群组
的
member
和
那个 人类
是
那个 生物
的
parent
或
那个 生物
是
那个 人类
的
parent
(=>
(
father
?A ?B)
(
parent
?A ?B))
Merge.kif 16444-16446
如果
生物
是
另一个 生物
father
,
然后
那个 生物
是
那个 另外 生物
的
parent
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23082-23087
如果
人类
的
grandfather
是
人
,
然后 有存在
生物
这样
那个 人
是
那个 生物
father
和
那个 生物
是
那个 人类
的
parent
(=>
(
grandmother
?H ?P)
(
exists
(?C)
(
and
(
mother
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23094-23099
如果
人类
的
grandmother
是
女人
,
然后 有存在
生物
这样
那个 女人
是
那个 生物
的
mother
和
那个 生物
是
那个 人类
的
parent
(=>
(
instance
?ORGANISM
Organism
)
(
exists
(?PARENT)
(
parent
?ORGANISM ?PARENT)))
Merge.kif 16418-16421
如果
生物
是
生物
的
instance
,
然后 有存在
另一个 生物
这样
那个 另外 生物
是
那个 生物
的
parent
(=>
(
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
如果
服务
是
ChildCareService
的
instance
,
然后 有存在
生物
和
另一个 生物
这样
那个 生物
是
人类的孩子
的
instance
或
那个 生物
是
人类宝贝
的
instance
和
那个 另外 生物
在
那个 服务
中提供服务 和
那个 生物
是
那个 服务
的
patient
和
那个 另外 生物
不 是
那个 生物
的
parent
(=>
(
mother
?A ?B)
(
parent
?A ?B))
Merge.kif 16427-16429
如果
生物
是
另一个 生物
的
mother
,
然后
那个 生物
是
那个 另外 生物
的
parent
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