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
length
Sigma KEE - length
length
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2643-2644
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7560-7561
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1360-1361
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7558-7558
length
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7556-7556
length
is an
instance
of
single valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7557-7557
length
is a
subrelation
of
linear extent
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 613-613
No TPTP formula. May not be expressible in strict first order.
english_format.kif 616-616
No TPTP formula. May not be expressible in strict first order.
french_format.kif 371-371
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 162-162
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2105-2105
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 323-323
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 380-380
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 803-803
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 201-201
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 393-393
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 412-412
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 323-323
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17568-17568
water depth
is a
subrelation
of
length
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 614-614
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 65864-65864
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 324-324
antecedent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 620-630
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
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1567-1574
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
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1517-1524
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10555-10570
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10533-10548
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11082-11092
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7563-7571
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1445-1457
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
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1426-1438
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
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1407-1419
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
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1464-1474
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
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1391-1400
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23805-23820
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17208-17223
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31060-31065
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
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4671-4674
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
length