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
father
Sigma KEE - father
father
appearance as argument number 1
(
documentation
father
ChineseLanguage
"这是父亲的概括关系。(
father
?CHILD ?FATHER)的意思是 ?FATHER 是 ?CHILD 的亲生父亲。")
chinese_format.kif 3693-3694
(
documentation
father
EnglishLanguage
"The general relationship of fatherhood. (
father
?CHILD ?FATHER) means that ?FATHER is the biological father of ?CHILD.")
Merge.kif 16428-16430
(
domain
father
1
Organism
)
Merge.kif 16426-16426
父亲
的 1 数量 是
生物
的
instance
(
domain
father
2
Organism
)
Merge.kif 16427-16427
父亲
的 2 数量 是
生物
的
instance
(
instance
father
BinaryPredicate
)
Merge.kif 16420-16420
父亲
是
二元谓语
的
instance
(
instance
father
PartialValuedRelation
)
Merge.kif 16419-16419
父亲
是
部分值关系
的
instance
(
instance
father
SingleValuedRelation
)
Merge.kif 16418-16418
父亲
是
单值关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
father
"%2 %n 是 %1
father
")
chinese_format.kif 527-527
(
format
EnglishLanguage
father
"%2 is %n a
father
of %1")
english_format.kif 532-532
(
format
FrenchLanguage
father
"%2 est %n le p�re de %1")
french_format.kif 311-311
(
format
ItalianLanguage
father
"%2 è %n un padre di %1")
relations-it.txt 109-109
(
format
JapaneseLanguage
father
"%2 は %1 の
father
では %n")
japanese_format.kif 2079-2079
(
format
PortugueseLanguage
father
"%2 e' %n o pai de %1")
portuguese_format.kif 263-263
(
format
cz
father
"%2 %p{je} %n{nen�} a
father
of %1")
relations-cz.txt 317-317
(
format
de
father
"%2 ist der vater von %1 %n{nicht}")
relations-de.txt 686-686
(
format
hi
father
"%2 %1 kaa janaka %n hai")
relations-hindi.txt 149-149
(
format
ro
father
"%2 %n{nu} este
father
%t{tatãl} lui %1")
relations-ro.kif 332-332
(
format
sv
father
"%2 är %n{inte} en pappa till %1")
relations-sv.txt 341-341
(
format
tg
father
"%2 %n ay ang ama sa %1")
relations-tg.txt 228-228
(
termFormat
ChineseLanguage
father
"父亲")
chinese_format.kif 528-528
(
termFormat
ChineseTraditionalLanguage
father
"父親")
domainEnglishFormat.kif 23361-23361
(
termFormat
EnglishLanguage
father
"father")
domainEnglishFormat.kif 23360-23360
(
termFormat
tg
father
"ama")
relations-tg.txt 229-229
antecedent
(=>
(
father
?A ?B)
(
parent
?A ?B))
Merge.kif 16422-16424
如果
生物
是
另一个 生物
father
,
然后
那个 生物
是
那个 另外 生物
的
parent
(=>
(
father
?CHILD ?FATHER)
(
attribute
?FATHER
Male
))
Merge.kif 16432-16434
如果
生物
是
另一个 生物
father
,
然后
男
是
那个 生物
的
attribute
consequent
(<=>
(
cousin
?P1 ?P2)
(
and
(
exists
(?G1 ?G2)
(
and
(
grandmother
?P1 ?G1)
(
grandfather
?P1 ?G2)
(
grandmother
?P2 ?G1)
(
grandfather
?P2 ?G2)))
(
not
(
exists
(?M ?F)
(
and
(
mother
?P1 ?M)
(
father
?P1 ?F)
(
mother
?P2 ?M)
(
father
?P2 ?F))))))
Mid-level-ontology.kif 23061-23076
人类
另一个 人类
是
cousins
若且唯若 有存在
女人
和
人
这样
那个 人类
的
grandmother
是
那个 女人
和
那个 人类
的
grandfather
是
那个 人
和
那个 另外 人类
的
grandmother
是
那个 女人
和
那个 另外 人类
的
grandfather
是
那个 人
和 不存在
生物
和
另一个 生物
这样
那个 生物
是
那个 人类
的
mother
和
那个 另外 生物
是
那个 人类
father
和
那个 生物
是
那个 另外 人类
的
mother
和
那个 另外 生物
是
那个 另外 人类
father
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23152-23159
人
是
人类
的
stepfather
若且唯若 有存在
另一个 人类
这样
那个 另外 人类
是
那个 人类
的
mother
和
那个 人
是
那个 另外 人类
的
spouse
和
那个 人
不 是
那个 人类
father
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23169-23176
女人
是
人类
的
stepfather
若且唯若 有存在
另一个 人类
这样
那个 另外 人类
是
那个 人类
father
和
那个 女人
是
那个 另外 人类
的
spouse
和
那个 女人
不 是
那个 人类
的
mother
(=>
(
and
(
instance
?REP
SexualReproduction
)
(
result
?REP ?ORGANISM))
(
exists
(?MOTHER ?FATHER)
(
and
(
mother
?ORGANISM ?MOTHER)
(
father
?ORGANISM ?FATHER))))
Merge.kif 10336-10343
如果
过程
是
有性繁殖
的
instance
和
生物
是
那个 过程
的
result
,
然后 有存在
另一个 生物
和
第三 生物
这样
那个 另外 生物
是
那个 生物
的
mother
和
那个 第三 生物
是
那个 生物
father
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16487-16491
如果
生物
是
另一个 生物
的
parent
和
男
是
那个 生物
的
attribute
,
然后
那个 生物
是
那个 另外 生物
father
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?PARENT
Man
))
(
father
?CHILD ?PARENT))
Mid-level-ontology.kif 23021-23025
如果
生物
是
另一个 生物
的
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 16386-16394
如果
生物
是
另一个 生物
的
parent
和
过程
是
有性繁殖
的
instance
和
那个 生物
是
那个 过程
的
agent
和
那个 另外 生物
是
那个 过程
的
result
,
然后
那个 生物
是
那个 另外 生物
的
mother
或
那个 生物
是
那个 另外 生物
father
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 666-672
如果
生物
是
另一个 生物
的
father
's
brother
's
daughter
,
然后 有存在
人
和
人类
这样
那个 人
是
那个 生物
father
和
那个 人
是
那个 人类
的
brother
和
那个 人类
是
那个 另外 生物
的
daughter
(=>
(
fathersBrothersSon
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 654-660
如果
生物
是
另一个 生物
的
father
's
brother
's
son
,
然后 有存在
人
和
人类
这样
那个 人
是
那个 生物
father
和
那个 人
是
那个 人类
的
brother
和
那个 人类
是
那个 另外 生物
的
son
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
如果
生物
是
人
的
father
's
brother
's
wife
,
然后 有存在
另一个 人
和
女人
这样
那个 另外 人
是
那个 生物
father
和
那个 另外 人
是
那个 女人
的
brother
和
那个 女人
是
那个 人
的
wife
(=>
(
fathersSistersDaughter
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 714-720
如果
生物
是
另一个 生物
的
father
's
sister
's
daughter
,
然后 有存在
女人
和
人类
这样
那个 女人
是
那个 生物
father
和
那个 女人
是
那个 人类
的
sister
和
那个 人类
是
那个 另外 生物
的
daughter
(=>
(
fathersSistersHusband
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
husband
?AUN ?H))))
ArabicCulture.kif 630-636
如果
生物
是
女人
的
father
's
sister
's
husband
,
然后 有存在
另一个 女人
和
人
这样
那个 另外 女人
是
那个 生物
father
和
那个 另外 女人
是
那个 人
的
sister
和
那个 人
是
那个 女人
的
huband
(=>
(
fathersSistersSon
?P ?H)
(
exists
(?F ?AUN)
(
and
(
father
?P ?F)
(
sister
?F ?AUN)
(
son
?AUN ?H))))
ArabicCulture.kif 702-708
如果
生物
是
另一个 生物
的
father
's
sister
's
son
,
然后 有存在
女人
和
人类
这样
那个 女人
是
那个 生物
father
和
那个 女人
是
那个 人类
的
sister
和
那个 人类
是
那个 另外 生物
的
son
(=>
(
grandfather
?H ?P)
(
exists
(?C)
(
and
(
father
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23083-23088
如果
人类
的
grandfather
是
人
,
然后 有存在
生物
这样
那个 人
是
那个 生物
father
和
那个 生物
是
那个 人类
的
parent
(=>
(
holdsDuring
?T
(
attribute
?P
BereavedFather
))
(
exists
(?BEFORE ?C)
(
and
(
earlier
?BEFORE ?T)
(
holdsDuring
?BEFORE
(
father
?P ?C))
(
holdsDuring
?T
(
attribute
?C
Dead
)))))
ArabicCulture.kif 760-766
如果
失去亲人的父亲
是
实体
的
attribute
在
时距
holdsDuring
,
然后 有存在
另一个 时距
和
另一个 实体
这样
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 另外 实体
是
那个 实体
father
在
那个 另外 时距
holdsDuring
和
死
是
那个 另外 实体
的
attribute
在
那个 时距
holdsDuring
(=>
(
instance
?MULE
Mule
)
(
exists
(?DONKEY ?HORSE)
(
and
(
father
?MULE ?DONKEY)
(
instance
?DONKEY
Donkey
)
(
mother
?MULE ?HORSE)
(
instance
?HORSE
Horse
))))
Mid-level-ontology.kif 20164-20171
如果
生物
是
马骡
的
instance
,
然后 有存在
另一个 生物
和
第三 生物
这样
那个 另外 生物
是
那个 生物
father
和
那个 另外 生物
是
驴
的
instance
和
那个 第三 生物
是
那个 生物
的
mother
和
那个 第三 生物
是
马
的
instance
(=>
(
paternalAunt
?P ?AUN)
(
exists
(?F)
(
and
(
father
?P ?F)
(
sister
?F ?AUN))))
ArabicCulture.kif 584-589
如果
生物
的
paternal
aunt
是
人类
,
然后 有存在
女人
这样
那个 女人
是
那个 生物
father
和
那个 女人
是
那个 人类
的
sister
(=>
(
paternalUncle
?P ?UNC)
(
exists
(?F)
(
and
(
father
?P ?F)
(
brother
?F ?UNC))))
ArabicCulture.kif 562-567
如果
生物
的
paternal
uncle
是
人类
,
然后 有存在
人
这样
那个 人
是
那个 生物
father
和
那个 人
是
那个 人类
的
brother
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