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
familyRelation
Sigma KEE - familyRelation
familyRelation
appearance as argument number 1
(
documentation
familyRelation
ChineseLanguage
"这是生物关系上,一个最笼统的
Predicate
。 (
familyRelation
?ORGANISM1 ?ORGANISM2)的意思是 ?ORGANISM1 和 ?ORGANISM2 在生理上源自一个共同 的祖先。")
chinese_format.kif 3683-3685
(
documentation
familyRelation
EnglishLanguage
"A very general
Predicate
for biological relationships. (
familyRelation
?ORGANISM1 ?ORGANISM2) means that ?ORGANISM1 and ?ORGANISM2 are biologically derived from a common ancestor.")
Merge.kif 16334-16336
(
domain
familyRelation
1
Organism
)
Merge.kif 16332-16332
家属关系
的 1 数量 是
生物
的
instance
(
domain
familyRelation
2
Organism
)
Merge.kif 16333-16333
家属关系
的 2 数量 是
生物
的
instance
(
instance
familyRelation
BinaryPredicate
)
Merge.kif 16331-16331
家属关系
是
二元谓语
的
instance
(
subrelation
familyRelation
relative
)
Merge.kif 16321-16321
家属关系
是
相对的
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
familyRelation
"%1 和 %2 %n 是 亲属")
chinese_format.kif 545-545
(
format
EnglishLanguage
familyRelation
"%1 and %2 are %n related")
english_format.kif 550-550
(
format
FrenchLanguage
familyRelation
"%1 et %2 sont %n
parent
s")
french_format.kif 320-320
(
format
ItalianLanguage
familyRelation
"%1 e %2 sono
parent
i")
relations-it.txt 108-108
(
format
JapaneseLanguage
familyRelation
"%1 と %2 は related して %n")
japanese_format.kif 2088-2088
(
format
PortugueseLanguage
familyRelation
"%1 e %2 sao %n
parent
es")
portuguese_format.kif 272-272
(
format
de
familyRelation
"%1 und %2 sind verwandt")
relations-de.txt 713-713
(
format
hi
familyRelation
"%1 aura %2 sambandhii hai")
relations-hindi.txt 148-148
(
format
ro
familyRelation
"%1 ºi %2 %n{nu} sunt related%t{înrudiþi}")
relations-ro.kif 341-341
(
format
sv
familyRelation
"%1 och %2 är släkt")
relations-sv.txt 354-354
(
format
tg
familyRelation
"%1 at %2 ay ugnay")
relations-tg.txt 226-226
(
subrelation
aunt
familyRelation
)
Mid-level-ontology.kif 23043-23043
姑妈
是
家属关系
的
subrelation
(
subrelation
cousin
familyRelation
)
Mid-level-ontology.kif 23058-23058
表姐
是
家属关系
的
subrelation
(
subrelation
fathersBrothersDaughter
familyRelation
)
ArabicCulture.kif 663-663
父亲兄弟的女儿
是
家属关系
的
subrelation
(
subrelation
fathersBrothersSon
familyRelation
)
ArabicCulture.kif 651-651
父亲兄弟的儿子
是
家属关系
的
subrelation
(
subrelation
fathersBrothersWife
familyRelation
)
ArabicCulture.kif 603-603
父亲兄弟的妻子
是
家属关系
的
subrelation
(
subrelation
fathersSistersDaughter
familyRelation
)
ArabicCulture.kif 711-711
父亲姐妹的女儿
是
家属关系
的
subrelation
(
subrelation
fathersSistersHusband
familyRelation
)
ArabicCulture.kif 627-627
父亲姐妹的丈夫
是
家属关系
的
subrelation
(
subrelation
fathersSistersSon
familyRelation
)
ArabicCulture.kif 699-699
父亲姐妹的儿子
是
家属关系
的
subrelation
(
subrelation
maternalAunt
familyRelation
)
ArabicCulture.kif 592-592
母方的姑妈
是
家属关系
的
subrelation
(
subrelation
maternalUncle
familyRelation
)
ArabicCulture.kif 570-570
母方的叔叔
是
家属关系
的
subrelation
(
subrelation
mothersBrothersDaughter
familyRelation
)
ArabicCulture.kif 687-687
母亲兄弟的女儿
是
家属关系
的
subrelation
(
subrelation
mothersBrothersSon
familyRelation
)
ArabicCulture.kif 675-675
母亲兄弟的儿子
是
家属关系
的
subrelation
(
subrelation
mothersBrothersWife
familyRelation
)
ArabicCulture.kif 615-615
妈妈兄弟的妻子
是
家属关系
的
subrelation
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(=>
(
and
(
governmentType
?PLACE
Monarchy
)
(
instance
?MONARCH
Human
)
(
instance
?SUCCESSOR
Human
)
(
holdsDuring
?T1
(
chiefOfState
?PLACE ?ROLE ?MONARCH))
(
familyRelation
?MONARCH ?SUCCESSOR)
(
earlier
?T1 ?T2))
(
modalAttribute
(
holdsDuring
?T2
(
chiefOfState
?PLACE ?ROLE ?SUCCESSOR))
Possibility
))
Government.kif 223-234
如果 %2 是 1% 的
government
类别 和
生物
是
人类
的
instance
和
另一个 生物
是
人类
的
instance
和
施事体
州
实体
的
chief
对于
那个 生物
在
时距
holdsDuring
和
那个 生物
和
那个 另外 生物
是 亲属 和
那个 时距
比
另一个 实体
earlier
,
然后
那个 施事体
州
那个 实体
的
chief
对于
那个 另外 生物
在
另一个 时距
holdsDuring
的声明 has
可能性
的语气
(=>
(
familyRelation
?ORGANISM1 ?ORGANISM2)
(
exists
(?ORGANISM3)
(
and
(
ancestor
?ORGANISM3 ?ORGANISM1)
(
ancestor
?ORGANISM3 ?ORGANISM2))))
Merge.kif 16338-16343
如果
生物
和
另一个 生物
是 亲属,
然后 有存在
第三 生物
这样
那个 生物
是
那个 第三 生物
的
ancestor
和
那个 另外 生物
是
那个 第三 生物
的
ancestor
consequent
(=>
(
and
(
instance
?C
FamilyBusiness
)
(
possesses
?P1 ?C)
(
possesses
?P2 ?C))
(
familyRelation
?P1 ?P2))
Mid-level-ontology.kif 7269-7274
如果
客体
是
家族企业
的
instance
和
生物
possesses
那个 客体
和
另一个 生物
possesses
那个 客体
,
然后
那个 生物
和
那个 另外 生物
是 亲属
(=>
(
instance
?GROUP
FamilyGroup
)
(
forall
(?MEMB1 ?MEMB2)
(=>
(
and
(
member
?MEMB1 ?GROUP)
(
member
?MEMB2 ?GROUP))
(
familyRelation
?MEMB1 ?MEMB2))))
Merge.kif 16263-16270
如果
群体
是
家族群组
的
instance
,
然后 对所有
生物
和
另一个 生物
如果
那个 生物
是
那个 群体
的
member
和
那个 另外 生物
是
那个 群体
的
member
,
然后
那个 生物
和
那个 另外 生物
是 亲属
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