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
physicalEnd
Sigma KEE - physicalEnd
physicalEnd
appearance as argument number 1
(
documentation
physicalEnd
EnglishLanguage
"A notion of an indeterminate portion at the end of an
Object
that has a
LongAndThin
ShapeAttribute
.")
Mid-level-ontology.kif 1257-1258
(
domain
physicalEnd
1
Object
)
Merge.kif 17934-17934
The number 1 argument of
physical end
is an
instance
of
object
(
domain
physicalEnd
2
Object
)
Merge.kif 17935-17935
The number 2 argument of
physical end
is an
instance
of
object
(
instance
physicalEnd
BinaryPredicate
)
Mid-level-ontology.kif 1254-1254
physical end
is an
instance
of
binary predicate
(
instance
physicalEnd
BinaryRelation
)
Merge.kif 17933-17933
physical end
is an
instance
of
binary relation
(
subrelation
physicalEnd
part
)
Merge.kif 17941-17941
physical end
is a
subrelation
of
part
(
subrelation
physicalEnd
properPart
)
Mid-level-ontology.kif 1255-1255
physical end
is a
subrelation
of
proper part
appearance as argument number 2
(
format
EnglishLanguage
physicalEnd
"one end of %2 is %1")
Merge.kif 17940-17940
(
termFormat
EnglishLanguage
physicalEnd
"physical end")
Merge.kif 17939-17939
antecedent
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
If
an object
is an
instance
of
lever
and
a process
is an
instance
of
pushing
and
a physical
is an
instance
of
motion
and
an unit of measure
is an
instance
of
unit of length
and
the process
end
s up at
another object
and one end of
the object
is
the other object
and one end of
the object
is
a third object
and
the other object
is not
equal
to
the third object
and
the other object
is
located
at
the process
1 holds
during
immediately
before
the
time
of existence of
the physical
and
the other object
is
located
at
the process
2 holds
during
immediately
after
the
time
of existence of
the physical
and
the third object
is
located
at
the process
3 holds
during
immediately
before
the
time
of existence of
the physical
and
the third object
is
located
at
the process
4 holds
during
immediately
after
the
time
of existence of
the physical
and the
distance
between
the process
1 and
the process
2 is
a real number
the unit of measure
(s) and the
distance
between
the process
3 and
the process
4 is
another real number
the unit of measure
(s),
then
the other real number
is
greater
than
the real number
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
If the
insertion
point of
a kind of muscle
is
a kind of body part
and
an object
is an
instance
of
human
and
standard anatomical position
is an
attribute
of
the object
holds
during
a time interval
and
healthy
is an
attribute
of
the object
and
another time interval
is an
instance
of
muscular contraction
and the
time
of existence of
the other time interval
takes place
during
the time interval
and
another object
is an
instance
of
a kind of muscle
and
the other object
is a
part
of
the object
and
the other object
is an
instrument
for
the other time interval
and one end of
the other object
is
a third object
and
the third object
meet
s
a fourth object
and
the third object
is
located
at
an entity
holds
during
the
beginning
of
the other time interval
,
then
the third object
is not
located
at
the entity
holds
during
the
end
of
the other time interval
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
If the
origin
of
a kind of muscle
is
a kind of body part
and
an object
is an
instance
of
human
and
standard anatomical position
is an
attribute
of
the object
holds
during
a time interval
and
healthy
is an
attribute
of
the object
and
another time interval
is an
instance
of
muscular contraction
and the
time
of existence of
the other time interval
takes place
during
the time interval
and
another object
is an
instance
of
a kind of muscle
and
the other object
is a
part
of
the object
and
the other object
is an
instrument
for
the other time interval
and one end of
the other object
is
a third object
and
the third object
meet
s
a fourth object
and
the third object
is
located
at
an entity
holds
during
the
beginning
of
the other time interval
,
then
the third object
is
located
at
the entity
holds
during
the
end
of
the other time interval
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1289-1293
If one end of
an object
is
another object
and
a third object
is a
superficial
part of
the object
,
then
the other object
meet
s
the third object
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
meetsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1280-1287
If one end of
an object
is
another object
and one end of
the object
is
a third object
and
the other object
is not
equal
to
the third object
,
then
the other object
doesn't
meet
the third object
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
overlapsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1271-1278
If one end of
an object
is
another object
and one end of
the object
is
a third object
and
the other object
is not
equal
to
the third object
,
then
the other object
and
the third object
doesn't
overlapsSpatially
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
part
?P1 ?E1)
(
part
?P2 ?E2)
(
instance
?U
UnitOfLength
)
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
not
(
equal
?E1 ?E2)))
(
not
(
exists
(?OP1 ?OP2 ?D2)
(
and
(
not
(
part
?OP1 ?E1))
(
not
(
part
?OP2 ?E2))
(
distance
?OP1 ?OP2
(
MeasureFn
?D2 ?U))
(
greaterThan
?D2 ?D1)))))
Mid-level-ontology.kif 1295-1315
If one end of
an object
is
another object
and one end of
the object
is
a third object
and
a fourth object
is a
part
of
the other object
and
a fifth object
is a
part
of
the third object
and
an unit of measure
is an
instance
of
unit of length
and the
distance
between
the fourth object
and
the fifth object
is
a real number
the unit of measure
(s) and
the other object
is not
equal
to
the third object
,
then there don't exist
the object
P1,
the object
P2 and
another real number
such that
the object
P1 is not a
part
of
the other object
and
the object
P2 is not a
part
of
the third object
and the
distance
between
the object
P1 and
the object
P2 is
the other real number
the unit of measure
(s) and
the other real number
is
greater
than
the real number
(=>
(
and
(
physicalEnd
?P1 ?O)
(
physicalEnd
?P2 ?O)
(
not
(
equal
?P1 ?P2))
(
distance
?P1 ?P2
(
MeasureFn
?D ?U)))
(
not
(
exists
(?OP1 ?OP2 ?N2)
(
and
(
physicalEnd
?OP1 ?O)
(
physicalEnd
?OP2 ?O)
(
not
(
equal
?OP1 ?OP2))
(
distance
?OP1 ?OP2
(
MeasureFn
?N2 ?U))
(
greaterThan
?N2 ?D)))))
Merge.kif 17947-17962
If one end of
an object
is
another object
and one end of
the object
is
a third object
and
the other object
is not
equal
to
the third object
and the
distance
between
the other object
and
the third object
is
a real number
an unit of measure
(s),
then there don't exist
the object
P1,
the object
P2 and
another real number
such that one end of
the object
is
the object
P1 and one end of
the object
is
the object
P2 and
the object
P1 is not
equal
to
the object
P2 and the
distance
between
the object
P1 and
the object
P2 is
the other real number
the unit of measure
(s) and
the other real number
is
greater
than
the real number
(=>
(
and
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 17906-17931
If the relative
angle
between
an object
and
another object
is
a real number
and one end of
the object
is
a third object
and one end of
the object
is
a fourth object
and
the third object
is not
equal
to
the fourth object
and the
length
of
the object
is
the real number
1
an unit of measure
(s) and the
length
of
the other object
is
the real number
2
the unit of measure
(s) and the
distance
between
the third object
and
a fifth object
is
the real number
3
the unit of measure
(s) and one end of
the other object
is
the fifth object
and one end of
the other object
is
a sixth object
and
the fifth object
is not
equal
to
the sixth object
and
the third object
doesn't
meet
the fifth object
,
then
the real number
is
equal
to the
arccosine
of ((
the real number
3 and
the real number
3 and
the real number
1 and
the real number
1) and
the real number
2 and
the real number
2) and 2.0 and
the real number
1 and
the real number
2
(=>
(
physicalEnd
?E ?O)
(
attribute
?O
LongAndThin
))
Mid-level-ontology.kif 1262-1264
If one end of
an object
is
another object
,
then
long and thin
is an
attribute
of
the object
(=>
(
physicalEnd
?E ?O)
(
not
(
attribute
?E
LongAndThin
)))
Mid-level-ontology.kif 1266-1269
If one end of
an object
is
another object
,
then
long and thin
is not an
attribute
of
the other object
(=>
(
physicalEnd
?P1 ?O)
(
attribute
?O
LongAndThin
))
Merge.kif 17943-17945
If one end of
an object
is
another object
,
then
long and thin
is an
attribute
of
the object
consequent
(=>
(
and
(
physicalEnd
?P1 ?O)
(
physicalEnd
?P2 ?O)
(
not
(
equal
?P1 ?P2))
(
distance
?P1 ?P2
(
MeasureFn
?D ?U)))
(
not
(
exists
(?OP1 ?OP2 ?N2)
(
and
(
physicalEnd
?OP1 ?O)
(
physicalEnd
?OP2 ?O)
(
not
(
equal
?OP1 ?OP2))
(
distance
?OP1 ?OP2
(
MeasureFn
?N2 ?U))
(
greaterThan
?N2 ?D)))))
Merge.kif 17947-17962
If one end of
an object
is
another object
and one end of
the object
is
a third object
and
the other object
is not
equal
to
the third object
and the
distance
between
the other object
and
the third object
is
a real number
an unit of measure
(s),
then there don't exist
the object
P1,
the object
P2 and
another real number
such that one end of
the object
is
the object
P1 and one end of
the object
is
the object
P2 and
the object
P1 is not
equal
to
the object
P2 and the
distance
between
the object
P1 and
the object
P2 is
the other real number
the unit of measure
(s) and
the other real number
is
greater
than
the real number
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