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
Die Zahl 1 Argument von
familyRelation
ist ein
fall
von
Organism
%n{nicht}
(
domain
familyRelation
2
Organism
)
Merge.kif 16333-16333
Die Zahl 2 Argument von
familyRelation
ist ein
fall
von
Organism
%n{nicht}
(
instance
familyRelation
BinaryPredicate
)
Merge.kif 16331-16331
familyRelation
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
familyRelation
relative
)
Merge.kif 16321-16321
familyRelation
ist eine
teilrelation
von
relative
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
aunt
ist eine
teilrelation
von
familyRelation
(
subrelation
cousin
familyRelation
)
Mid-level-ontology.kif 23058-23058
cousin
ist eine
teilrelation
von
familyRelation
(
subrelation
fathersBrothersDaughter
familyRelation
)
ArabicCulture.kif 663-663
fathersBrothersDaughter
ist eine
teilrelation
von
familyRelation
(
subrelation
fathersBrothersSon
familyRelation
)
ArabicCulture.kif 651-651
fathersBrothersSon
ist eine
teilrelation
von
familyRelation
(
subrelation
fathersBrothersWife
familyRelation
)
ArabicCulture.kif 603-603
fathersBrothersWife
ist eine
teilrelation
von
familyRelation
(
subrelation
fathersSistersDaughter
familyRelation
)
ArabicCulture.kif 711-711
fathersSistersDaughter
ist eine
teilrelation
von
familyRelation
(
subrelation
fathersSistersHusband
familyRelation
)
ArabicCulture.kif 627-627
fathersSistersHusband
ist eine
teilrelation
von
familyRelation
(
subrelation
fathersSistersSon
familyRelation
)
ArabicCulture.kif 699-699
fathersSistersSon
ist eine
teilrelation
von
familyRelation
(
subrelation
maternalAunt
familyRelation
)
ArabicCulture.kif 592-592
maternalAunt
ist eine
teilrelation
von
familyRelation
(
subrelation
maternalUncle
familyRelation
)
ArabicCulture.kif 570-570
maternalUncle
ist eine
teilrelation
von
familyRelation
(
subrelation
mothersBrothersDaughter
familyRelation
)
ArabicCulture.kif 687-687
mothersBrothersDaughter
ist eine
teilrelation
von
familyRelation
(
subrelation
mothersBrothersSon
familyRelation
)
ArabicCulture.kif 675-675
mothersBrothersSon
ist eine
teilrelation
von
familyRelation
(
subrelation
mothersBrothersWife
familyRelation
)
ArabicCulture.kif 615-615
mothersBrothersWife
ist eine
teilrelation
von
familyRelation
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
Wenn
governmentType
AutonomousAgent
and
Monarchy
und
Organism
ist ein
fall
von
Human
%n{nicht} und
** Organism
ist ein
fall
von
Human
%n{nicht} und
chiefOfState
** AutonomousAgent
,
entity
and
** Organism
haelt
waehrend
TimeInterval
%n{nicht} und
** Organism
und
** ** Organism
sind
verwandt
und
** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht},
dann die Aussage
chiefOfState
** AutonomousAgent
,
** entity
and
** ** Organism
haelt
waehrend
** ** TimeInterval
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
familyRelation
?ORGANISM1 ?ORGANISM2)
(
exists
(?ORGANISM3)
(
and
(
ancestor
?ORGANISM3 ?ORGANISM1)
(
ancestor
?ORGANISM3 ?ORGANISM2))))
Merge.kif 16338-16343
Wenn
Organism
und
** Organism
sind
verwandt
,
dann es gibt
** Organism
um
ancestor
** ** Organism
and
** Organism
und
ancestor
** ** Organism
and
** ** Organism
consequent
(=>
(
and
(
instance
?C
FamilyBusiness
)
(
possesses
?P1 ?C)
(
possesses
?P2 ?C))
(
familyRelation
?P1 ?P2))
Mid-level-ontology.kif 7269-7274
Wenn
Object
ist ein
fall
von
FamilyBusiness
%n{nicht} und
Organism
besitzt
** Object
%n{nicht} und
** Organism
besitzt
** Object
%n{nicht},
dann
** Organism
und
** ** Organism
sind
verwandt
(=>
(
instance
?GROUP
FamilyGroup
)
(
forall
(?MEMB1 ?MEMB2)
(=>
(
and
(
member
?MEMB1 ?GROUP)
(
member
?MEMB2 ?GROUP))
(
familyRelation
?MEMB1 ?MEMB2))))
Merge.kif 16263-16270
Wenn
Collection
ist ein
fall
von
FamilyGroup
%n{nicht},
dann fuer alle
Organism
und
** Organism
wenn
** Organism
ist ein
Mitglied
von
** Collection
%n{nicht} und
** ** Organism
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Organism
und
** ** Organism
sind
verwandt
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