Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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
Clot
Sigma KEE - width
width
appearance as argument number 1
(
documentation
width
ChineseLanguage
"这是一个
BinaryPredicate
， 它是用来表示一个
Object
从 一边到另一边最大的距离。")
chinese_format.kif 2640-2641
(
documentation
width
EnglishLanguage
"
BinaryPredicate
that is used to state the measure of an
Object
from side to side at its widest span.")
Merge.kif 7618-7619
(
documentation
width
JapaneseLanguage
"
BinaryPredicate
は、最も広いスパンで
Object
のメ ジャーを左右に述えるために使用される。")
japanese_format.kif 1356-1357
(
domain
width
1
Physical
)
Merge.kif 7615-7615
The number 1 argument of
width
is an
instance
of
physical
(
domain
width
2
LengthMeasure
)
Merge.kif 7616-7616
The number 2 argument of
width
is an
instance
of
length measure
(
instance
width
BinaryPredicate
)
Merge.kif 7613-7613
width
is an
instance
of
binary predicate
(
instance
width
SingleValuedRelation
)
Merge.kif 7612-7612
width
is an
instance
of
single valued relation
(
subrelation
width
linearExtent
)
Merge.kif 7614-7614
width
is a
subrelation
of
linear extent
appearance as argument number 2
(
format
ChineseLanguage
width
"%1 的
width
%n 是 %2")
chinese_format.kif 615-615
(
format
EnglishLanguage
width
"the
width
of %1 is %n %2")
english_format.kif 618-618
(
format
FrenchLanguage
width
"la largeur de %1 est %n %2")
french_format.kif 372-372
(
format
ItalianLanguage
width
"l' ampiezza di %1 è %n %2")
relations-it.txt 316-316
(
format
JapaneseLanguage
width
"%1 の
width
は %2 では %n")
japanese_format.kif 2106-2106
(
format
PortugueseLanguage
width
"a largura de %1 e' %n %2")
portuguese_format.kif 324-324
(
format
de
width
"die breite von %1 ist %2 %n{nicht}")
relations-de.txt 806-806
(
format
hi
width
"%1 kii chaudaaii %2 %n hai")
relations-hindi.txt 350-350
(
format
ro
width
"
width
%t{lãþimea} lui %1 %n{nu} este %2")
relations-ro.kif 394-394
(
format
sv
width
"bredden av %1 är %n{inte} %2")
relations-sv.txt 413-413
(
format
tg
width
"ang kalaparan ng %1 %n ay %2")
relations-tg.txt 508-508
(
termFormat
ChineseLanguage
width
"宽度")
chinese_format.kif 616-616
(
termFormat
ChineseTraditionalLanguage
width
"寬度")
domainEnglishFormat.kif 63067-63067
(
termFormat
EnglishLanguage
width
"width")
domainEnglishFormat.kif 63066-63066
(
termFormat
de
width
"breite")
terms-de.txt 238-238
antecedent
(=>
(
and
(
instance
?AREA
(
MaritimeClaimsTerritorialSeaFn
?PLACE))
(
width
?AREA
(
MeasureFn
?WIDTH ?UNIT))
(
distance
?OBJ ?PLACE
(
MeasureFn
?DISTANCE ?UNIT))
(
lessThanOrEqualTo
?DISTANCE ?WIDTH))
(
located
?OBJ ?AREA))
Geography.kif 2349-2355
If
an object
is an
instance
of the
maritime
claims territorial sea of
a region
and the
width
of
the object
is
a real number
an unit of measure
(s) and the
distance
between
a physical
and
the region
is
another real number
the unit of measure
(s) and
the other real number
is
less
than or equal to
the real number
,
then
the physical
is
located
at
the object
(=>
(
and
(
instance
?BOTTLE
Bottle
)
(
bottom
?BOTTOM ?BOTTLE)
(
top
?TOP ?BOTTLE)
(
instance
?U
UnitOfLength
)
(
width
?BOTTOM
(
MeasureFn
?WIDTH1 ?U))
(
width
?TOP
(
MeasureFn
?WIDTH2 ?U)))
(
lessThan
?WIDTH2 ?WIDTH1))
Mid-level-ontology.kif 5143-5153
If
a self connected object
is an
instance
of
bottle
and the
bottom
of
the self connected object
is
another self connected object
and the
top
of
the self connected object
is
a third self connected object
and
an unit of measure
is an
instance
of
unit of length
and the
width
of
the other self connected object
is
a real number
the unit of measure
(s) and the
width
of
the third self connected object
is
another real number
the unit of measure
(s),
then
the other real number
is
less
than
the real number
(=>
(
and
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM)
(
instance
?GUN ?GUNCLASS)
(
width
?PROJ ?LM1)
(
equal
?LM ?LM1))
(
capability
(
KappaFn
?SHOOTING
(
and
(
instance
?SHOOTING
Shooting
)
(
patient
?SHOOTING ?PROJ)))
instrument
?GUN))
MilitaryDevices.kif 390-402
If
a physical
is an
instance
of
projectile
and
a length measure
is a
caliber
of
a kind of gun
and
an object
is an
instance
of
a kind of gun
and the
width
of
the physical
is
the length measure
1 and
equal
the length measure
and
the length measure
1,
then
the object
is
capable
of doing the
class
described by
a symbolic string
as a
instrument
(=>
(
and
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM)
(
instance
?GUN ?GUNCLASS)
(
width
?PROJ ?LM1)
(
equal
?LM ?LM1))
(
hasPurpose
?GUN
(
exists
(?SHOOTING)
(
and
(
instance
?SHOOTING
Shooting
)
(
patient
?SHOOTING ?PROJ)
(
instrument
?SHOOTING ?GUN)))))
MilitaryDevices.kif 407-419
If
a physical
is an
instance
of
projectile
and
a length measure
is a
caliber
of
a kind of gun
and
another physical
is an
instance
of
a kind of gun
and the
width
of
the physical
is
the length measure
1 and
equal
the length measure
and
the length measure
1,
then
the other physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
shooting
and
the physical
is a
patient
of
the entity
and
the other physical
is an
instrument
for
the entity
(=>
(
and
(
instance
?S
Spaghetti
)
(
instance
?L
Linguine
)
(
instance
?U
UnitOfLength
)
(
width
?S
(
MeasureFn
?W1 ?U))
(
width
?L
(
MeasureFn
?W2 ?U)))
(
greaterThan
?W2 ?W1))
Food.kif 2639-2648
If
a physical
is an
instance
of
spaghetti
and
another physical
is an
instance
of
linguine
and
an unit of measure
is an
instance
of
unit of length
and the
width
of
the physical
is
a real number
the unit of measure
(s) and the
width
of
the other physical
is
another real number
the unit of measure
(s),
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?SHOT
Shooting
)
(
instrument
?SHOT ?GUN)
(
patient
?SHOT ?PROJ)
(
width
?PROJ ?LM1)
(
instance
?GUN ?GUNCLASS)
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM))
(
equal
?LM ?LM1))
MilitaryDevices.kif 376-385
If
a process
is an
instance
of
shooting
and
an object
is an
instrument
for
the process
and
a physical
is a
patient
of
the process
and the
width
of
the physical
is
a length measure
and
the object
is an
instance
of
the object
CLASS and
the physical
is an
instance
of
projectile
and
another length measure
is a
caliber
of
the object
CLASS,
then
equal
the other length measure
and
the length measure
(=>
(
and
(
maximumPayloadCapacity
?V
(
MeasureFn
?WEIGHT ?UNITWEIGHT))
(
maximumPayloadHeightWidth
?V
(
MeasureFn
?HEIGHT ?UNITHEIGHT)
(
MeasureFn
?WIDTH ?UNITWIDTH))
(
instance
?O
SelfConnectedObject
)
(
weight
?O
(
MeasureFn
?WEO ?WEOU))
(
width
?O
(
MeasureFn
?WO ?WOU))
(
height
?O
(
MeasureFn
?HO ?HOU))
(
equal
?WEOU ?UNITWEIGHT)
(
equal
?WOU ?UNITWIDTH)
(
equal
?HOU ?UNITHEIGHT)
(
lessThanOrEqualTo
?WEO ?WEIGHT)
(
lessThanOrEqualTo
?WO ?WIDTH)
(
lessThanOrEqualTo
?HO ?HEIGHT))
(
capability
(
KappaFn
?TRANSPORT
(
and
(
instance
?TRANSPORT
Transportation
)
(
patient
?TRANSPORT ?O)))
instrument
?V))
MilitaryDevices.kif 144-169
If
a real number
an unit of measure
(s) is a
maximum
payload capacity of
a vehicle
and
the vehicle
is
maximum
payload height width
another real number
another unit of measure
(s) for
a third real number
a third unit of measure
(s) and
a self connected object
is an
instance
of
self connected object
and
a fourth real number
the fourth real number
U(s) is a
weight
of
the self connected object
and the
width
of
the self connected object
is
a fifth real number
the fifth real number
U(s) and the
height
of
the self connected object
is
a sixth real number
the sixth real number
U(s) and
equal
the fourth real number
U and
the unit of measure
and
equal
the fifth real number
U and
the third unit of measure
and
equal
the sixth real number
U and
the other unit of measure
and
the fourth real number
is
less
than or equal to
the real number
and
the fifth real number
is
less
than or equal to
the third real number
and
the sixth real number
is
less
than or equal to
the other real number
,
then
the vehicle
is
capable
of doing the
class
described by
a symbolic string
as a
instrument
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
greaterThan
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
not
(
located
?OBJ ?ZONE)))
Geography.kif 2338-2347
If
an object
is
outside
to
a region
and
another object
is an
instance
of the
perimeter
area of
the region
and
the other object
is an
instance
of
uniform perimeter area
and the
width
of
the other object
is
a real number
an unit of measure
(s) and the
distance
between
the object
and
the region
is
another real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of measure
and (
the other real number
and
the real number
) is
greater
than 0.0,
then
the object
is not
located
at
the other object
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
lessThanOrEqualTo
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
located
?OBJ ?ZONE))
Geography.kif 2327-2336
If
an object
is
outside
to
a region
and
another object
is an
instance
of the
perimeter
area of
the region
and
the other object
is an
instance
of
uniform perimeter area
and the
width
of
the other object
is
a real number
an unit of measure
(s) and the
distance
between
the object
and
the region
is
another real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of measure
and (
the other real number
and
the real number
) is
less
than or equal to 0.0,
then
the object
is
located
at
the other object
(=>
(
width
?OBJECT ?WIDTH)
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9921-9927
If the
width
of
a self connected object
is
a length measure
,
then there exist
another self connected object
and
a third self connected object
such that a
side
of
the self connected object
is
the other self connected object
and a
side
of
the self connected object
is
the third self connected object
and the
distance
between
the other self connected object
and
the third self connected object
is
the length measure
consequent
(=>
(
and
(
instance
?X
OpticalDisc
)
(
attribute
?X
MiniSizeDisc
))
(
width
?X
(
MeasureFn
80
Millimeter
)))
Media.kif 1245-1250
If
an object
is an
instance
of
optical disc
and
mini size disc
is an
attribute
of
the object
,
then the
width
of
the object
is 80
millimeter
(s)
(=>
(
and
(
instance
?X
OpticalDisc
)
(
attribute
?X
StandardSizeDisc
))
(
width
?X
(
MeasureFn
120
Millimeter
)))
Media.kif 1232-1237
If
an object
is an
instance
of
optical disc
and
standard size disc
is an
attribute
of
the object
,
then the
width
of
the object
is 120
millimeter
(s)
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
width
?O ?Q))
Mid-level-ontology.kif 33001-33006
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
width
of
the physical
is
the length measure
(=>
(
and
(
memberMeasure
?S
Width
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
width
?O ?Q))
Mid-level-ontology.kif 32994-32999
If members of
a class
have the measure
a length measure
in terms of
width
and
the class
is an
instance
of
class
and
a physical
is an
instance
of
the class
,
then the
width
of
the physical
is
the length measure
(=>
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))
(
width
?OBJECT ?WIDTH))
Merge.kif 9929-9934
If a
side
of
a self connected object
is
another self connected object
and a
side
of
the self connected object
is
a third self connected object
and the
distance
between
the other self connected object
and
the third self connected object
is
a length measure
,
then the
width
of
the self connected object
is
the length measure
(=>
(
defaultMaximumWidth
?OBJECT
(
MeasureFn
?W ?U))
(
modalAttribute
(
exists
(?INST ?WIDTH)
(
and
(
instance
?INST ?OBJECT)
(
width
?INST
(
MeasureFn
?WIDTH ?U))
(
greaterThan
?WIDTH ?W)))
Unlikely
))
Mid-level-ontology.kif 14727-14736
If the
maximum
expected width of
a kind of object
is
a real number
an unit of measure
(s),
then the statement there exist
an entity
and
the real number
IDTH such that
the entity
is an
instance
of
a kind of object
and the
width
of
the entity
is
the real number
IDTH
the unit of measure
(s) and
the real number
IDTH is
greater
than
the real number
has the
modal
force
of
unlikely
(=>
(
defaultMinimumWidth
?OBJECT
(
MeasureFn
?W ?U))
(
modalAttribute
(
exists
(?INST ?WIDTH)
(
and
(
instance
?INST ?OBJECT)
(
width
?INST
(
MeasureFn
?WIDTH ?U))
(
lessThan
?WIDTH ?W)))
Unlikely
))
Mid-level-ontology.kif 14711-14719
If the
minimum
expected width of
a kind of object
is
a real number
an unit of measure
(s),
then the statement there exist
an entity
and
the real number
IDTH such that
the entity
is an
instance
of
a kind of object
and the
width
of
the entity
is
the real number
IDTH
the unit of measure
(s) and
the real number
IDTH is
less
than
the real number
has the
modal
force
of
unlikely
(=>
(
instance
?AAV
AAV
)
(
and
(
length
?AAV
(
MeasureFn
7.94
Meter
))
(
width
?AAV
(
MeasureFn
3.27
Meter
))
(
weight
?AAV
(
MeasureFn
22.8
TonMass
))
(
height
?AAV
(
MeasureFn
3.26
Meter
))
(
effectiveRange
?AAV
(
MeasureFn
480.0
Kilometer
))))
MilitaryDevices.kif 1819-1831
If
a self connected object
is an
instance
of
Amphibious Assault Vehicle
,
then the
length
of
the self connected object
is 7.94
meter
(s) and the
width
of
the self connected object
is 3.27
meter
(s) and 22.8
ton mass
(s) is a
weight
of
the self connected object
and the
height
of
the self connected object
is 3.26
meter
(s) and 480.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
instance
?AGM114
AGM114
)
(
and
(
length
?AGM114
(
MeasureFn
1.63
Meter
))
(
width
?AGM114
(
MeasureFn
0.71
Meter
))
(
height
?AGM114
(
MeasureFn
0.71
Meter
))
(
weight
?AGM114
(
MeasureFn
45.0
Kilogram
))
(
effectiveRange
?AGM114
(
MeasureFn
8.0
Kilometer
))))
MilitaryDevices.kif 1392-1404
If
a self connected object
is an
instance
of
AG m114
,
then the
length
of
the self connected object
is 1.63
meter
(s) and the
width
of
the self connected object
is 0.71
meter
(s) and the
height
of
the self connected object
is 0.71
meter
(s) and 45.0
kilogram
(s) is a
weight
of
the self connected object
and 8.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
instance
?AGM65
AGM65
)
(
and
(
length
?AGM65
(
MeasureFn
2.55
Meter
))
(
width
?AGM65
(
MeasureFn
0.7
Meter
))
(
height
?AGM65
(
MeasureFn
0.7
Meter
))
(
weight
?AGM65
(
MeasureFn
302.0
Kilogram
))
(
effectiveRange
?AGM65
(
MeasureFn
27.0
Kilometer
))))
MilitaryDevices.kif 1312-1324
If
a self connected object
is an
instance
of
AG m65
,
then the
length
of
the self connected object
is 2.55
meter
(s) and the
width
of
the self connected object
is 0.7
meter
(s) and the
height
of
the self connected object
is 0.7
meter
(s) and 302.0
kilogram
(s) is a
weight
of
the self connected object
and 27.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
instance
?AH1
AH1
)
(
and
(
length
?AH1
(
MeasureFn
17.68
Meter
))
(
width
?AH1
(
MeasureFn
14.63
Meter
))
(
height
?AH1
(
MeasureFn
4.44
Meter
))
(
weight
?AH1
(
MeasureFn
4634.0
Kilogram
))
(
effectiveRange
?AH1
(
MeasureFn
587.0
Kilometer
))))
MilitaryDevices.kif 2057-2069
If
a self connected object
is an
instance
of
A h1
,
then the
length
of
the self connected object
is 17.68
meter
(s) and the
width
of
the self connected object
is 14.63
meter
(s) and the
height
of
the self connected object
is 4.44
meter
(s) and 4634.0
kilogram
(s) is a
weight
of
the self connected object
and 587.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
instance
?AIM9
AIM9
)
(
and
(
length
?AIM9
(
MeasureFn
2.85
Meter
))
(
width
?AIM9
(
MeasureFn
0.63
Meter
))
(
height
?AIM9
(
MeasureFn
0.63
Meter
))
(
weight
?AIM9
(
MeasureFn
91.0
Kilogram
))
(
effectiveRange
?AIM9
(
MeasureFn
18.0
Kilometer
))))
MilitaryDevices.kif 1346-1358
If
a self connected object
is an
instance
of
AI m9
,
then the
length
of
the self connected object
is 2.85
meter
(s) and the
width
of
the self connected object
is 0.63
meter
(s) and the
height
of
the self connected object
is 0.63
meter
(s) and 91.0
kilogram
(s) is a
weight
of
the self connected object
and 18.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
instance
?BACTERIUM
Bacterium
)
(
exists
(?NUMBER)
(
and
(
width
?BACTERIUM
(
MeasureFn
?NUMBER
Meter
))
(
greaterThanOrEqualTo
?NUMBER 0.000001)
(
lessThanOrEqualTo
?NUMBER 0.000002))))
WMD.kif 205-211
If
a physical
is an
instance
of
bacterium
,
then there exists
a real number
such that the
width
of
the physical
is
the real number
meter
(s) and
the real number
is
greater
than or equal to 0.000001 and
the real number
is
less
than or equal to 0.000002
(=>
(
instance
?CH46D
CH46D
)
(
and
(
length
?CH46D
(
MeasureFn
25.72
Meter
))
(
width
?CH46D
(
MeasureFn
15.54
Meter
))
(
height
?CH46D
(
MeasureFn
5.1
Meter
))
(
weight
?CH46D
(
MeasureFn
7047.0
Kilogram
))
(
effectiveRange
?CH46D
(
MeasureFn
676.0
Kilometer
))))
MilitaryDevices.kif 2017-2029
If
a self connected object
is an
instance
of
C h46 d
,
then the
length
of
the self connected object
is 25.72
meter
(s) and the
width
of
the self connected object
is 15.54
meter
(s) and the
height
of
the self connected object
is 5.1
meter
(s) and 7047.0
kilogram
(s) is a
weight
of
the self connected object
and 676.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
instance
?CH53E
CH53E
)
(
and
(
length
?CH53E
(
MeasureFn
30.2
Meter
))
(
width
?CH53E
(
MeasureFn
24.1
Meter
))
(
height
?CH53E
(
MeasureFn
8.46
Meter
))
(
weight
?CH53E
(
MeasureFn
15071.0
Kilogram
))
(
effectiveRange
?CH53E
(
MeasureFn
2000.0
Kilometer
))))
MilitaryDevices.kif 1945-1957
If
a self connected object
is an
instance
of
C h53 e
,
then the
length
of
the self connected object
is 30.2
meter
(s) and the
width
of
the self connected object
is 24.1
meter
(s) and the
height
of
the self connected object
is 8.46
meter
(s) and 15071.0
kilogram
(s) is a
weight
of
the self connected object
and 2000.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
instance
?Harrier
Harrier2
)
(
and
(
length
?Harrier
(
MeasureFn
14.1
Meter
))
(
width
?Harrier
(
MeasureFn
9.2
Meter
))
(
height
?Harrier
(
MeasureFn
3.5
Meter
))
(
weight
?Harrier
(
MeasureFn
5700.0
Kilogram
))
(
effectiveRange
?Harrier
(
MeasureFn
1000.0
Kilometer
))))
MilitaryDevices.kif 1901-1913
If
a self connected object
is an
instance
of
harrier2
,
then the
length
of
the self connected object
is 14.1
meter
(s) and the
width
of
the self connected object
is 9.2
meter
(s) and the
height
of
the self connected object
is 3.5
meter
(s) and 5700.0
kilogram
(s) is a
weight
of
the self connected object
and 1000.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
instance
?LAV
LAV25
)
(
and
(
length
?LAV
(
MeasureFn
6.39
Meter
))
(
width
?LAV
(
MeasureFn
2.5
Meter
))
(
height
?LAV
(
MeasureFn
2.69
Meter
))
(
weight
?LAV
(
MeasureFn
12802.8
Kilogram
))
(
effectiveRange
?LAV
(
MeasureFn
660.1
Kilometer
))))
MilitaryDevices.kif 1699-1711
If
a self connected object
is an
instance
of
LAV25
,
then the
length
of
the self connected object
is 6.39
meter
(s) and the
width
of
the self connected object
is 2.5
meter
(s) and the
height
of
the self connected object
is 2.69
meter
(s) and 12802.8
kilogram
(s) is a
weight
of
the self connected object
and 660.1
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
instance
?T
FiftythreeFtContainer
)
(
and
(
length
?T
(
MeasureFn
53
FootLength
))
(
height
?T
(
MeasureFn
102
Inch
))
(
width
?T
(
MeasureFn
8
FootLength
))))
Transportation.kif 3051-3059
If
a self connected object
is an
instance
of
fifty three foot container
,
then the
length
of
the self connected object
is 53
foot length
(s) and the
height
of
the self connected object
is 102
inch
(s) and the
width
of
the self connected object
is 8
foot length
(s)
(=>
(
instance
?T
FortyFtContainer
)
(
and
(
length
?T
(
MeasureFn
40
FootLength
))
(
width
?T
(
MeasureFn
8
FootLength
))))
Transportation.kif 2941-2947
If
a physical
is an
instance
of
forty foot container
,
then the
length
of
the physical
is 40
foot length
(s) and the
width
of
the physical
is 8
foot length
(s)
(=>
(
instance
?T
FortyeightFtContainer
)
(
and
(
length
?T
(
MeasureFn
48
FootLength
))
(
height
?T
(
MeasureFn
102
Inch
))
(
width
?T
(
MeasureFn
8
FootLength
))))
Transportation.kif 3028-3036
If
a self connected object
is an
instance
of
forty eight foot container
,
then the
length
of
the self connected object
is 48
foot length
(s) and the
height
of
the self connected object
is 102
inch
(s) and the
width
of
the self connected object
is 8
foot length
(s)
(=>
(
instance
?T
FortyfiveFtContainer
)
(
and
(
length
?T
(
MeasureFn
45
FootLength
))
(
height
?T
(
MeasureFn
102
Inch
))
(
width
?T
(
MeasureFn
8
FootLength
))))
Transportation.kif 3009-3017
If
a self connected object
is an
instance
of
forty five foot container
,
then the
length
of
the self connected object
is 45
foot length
(s) and the
height
of
the self connected object
is 102
inch
(s) and the
width
of
the self connected object
is 8
foot length
(s)
(=>
(
instance
?T
TwentyFtContainer
)
(
and
(
length
?T
(
MeasureFn
20
FootLength
))
(
width
?T
(
MeasureFn
8
FootLength
))))
Transportation.kif 2803-2809
If
a physical
is an
instance
of
twenty foot container
,
then the
length
of
the physical
is 20
foot length
(s) and the
width
of
the physical
is 8
foot length
(s)
(=>
(
instance
?VIRUS
YellowFeverVirus
)
(
exists
(?NUMBER)
(
and
(
width
?VIRUS
(
MeasureFn
?NUMBER
Meter
))
(
equal
?NUMBER 0.00000002))))
WMD.kif 1179-1184
If
a physical
is an
instance
of
yellow fever virus
,
then there exists
a real number
such that the
width
of
the physical
is
the real number
meter
(s) and
equal
the real number
and 0.00000002
(=>
(
instance
?X
DoubleBed
)
(
and
(
width
?X
(
MeasureFn
1.35
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 4284-4288
If
a physical
is an
instance
of
full-sized bed
,
then the
width
of
the physical
is 1.35
meter
(s) and the
length
of
the physical
is 2.0
meter
(s)
(=>
(
instance
?X
KingBed
)
(
and
(
width
?X
(
MeasureFn
1.9
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 4227-4231
If
a physical
is an
instance
of
king-sized bed
,
then the
width
of
the physical
is 1.9
meter
(s) and the
length
of
the physical
is 2.0
meter
(s)
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
