Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
width
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 7449-7450
(
instance
width
BinaryPredicate
)
Merge.kif 7446-7446
width
is an
instance
of
binary predicate
(
instance
width
SingleValuedRelation
)
Merge.kif 7445-7445
width
is an
instance
of
single valued relation
(
subrelation
width
linearExtent
)
Merge.kif 7447-7447
width
is a
subrelation
of
linearExtent
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
(
termFormat
ChineseLanguage
width
"宽度")
chinese_format.kif 616-616
(
termFormat
ChineseTraditionalLanguage
width
"寬度")
domainEnglishFormat.kif 63041-63041
(
termFormat
EnglishLanguage
width
"width")
domainEnglishFormat.kif 63040-63040
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 881-887
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 4432-4442
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
UnitOfLength
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 233-245
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
the length measure
is
equal
to
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 250-262
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
the length measure
is
equal
to
the length measure
1,
then
the other physical
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
shooting
and
the physical
is a
patient
of
the other entity
and
the other physical
is an
instrument
for
the other 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 610-619
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
UnitOfLength
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 219-228
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
an entity
and
the object
is an
instance
of
the object
CLASS and
the physical
is an
instance
of
projectile
and
a length measure
is a
caliber
of
the object
CLASS,
then
the length measure
is
equal
to
the entity
(=>
(
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
the fourth real number
U is
equal
to
the unit of measure
and
the fifth real number
U is
equal
to
the third unit of measure
and
the sixth real number
U is
equal
to
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 870-879
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 859-868
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 9662-9668
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 1243-1248
If
an object
is an
instance
of
OpticalDisc
and
MiniSizeDisc
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 1230-1235
If
an object
is an
instance
of
OpticalDisc
and
StandardSizeDisc
is an
attribute
of
the object
,
then the
width
of
the object
is 120
millimeter
(s)
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
member
?O ?S))
(
width
?O ?Q))
Mid-level-ontology.kif 30475-30480
If members of
a collection
have the measure
a quantity
in terms of
a measurement attribute
and
the collection
is an
instance
of
set
and
a physical
is a
member
of
the collection
,
then the
width
of
the physical
is
the quantity
(=>
(
and
(
memberMeasure
?S
Width
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
width
?O ?Q))
Mid-level-ontology.kif 30468-30473
If members of
a class
have the measure
a quantity
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 quantity
(=>
(
defaultMaximumWidth
?OBJECT
(
MeasureFn
?W ?U))
(
modalAttribute
(
exists
(?INST)
(
and
(
instance
?INST ?OBJECT)
(
width
?INST
(
MeasureFn
?WIDTH ?U))
(
greaterThan
?WIDTH ?W)))
Unlikely
))
Mid-level-ontology.kif 12862-12871
If the
maximum
expected width of
a kind of object
is
a real number
an unit of measure
(s),
then the statement there exists
an entity
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)
(
and
(
instance
?INST ?OBJECT)
(
width
?INST
(
MeasureFn
?WIDTH ?U))
(
lessThan
?WIDTH ?W)))
Unlikely
))
Mid-level-ontology.kif 12845-12853
If the
minimum
expected width of
a kind of object
is
a real number
an unit of measure
(s),
then the statement there exists
an entity
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
(=>
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH)))
(
width
?OBJECT ?WIDTH))
Merge.kif 9670-9676
If there exist
a self connected object
and
another self connected object
such that a
side
of
a third self connected object
is
the self connected object
and a
side
of
the third self connected object
is
the other self connected object
and the
distance
between
the self connected object
and
the other self connected object
is
a length measure
,
then the
width
of
the third self connected object
is
the length measure
(=>
(
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 1662-1674
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 1235-1247
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 1155-1167
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 1900-1912
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 1189-1201
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 1860-1872
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 1788-1800
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 1744-1756
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 1542-1554
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
?VIRUS
YellowFeverVirus
)
(
exists
(?NUMBER)
(
and
(
width
?VIRUS
(
MeasureFn
?NUMBER
Meter
))
(
equal
?NUMBER 0.00000002))))
WMD.kif 1171-1176
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
the real number
is
equal
to 0.00000002
(=>
(
instance
?X
DoubleBed
)
(
and
(
width
?X
(
MeasureFn
1.35
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3788-3792
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 3731-3735
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)
(=>
(
instance
?X
QueenBed
)
(
and
(
width
?X
(
MeasureFn
1.5
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3762-3766
If
a physical
is an
instance
of
queen-sized bed
,
then the
width
of
the physical
is 1.5
meter
(s) and the
length
of
the physical
is 2.0
meter
(s)
(=>
(
instance
?X
SingleBed
)
(
and
(
width
?X
(
MeasureFn
1.0
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3814-3818
If
a physical
is an
instance
of
twin-sized bed
,
then the
width
of
the physical
is 1.0
meter
(s) and the
length
of
the physical
is 2.0
meter
(s)
(=>
(
instance
?ZONE
UniformPerimeterArea
)
(
exists
(?WIDTH)
(
and
(
instance
?WIDTH
LengthMeasure
)
(
width
?ZONE ?WIDTH))))
Geography.kif 837-842
If
a physical
is an
instance
of
uniform perimeter area
,
then there exists
an entity
such that
the entity
is an
instance
of
length measure
and the
width
of
the physical
is
the entity
(=>
(
maximumPayloadHeightWidth
?V
(
MeasureFn
?HEIGHT ?UNITHEIGHT)
(
MeasureFn
?WIDTH ?UNITWIDTH))
(
not
(
exists
(?TP ?O)
(
and
(
instance
?TP
Transportation
)
(
instrument
?TP ?V)
(
patient
?TP ?O)
(
width
?O
(
MeasureFn
?WO ?WOU))
(
height
?O
(
MeasureFn
?HO ?HOU))
(
equal
?WOU ?UNITWIDTH)
(
equal
?HOU ?UNITHEIGHT)
(
greaterThan
?WO ?WIDTH)
(
greaterThan
?HO ?HEIGHT)))))
MilitaryDevices.kif 121-138
If
a vehicle
is
maximum
payload height width
a real number
an unit of measure
(s) for
another real number
another unit of measure
(s),
then there don't exist
a process
and
a self connected object
such that
the process
is an
instance
of
transportation
and
the vehicle
is an
instrument
for
the process
and
the self connected object
is a
patient
of
the process
and the
width
of
the self connected object
is
a third real number
the third real number
U(s) and the
height
of
the self connected object
is
a fourth real number
the fourth real number
U(s) and
the third real number
U is
equal
to
the other unit of measure
and
the fourth real number
U is
equal
to
the unit of measure
and
the third real number
is
greater
than
the other real number
and
the fourth 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
