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 16356-16358
(
domain
familyRelation
1
Organism
)
Merge.kif 16354-16354
域
家庭關係
, 1 and
Organism
(
domain
familyRelation
2
Organism
)
Merge.kif 16355-16355
域
家庭關係
, 2 and
Organism
(
instance
familyRelation
BinaryPredicate
)
Merge.kif 16353-16353
例
家庭關係
and
BinaryPredicate
(
subrelation
familyRelation
relative
)
Merge.kif 16343-16343
子關係
家庭關係
and
相對的
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 23042-23042
子關係
姑媽
and
家庭關係
(
subrelation
cousin
familyRelation
)
Mid-level-ontology.kif 23057-23057
子關係
表姐
and
家庭關係
(
subrelation
fathersBrothersDaughter
familyRelation
)
ArabicCulture.kif 663-663
子關係
父親兄弟的女兒
and
家庭關係
(
subrelation
fathersBrothersSon
familyRelation
)
ArabicCulture.kif 651-651
子關係
父親兄弟的兒子
and
家庭關係
(
subrelation
fathersBrothersWife
familyRelation
)
ArabicCulture.kif 603-603
子關係
父親兄弟的妻子
and
家庭關係
(
subrelation
fathersSistersDaughter
familyRelation
)
ArabicCulture.kif 711-711
子關係
父親姐妹的女兒
and
家庭關係
(
subrelation
fathersSistersHusband
familyRelation
)
ArabicCulture.kif 627-627
子關係
父親姐妹的丈夫
and
家庭關係
(
subrelation
fathersSistersSon
familyRelation
)
ArabicCulture.kif 699-699
子關係
父親姐妹的兒子
and
家庭關係
(
subrelation
maternalAunt
familyRelation
)
ArabicCulture.kif 592-592
子關係
母方的姑媽
and
家庭關係
(
subrelation
maternalUncle
familyRelation
)
ArabicCulture.kif 570-570
子關係
母方的叔叔
and
家庭關係
(
subrelation
mothersBrothersDaughter
familyRelation
)
ArabicCulture.kif 687-687
子關係
母親兄弟的女兒
and
家庭關係
(
subrelation
mothersBrothersSon
familyRelation
)
ArabicCulture.kif 675-675
子關係
母親兄弟的兒子
and
家庭關係
(
subrelation
mothersBrothersWife
familyRelation
)
ArabicCulture.kif 615-615
子關係
媽媽兄弟的妻子
and
家庭關係
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
類別
例
Organism
and
Human
例
Organism
and
Human
持有期間
TimeInterval
and
AutonomousAgent
州
entity
的
chief
對於
Organism
家庭關係
Organism
and
Organism
早期
TimeInterval
and
TimeInterval
模態屬性
持有期間
TimeInterval
and
AutonomousAgent
州
entity
的
chief
對於
Organism
and
可能性
(=>
(
familyRelation
?ORGANISM1 ?ORGANISM2)
(
exists
(?ORGANISM3)
(
and
(
ancestor
?ORGANISM3 ?ORGANISM1)
(
ancestor
?ORGANISM3 ?ORGANISM2))))
Merge.kif 16360-16365
家庭關係
Organism
and
Organism
Organism
Organism
是
Organism
的
ancestor
Organism
是
Organism
的
ancestor
consequent
(=>
(
and
(
instance
?C
FamilyBusiness
)
(
possesses
?P1 ?C)
(
possesses
?P2 ?C))
(
familyRelation
?P1 ?P2))
Mid-level-ontology.kif 7268-7273
例
Object
and
家族企業
擁有
Organism
and
Object
擁有
Organism
and
Object
家庭關係
Organism
and
Organism
(=>
(
instance
?GROUP
FamilyGroup
)
(
forall
(?MEMB1 ?MEMB2)
(=>
(
and
(
member
?MEMB1 ?GROUP)
(
member
?MEMB2 ?GROUP))
(
familyRelation
?MEMB1 ?MEMB2))))
Merge.kif 16285-16292
例
Collection
and
FamilyGroup
Organism
Organism
會員
Organism
and
Collection
會員
Organism
and
Collection
家庭關係
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