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
域
親
, 1 and
Organism
(
domain
parent
2
Organism
)
Merge.kif 16366-16366
域
親
, 2 and
Organism
(
instance
parent
AsymmetricRelation
)
Merge.kif 16362-16362
例
親
and
AsymmetricRelation
(
instance
parent
BinaryPredicate
)
Merge.kif 16360-16360
例
親
and
BinaryPredicate
(
instance
parent
IntransitiveRelation
)
Merge.kif 16363-16363
例
親
and
IntransitiveRelation
(
instance
parent
TotalValuedRelation
)
Merge.kif 16364-16364
例
親
and
TotalValuedRelation
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
子關係
女兒
and
親
(
subrelation
son
parent
)
Merge.kif 16448-16448
子關係
兒子
and
親
(
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
例
Process
and
AsexualReproduction
結果
Process
and
Organism
親
Organism
and
Organism
親
Organism
and
Organism
等於
Organism
and
Organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Female
))
(
mother
?CHILD ?PARENT))
Merge.kif 16493-16497
親
Organism
and
Organism
attribute
Organism
and
女
母親
Organism
and
Organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16487-16491
親
Organism
and
Organism
attribute
Organism
and
男
父親
Organism
and
Organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Man
))
(
son
?CHILD ?PARENT))
Mid-level-ontology.kif 23027-23031
親
Organism
and
Organism
例
Organism
and
人
Organism
是
Organism
的
son
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?CHILD
Woman
))
(
daughter
?CHILD ?PARENT))
Mid-level-ontology.kif 23033-23037
親
Organism
and
Organism
例
Organism
and
女人
Organism
是
Organism
的
daughter
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23021-23025
親
Organism
and
Organism
例
Organism
and
人
父親
Organism
and
Organism
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16386-16394
親
Organism
and
Organism
例
Process
and
SexualReproduction
agent
Process
and
Organism
結果
Process
and
Organism
母親
Organism
and
Organism
父親
Organism
and
Organism
(=>
(
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
親
Organism
and
Organism
例
Organism
and
人類的孩子
例
Organism
and
人類寶貝
模態屬性
entity
例
entity
and
ChildCareService
慾望
Organism
and
entity
and
可能性
(=>
(
and
(
parent
?CHILD ?PARENT)
(
subclass
?CLASS
Organism
)
(
instance
?PARENT ?CLASS))
(
instance
?CHILD ?CLASS))
Merge.kif 16379-16384
親
Organism
and
Organism
子類
Class
and
Organism
例
Organism
and
Class
例
Organism
and
Class
(=>
(
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
親
Organism
and
Organism
親
Organism
and
Organism
持有期間
TimePosition
and
Organism
是
Organism
的
spouse
Organism
是
Organism
的
cohabitant
Organism
是
Organism
的
cohabitant
Entity
例
Entity
and
核心家庭
持有期間
TimePosition
and
會員
Organism
and
Entity
會員
Organism
and
Entity
會員
Organism
and
Entity
(=>
(
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
親
Organism
and
Organism
親
Organism
and
Organism
親
Organism
and
Organism
親
Organism
and
Organism
等於
Organism
and
Organism
等於
Organism
and
Organism
兄弟
Organism
and
Organism
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16481-16485
兄弟
Organism
and
Organism
親
Organism
and
Organism
親
Organism
and
Organism
(=>
(
parent
?CHILD ?PARENT)
(
ancestor
?CHILD ?PARENT))
Merge.kif 16371-16373
親
Organism
and
Organism
Organism
是
Organism
的
ancestor
(=>
(
parent
?CHILD ?PARENT)
(
before
(
BeginFn
(
WhenFn
?PARENT))
(
BeginFn
(
WhenFn
?CHILD))))
Merge.kif 16375-16377
親
Organism
and
Organism
之前
開始
何時
Organism
and
開始
何時
Organism
(=>
(
parent
?CHILD ?PARENT)
(
older
?PARENT ?CHILD))
Mid-level-ontology.kif 413-415
親
Organism
and
Organism
Organism
是
Organism
的
older
consequent
(<=>
(
aunt
?A ?H)
(
exists
(?P)
(
and
(
sister
?A ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23046-23051
女人
是
Human
的
aunt
Human
女人
是
Human
的
sister
親
Human
and
Human
(<=>
(
uncle
?U ?H)
(
exists
(?P)
(
and
(
brother
?U ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23137-23142
Human
的
uncle
是
人
Human
人
是
Human
的
brother
親
Human
and
Human
(=>
(
and
(
instance
?REP
Replication
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
parent
?CHILD ?PARENT))
Merge.kif 10316-10321
例
Process
and
Replication
agent
Process
and
Organism
結果
Process
and
Organism
親
Organism
and
Organism
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16481-16485
兄弟
Organism
and
Organism
親
Organism
and
Organism
親
Organism
and
Organism
(=>
(
equal
(
ImmediateFamilyFn
?P) ?FAMILY)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?FAMILY)
(
exists
(?OTHER)
(
or
(
parent
?MEMBER ?OTHER)
(
parent
?OTHER ?MEMBER))))))
Merge.kif 16291-16299
等於
Human
的
immediate
家庭 and
FamilyGroup
Organism
會員
Organism
and
FamilyGroup
Organism
親
Organism
and
Organism
親
Organism
and
Organism
(=>
(
equal
(
ImmediateFamilyFn
?PERSON) ?FAMILY)
(
exists
(?MEMBER)
(
and
(
member
?MEMBER ?FAMILY)
(
or
(
parent
?MEMBER ?PERSON)
(
parent
?PERSON ?MEMBER)))))
Merge.kif 16301-16308
等於
Human
的
immediate
家庭 and
FamilyGroup
Organism
會員
Organism
and
FamilyGroup
親
Organism
and
Human
親
Human
and
Organism
(=>
(
father
?A ?B)
(
parent
?A ?B))
Merge.kif 16422-16424
父親
Organism
and
Organism
親
Organism
and
Organism
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23083-23088
Human
的
grandfather
是
人
Organism
父親
Organism
and
人
親
Human
and
Organism
(=>
(
grandmother
?H ?P)
(
exists
(?C)
(
and
(
mother
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23095-23100
Human
的
grandmother
是
女人
Organism
母親
Organism
and
女人
親
Human
and
Organism
(=>
(
instance
?ORGANISM
Organism
)
(
exists
(?PARENT)
(
parent
?ORGANISM ?PARENT)))
Merge.kif 16396-16399
例
Organism
and
Organism
Organism
親
Organism
and
Organism
(=>
(
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
例
服務
and
ChildCareService
Organism
Organism
例
Organism
and
人類的孩子
例
Organism
and
人類寶貝
服務提供者
服務
and
Organism
患者
服務
and
Organism
親
Organism
and
Organism
(=>
(
mother
?A ?B)
(
parent
?A ?B))
Merge.kif 16405-16407
母親
Organism
and
Organism
親
Organism
and
Organism
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