Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
length
Sigma KEE - length
length
appearance as argument number 1
(
documentation
length
ChineseLanguage
"这是一个
BinaryPredicate
，它是用来表示一个
Object
最 长部分的幅度。")
chinese_format.kif 2643-2644
(
documentation
length
EnglishLanguage
"
BinaryPredicate
that is used to state the measure of an
Object
along its longest span.")
Merge.kif 7610-7611
(
documentation
length
JapaneseLanguage
"
BinaryPredicate
は、最も長いスパンに沿って
Object
のメジャーを述べるために使用される。")
japanese_format.kif 1360-1361
(
domain
length
1
Physical
)
Merge.kif 7606-7606
The number 1 argument of
length
is an
instance
of
physical
(
domain
length
2
LengthMeasure
)
Merge.kif 7607-7607
The number 2 argument of
length
is an
instance
of
length measure
(
instance
length
BinaryPredicate
)
Merge.kif 7608-7608
length
is an
instance
of
binary predicate
(
instance
length
SingleValuedRelation
)
Merge.kif 7604-7604
length
is an
instance
of
single valued relation
(
subrelation
length
linearExtent
)
Merge.kif 7605-7605
length
is a
subrelation
of
linear extent
appearance as argument number 2
(
format
ChineseLanguage
length
"%1 的
length
%n 是 %2")
chinese_format.kif 613-613
(
format
EnglishLanguage
length
"the
length
of %1 is %n %2")
english_format.kif 616-616
(
format
FrenchLanguage
length
"le longueur de %1 est %n %2")
french_format.kif 371-371
(
format
ItalianLanguage
length
"la lunghezza di %1 è %n %2")
relations-it.txt 162-162
(
format
JapaneseLanguage
length
"%1 の
length
は %2 では %n ")
japanese_format.kif 2105-2105
(
format
PortugueseLanguage
length
"o comprimento de %1 e' %n %2")
portuguese_format.kif 323-323
(
format
cz
length
"d�lka %1 %p{je} %n{nen�} %2")
relations-cz.txt 380-380
(
format
de
length
"die laenge von %1 ist %2 %n{nicht}")
relations-de.txt 803-803
(
format
hi
length
"%1 kii lambaaii %2 %n hai")
relations-hindi.txt 201-201
(
format
ro
length
"
length
%t{lungimea} lui %1 %n{nu} este %2")
relations-ro.kif 393-393
(
format
sv
length
"längden av %1 är %n{inte} %2")
relations-sv.txt 412-412
(
format
tg
length
"ang haba ng %1 %n ay %2")
relations-tg.txt 323-323
(
subrelation
waterDepth
length
)
Mid-level-ontology.kif 19119-19119
water depth
is a
subrelation
of
length
(
termFormat
ChineseLanguage
length
"长度")
chinese_format.kif 614-614
water depth
is a
subrelation
of
length
(
termFormat
EnglishLanguage
length
"length")
domainEnglishFormat.kif 65873-65873
water depth
is a
subrelation
of
length
(
termFormat
de
length
"laenge")
terms-de.txt 237-237
water depth
is a
subrelation
of
length
(
termFormat
tg
length
"haba")
relations-tg.txt 324-324
water depth
is a
subrelation
of
length
antecedent
(=>
(
and
(
instance
?CPR
CPR
)
(
instance
?C
Compressing
)
(
path
?C ?P)
(
subProcess
?C ?CPR)
(
length
?P
(
MeasureFn
?L
Centimeter
)))
(
and
(
greaterThan
?L 5.0)
(
lessThan
?L 6.0)))
Medicine.kif 610-620
If
a process
is an
instance
of
cardio pulmonary resuscitation
and
a motion
is an
instance
of
compressing
and
an object
is
path
along which
the motion
occurs and
the motion
is a
subprocess
of
the process
and the
length
of
the object
is
a real number
centimeter
(s),
then
the real number
is
greater
than 5.0 and
the real number
is
less
than 6.0
(=>
(
and
(
instance
?ET
AuditoryCanal
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 2.5))
Anatomy.kif 1602-1609
If
an object
is an
instance
of
auditory canal
and
the object
is a
part
of
another object
and
healthy
is an
attribute
of
the other object
and the
length
of
the object
is
a real number
centimeter
(s),
then the approximate value of
the real number
is 2.5
(=>
(
and
(
instance
?ET
EustachianTube
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 35.0))
Anatomy.kif 1552-1559
If
an object
is an
instance
of
Eustachian tube
and
the object
is a
part
of
another object
and
healthy
is an
attribute
of
the other object
and the
length
of
the object
is
a real number
centimeter
(s),
then the approximate value of
the real number
is 35.0
(=>
(
and
(
instance
?H
Handgun
)
(
instance
?B1
GunBarrel
)
(
part
?B1 ?H)
(
length
?B1
(
MeasureFn
?S
Inch
))
(
instance
?L
Longgun
)
(
instance
?B2
GunBarrel
)
(
part
?B2 ?L)
(
length
?B2
(
MeasureFn
?T
Inch
)))
(
lessThan
?S ?T))
Mid-level-ontology.kif 2002-2012
If
an object
is an
instance
of
hand gun
and
another object
is an
instance
of
gun barrel
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
a real number
inch
(s) and
a third object
is an
instance
of
long gun
and
a fourth object
is an
instance
of
gun barrel
and
the fourth object
is a
part
of
the third object
and the
length
of
the fourth object
is
another real number
inch
(s),
then
the real number
is
less
than
the other real number
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 11886-11901
If
a process
is an
instance
of
muscle relaxing
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
muscle
and the
length
of
the entity
is
a real number
another entity
(s) holds
during
immediately
before
the
time
of existence of
the process
and the
length
of
the entity
is
another real number
the other entity
(s) holds
during
immediately
after
the
time
of existence of
the process
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 11864-11879
If
a process
is an
instance
of
muscular contraction
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
muscle
and the
length
of
the entity
is
a real number
another entity
(s) holds
during
immediately
before
the
time
of existence of
the process
and the
length
of
the entity
is
another real number
the other entity
(s) holds
during
immediately
after
the
time
of existence of
the process
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?P1
PointInSpace
)
(
instance
?P2
PointInSpace
)
(
not
(
equal
?P1 ?P2))
(
instance
?L
FiniteLineInSpace
)
(
part
?P1 ?L)
(
part
?P2 ?L)
(
endPointsOfLineInSpace
?P1 ?P2 ?L)
(
length
?L
(
MeasureFn
?X ?U))
(
instance
?U
UnitOfLength
)
(
distance
?P1 ?P2
(
MeasureFn
?Y ?U)))
(
equal
?X ?Y))
Mid-level-ontology.kif 27321-27336
If
a point in space
is an
instance
of
point in space
and
another point in space
is an
instance
of
point in space
and
equal
the point in space
and
the other point in space
and
a finite line in space
is an
instance
of
finite line in space
and
the point in space
is a
part
of
the finite line in space
and
the other point in space
is a
part
of
the finite line in space
and
the point in space
and
the other point in space
are end points of
the finite line in space
and the
length
of
the finite line in space
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of length
and the
distance
between
the point in space
and
the other point in space
is
another real number
the unit of measure
(s),
then
equal
the real number
and
the other real number
(=>
(
and
(
path
?PROCESS ?PATH1)
(
origin
?PROCESS ?SOURCE)
(
destination
?PROCESS ?DEST)
(
length
?PATH1
(
MeasureFn
?MEASURE1 ?U))
(
distance
?SOURCE ?DEST
(
MeasureFn
?DISTANCE ?U))
(
not
(
greaterThan
?MEASURE1 ?DISTANCE))
(
part
?OBJ ?PATH1))
(
between
?SOURCE ?OBJ ?DEST))
Merge.kif 11220-11230
If
an object
is
path
along which
a motion
occurs and
the motion
originate
s at
another object
and
the motion
end
s up at
a third object
and the
length
of
the object
is
a real number
an unit of measure
(s) and the
distance
between
the other object
and
the third object
is
another real number
the unit of measure
(s) and
the real number
is not
greater
than
the other real number
and
a fourth object
is a
part
of
the object
,
then
the fourth object
is
between
the other object
and
the third object
(=>
(
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 18089-18114
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
equal
the third object
and
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
equal
the fifth object
and
the sixth object
and
the third object
doesn't
meet
the fifth object
,
then
equal
the real number
and 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
(=>
(
length
?O
(
MeasureFn
?M ?U))
(
not
(
exists
(?M2)
(
and
(
linearExtent
?O
(
MeasureFn
?M2 ?U))
(
greaterThan
?M2 ?M)))))
Merge.kif 7613-7621
If the
length
of
a physical
is
a real number
an unit of measure
(s),
then there doesn't exist
the real number
2 such that the
linear
extent
of
the physical
is
the real number
2
the unit of measure
(s) and
the real number
2 is
greater
than
the real number
consequent
(<=>
(
lengthOfBroadGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
BroadGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189
A length measure
is a
length
of broad gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
lengthOfCrudeOilPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
CrudeOilPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719
A length measure
is a
length
of crude oil pipeline of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
lengthOfDualGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
DualGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 210-217
A length measure
is a
length
of dual gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
lengthOfElectrifiedRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
ElectrifiedRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 126-133
A length measure
is a
length
of electrified railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
lengthOfExpresswaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Expressway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 568-575
A length measure
is a
length
of expressway system of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
lengthOfMultipleTrackRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
MultipleTrackRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 154-161
A length measure
is a
length
of multiple track railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
lengthOfNarrowGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
NarrowGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 237-244
A length measure
is a
length
of narrow gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
lengthOfNaturalGasPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
NaturalGasPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742
A length measure
is a
length
of natural gas pipeline of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
lengthOfPavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
SurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 542-549
A length measure
is a
length
of paved highway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
lengthOfPetroleumProductPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
PetroleumProductPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 758-765
A length measure
is a
length
of petroleum product pipeline of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
lengthOfStandardGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
StandardGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 265-272
A length measure
is a
length
of standard gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
lengthOfUnclassifiedGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
located
?RAILWAYS ?AREA)
(
not
(
instance
?RAILWAYS
(
UnionFn
StandardGaugeRailway
(
UnionFn
BroadGaugeRailway
(
UnionFn
DualGaugeRailway
NarrowGaugeRailway
))))))) ?LENGTH))
Transportation.kif 294-306
A length measure
is a
length
of unclassified gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
lengthOfUnpavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
UnsurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 601-608
A length measure
is a
length
of unpaved highway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
totalLengthOfHighwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Roadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 484-491
A length measure
is a
total
length of highway system of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
totalLengthOfRailwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
Railway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105
A length measure
is a
total
length of railway system of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
totalLengthOfWaterways
?AREA ?LENGTH)
(
length
(
KappaFn
?WATERWAY
(
and
(
instance
?WATERWAY
Waterway
)
(
partlyLocated
?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663
A length measure
is a
total
length of waterways of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
A length measure
is a
total
pipeline in area of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1574-1586
If
an object
is an
instance
of
airport
and
long runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a real number
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the real number
meter
(s) and
the real number
is
greater
than or equal to 2438 or
the real number
is
less
than or equal to 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1555-1567
If
an object
is an
instance
of
airport
and
medium length runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a real number
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the real number
meter
(s) and
the real number
is
greater
than or equal to 1524 or
the real number
is
less
than or equal to 2437
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1536-1548
If
an object
is an
instance
of
airport
and
short runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a real number
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the real number
meter
(s) and
the real number
is
greater
than or equal to 914 or
the real number
is
less
than or equal to 1523
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryLongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
greaterThan
?LENGTH 3047))))
Transportation.kif 1593-1603
If
an object
is an
instance
of
airport
and
very long runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a real number
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the real number
meter
(s) and
the real number
is
greater
than 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
lessThan
?LENGTH 914))))
Transportation.kif 1520-1529
If
an object
is an
instance
of
airport
and
very short runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a real number
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the real number
meter
(s) and
the real number
is
less
than 914
(=>
(
and
(
instance
?L
Lengthening
)
(
patient
?L ?O))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 25451-25466
If
a process
is an
instance
of
lengthening
and
an entity
is a
patient
of
the process
,
then there exist
the process
1,
the process
2 and
another entity
such that
the other entity
is an
instance
of
unit of length
and the
length
of
the entity
is
the process
1
the other entity
(s) holds
during
the
beginning
of the
time
of existence of
the process
and the
length
of
the entity
is
the process
2
the other entity
(s) holds
during
the
end
of the
time
of existence of
the process
and
the process
2 is
greater
than
the process
1
(=>
(
and
(
instance
?S
Shortening
)
(
patient
?S ?O))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?S))
(
length
?O
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
length
?O
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L1 ?L2))))
Mid-level-ontology.kif 18635-18650
If
a process
is an
instance
of
shortening
and
an entity
is a
patient
of
the process
,
then there exist
a real number
,
another real number
and
another entity
such that
the other entity
is an
instance
of
unit of length
and the
length
of
the entity
is
the real number
the other entity
(s) holds
during
the
beginning
of the
time
of existence of
the process
and the
length
of
the entity
is
the other real number
the other entity
(s) holds
during
the
end
of the
time
of existence of
the process
and
the real number
is
greater
than
the other real number
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
length
?O ?Q))
Mid-level-ontology.kif 32996-33001
If members of
a set
have the measure
a length measure
in terms of
a measurement attribute
and
the set
is an
instance
of
set
and
a physical
is an
element
of
the set
,
then the
length
of
the physical
is
the length measure
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
length
(
ShorelineFn
SouthernOcean
Antarctica
)
(
MeasureFn
17968.0
(
KiloFn
Meter
)))
Geography.kif 4911-4914
The
length
of the
shoreline
of
southern ocean
and
antarctica
is 17968.0 1
thousand
meter
s(s)
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
