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 16450-16452
(
domain
father
1
Organism
)
Merge.kif 16448-16448
父亲
的 1 数量 是
生物
的
instance
(
domain
father
2
Organism
)
Merge.kif 16449-16449
父亲
的 2 数量 是
生物
的
instance
(
instance
father
BinaryPredicate
)
Merge.kif 16442-16442
父亲
是
二元谓语
的
instance
(
instance
father
PartialValuedRelation
)
Merge.kif 16441-16441
父亲
是
部分值关系
的
instance
(
instance
father
SingleValuedRelation
)
Merge.kif 16440-16440
父亲
是
单值关系
的
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 16444-16446
如果
生物
是
另一个 生物
father
,
然后
那个 生物
是
那个 另外 生物
的
parent
(=>
(
father
?CHILD ?FATHER)
(
attribute
?FATHER
Male
))
Merge.kif 16454-16456
如果
生物
是
另一个 生物
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 23060-23075
人类
另一个 人类
是
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 23151-23158
人
是
人类
的
stepfather
若且唯若 有存在
另一个 人类
这样
那个 另外 人类
是
那个 人类
的
mother
和
那个 人
是
那个 另外 人类
的
spouse
和
那个 人
不 是
那个 人类
father
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23168-23175
女人
是
人类
的
stepfather
若且唯若 有存在
另一个 人类
这样
那个 另外 人类
是
那个 人类
father
和
那个 女人
是
那个 另外 人类
的
spouse
和
那个 女人
不 是
那个 人类
的
mother
(=>
(
and
(
instance
?REP
SexualReproduction
)
(
result
?REP ?ORGANISM))
(
exists
(?MOTHER ?FATHER)
(
and
(
mother
?ORGANISM ?MOTHER)
(
father
?ORGANISM ?FATHER))))
Merge.kif 10358-10365
如果
过程
是
有性繁殖
的
instance
和
生物
是
那个 过程
的
result
,
然后 有存在
另一个 生物
和
第三 生物
这样
那个 另外 生物
是
那个 生物
的
mother
和
那个 第三 生物
是
那个 生物
father
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Male
))
(
father
?CHILD ?PARENT))
Merge.kif 16509-16513
如果
生物
是
另一个 生物
的
parent
和
男
是
那个 生物
的
attribute
,
然后
那个 生物
是
那个 另外 生物
father
(=>
(
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
(=>
(
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 23082-23087
如果
人类
的
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 20163-20170
如果
生物
是
马骡
的
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