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
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 3683-3685
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16334-16336
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16332-16332
The number 1 argument of
family relation
is an
instance
of
organism
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16333-16333
The number 2 argument of
family relation
is an
instance
of
organism
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16331-16331
family relation
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16321-16321
family relation
is a
subrelation
of
relative
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 545-545
No TPTP formula. May not be expressible in strict first order.
english_format.kif 550-550
No TPTP formula. May not be expressible in strict first order.
french_format.kif 320-320
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 108-108
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2088-2088
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 272-272
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 713-713
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 148-148
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 341-341
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 354-354
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 226-226
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23043-23043
aunt
is a
subrelation
of
family relation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23058-23058
cousin
is a
subrelation
of
family relation
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 663-663
fathers brothers daughter
is a
subrelation
of
family relation
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 651-651
fathers brothers son
is a
subrelation
of
family relation
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 603-603
fathers brothers wife
is a
subrelation
of
family relation
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 711-711
fathers sisters daughter
is a
subrelation
of
family relation
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 627-627
fathers sisters husband
is a
subrelation
of
family relation
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 699-699
fathers sisters son
is a
subrelation
of
family relation
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 592-592
maternal aunt
is a
subrelation
of
family relation
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 570-570
maternal uncle
is a
subrelation
of
family relation
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 687-687
mothers brothers daughter
is a
subrelation
of
family relation
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 675-675
mothers brothers son
is a
subrelation
of
family relation
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 615-615
mothers brothers wife
is a
subrelation
of
family relation
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
No TPTP formula. May not be expressible in strict first order.
Government.kif 223-234
If
monarchy
is a
government
type of
an agent
and
an organism
is an
instance
of
human
and
another organism
is an
instance
of
human
and
the agent
chief
of state
an entity
for
the organism
holds
during
a time interval
and
the organism
and
the other organism
are
related
and
the time interval
happens
earlier
than
another time interval
,
then the statement
the agent
chief
of state
the entity
for
the other organism
holds
during
the other time interval
has the
modal
force
of
possibility
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16338-16343
If
an organism
and
another organism
are
related
,
then there exists
a third organism
such that
the organism
is the
ancestor
of
the third organism
and
the other organism
is the
ancestor
of
the third organism
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7269-7274
If
an object
is an
instance
of
family business
and
an organism
possess
es
the object
and
another organism
possess
es
the object
,
then
the organism
and
the other organism
are
related
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16263-16270
If
a collection
is an
instance
of
family group
,
then for all
an organism
and
another organism
if
the organism
is a
member
of
the collection
and
the other organism
is a
member
of
the collection
,
then
the organism
and
the other organism
are
related
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