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
BodySideFn
Sigma KEE - BodySideFn
BodySideFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14974-14976
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14971-14971
The number 1 argument of
Body side fn
is an
instance
of
anti-symmetric positional attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14972-14972
The number 2 argument of
Body side fn
is a
subclass
of
body part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14970-14970
Body side fn
is an
instance
of
binary function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14973-14973
The values returned by
Body side fn
are
subclasses
of
body part
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14977-14977
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 64553-64553
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14979-14990
If
an object
is an
instance
of
animal
and
another object
is an
instance
of the
an anti-symmetric positional attribute
a kind of body part
and
the anti-symmetric positional attribute
is the
opposite
of
the anti-symmetric positional attribute
O and
healthy
is an
attribute
of
the object
,
then there exists
the other object
O such that
the other object
O is an
instance
of the
the anti-symmetric positional attribute
O
a kind of body part
and
the other object
is
the anti-symmetric positional attribute
to
the other object
O
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14992-14994
If
an entity
is an
instance
of the
an anti-symmetric positional attribute
a kind of body part
,
then
the entity
is an
instance
of
a kind of body part
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14979-14990
If
an object
is an
instance
of
animal
and
another object
is an
instance
of the
an anti-symmetric positional attribute
a kind of body part
and
the anti-symmetric positional attribute
is the
opposite
of
the anti-symmetric positional attribute
O and
healthy
is an
attribute
of
the object
,
then there exists
the other object
O such that
the other object
O is an
instance
of the
the anti-symmetric positional attribute
O
a kind of body part
and
the other object
is
the anti-symmetric positional attribute
to
the other object
O
statement
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2858-2858
Left arm
is a
subclass
of the
left
arm
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2876-2876
Left ear
is a
subclass
of the
left
ear
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2864-2864
Left elbow
is a
subclass
of the
left
elbow
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2882-2882
Left eye
is a
subclass
of the
left
eye
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2924-2924
Left foot
is a
subclass
of the
left
foot
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2888-2888
Left hand
is a
subclass
of the
left
hand
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2918-2918
Left hip
is a
subclass
of the
left
Hip
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2900-2900
Left kidney
is a
subclass
of the
left
kidney
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2912-2912
Left knee
is a
subclass
of the
left
knee
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2906-2906
Left leg
is a
subclass
of the
left
leg
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2894-2894
Left lung
is a
subclass
of the
left
lung
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2870-2870
Left shoulder
is a
subclass
of the
left
shoulder
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2930-2930
Left thigh
is a
subclass
of
BodyAreaFn
the
left
quadriceps
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2861-2861
Right arm
is a
subclass
of the
right
arm
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2879-2879
Right ear
is a
subclass
of the
right
ear
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2867-2867
Right elbow
is a
subclass
of the
right
elbow
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2873-2873
Right elbow
is a
subclass
of the
right
shoulder
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2885-2885
Right eye
is a
subclass
of the
right
eye
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2927-2927
Right foot
is a
subclass
of the
right
foot
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2891-2891
Right hand
is a
subclass
of the
right
hand
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2921-2921
Right hip
is a
subclass
of the
right
Hip
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2903-2903
Right kidney
is a
subclass
of the
right
kidney
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2915-2915
Right knee
is a
subclass
of the
right
knee
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2909-2909
Right leg
is a
subclass
of the
right
leg
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2897-2897
Right lung
is a
subclass
of the
right
lung
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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