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
weight
Sigma KEE - weight
weight
appearance as argument number 1
(
documentation
weight
ChineseLanguage
"(
weight
?O ?MM)的意思是在地球上,这个
SelfConnectedObject
?O 的重量是 ?MM。")
chinese_format.kif 2606-2607
(
documentation
weight
EnglishLanguage
"(
weight
?O ?MM) means that on planet earth the
SelfConnectedObject
?O has the weight ?MM.")
Merge.kif 7289-7290
(
documentation
weight
JapaneseLanguage
"(
weight
?O ?MM) とは、地球上で
SelfConnectedObject
?O が重量?MMを持っていることを意味する。")
japanese_format.kif 1319-1320
(
domain
weight
1
SelfConnectedObject
)
Merge.kif 7284-7284
The number 1 argument of
weight
is an
instance
of
self connected object
(
domain
weight
2
MassMeasure
)
Merge.kif 7285-7285
The number 2 argument of
weight
is an
instance
of
mass measure
(
instance
weight
BinaryPredicate
)
Merge.kif 7286-7286
weight
is an
instance
of
binary predicate
(
subrelation
weight
measure
)
Merge.kif 7287-7287
weight
is a
subrelation
of
measure
appearance as argument number 2
(
format
ChineseLanguage
weight
"%2 %n 是 %1 的
weight
")
domainEnglishFormat.kif 2626-2626
(
format
ChineseTraditionalLanguage
weight
"%2 %n 是 %1 的
weight
")
domainEnglishFormat.kif 2625-2625
(
format
EnglishLanguage
weight
"%2 is %n a
weight
of %1")
domainEnglishFormat.kif 2624-2624
(
termFormat
ChineseLanguage
weight
"重量")
domainEnglishFormat.kif 62679-62679
(
termFormat
ChineseTraditionalLanguage
weight
"重量")
domainEnglishFormat.kif 62678-62678
(
termFormat
EnglishLanguage
weight
"weight")
domainEnglishFormat.kif 62677-62677
antecedent
(=>
(
and
(
instance
?L
CocoaLiquor
)
(
weight
?L
(
MeasureFn
100.0
Gram
))
(
instance
?S
CocoaSolid
)
(
part
?S ?L)
(
weight
?S
(
MeasureFn
?X
Gram
))
(
instance
?B
CocoaButter
)
(
part
?B ?L)
(
weight
?B
(
MeasureFn
?Y
Gram
)))
(
and
(
approximateValue
?X 50.0)
(
approximateValue
?Y 50.0)))
Food.kif 2463-2478
If
a self connected object
is an
instance
of
cocoa liquor
and 100.0
gram
(s) is a
weight
of
the self connected object
and
another self connected object
is an
instance
of
cocoa solid
and
the other self connected object
is a
part
of
the self connected object
and
a real number
gram
(s) is a
weight
of
the other self connected object
and
a third self connected object
is an
instance
of
cocoa butter
and
the third self connected object
is a
part
of
the self connected object
and
another real number
gram
(s) is a
weight
of
the third self connected object
,
then the approximate value of
the real number
is 50.0 and the approximate value of
the other real number
is 50.0
(=>
(
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
consequent
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
If
a real number
micrograms per kilogram
(s) is
equal
to the
per
of
a mass measure
and
another mass measure
and
the mass measure
is
equal
to
another real number
one
millionth
of a
gram
(s) and
the other mass measure
is
equal
to
a third real number
1
thousand
gram
s(s),
then there exist
a process
,
a self connected object
and
another self connected object
such that
the process
is an
instance
of
ingesting
and
the self connected object
is an
instance
of
biologically active substance
and
the other self connected object
is an
instance
of
organism
and
the self connected object
is a
patient
of
the process
and
the other self connected object
is an
agent
of
the process
and
the mass measure
is a
weight
of
the self connected object
and
the other mass measure
is a
weight
of
the other self connected object
(=>
(
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
?BGM71TOW
BGM71TOW
)
(
weight
?BGM71TOW
(
MeasureFn
18.9
Kilogram
)))
MilitaryDevices.kif 855-858
If
a self connected object
is an
instance
of
BG m71TO w
,
then 18.9
kilogram
(s) is a
weight
of
the self connected object
(=>
(
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
?DragonWeapon
DragonWeapon
)
(
weight
?DragonWeapon
(
MeasureFn
33.9
PoundMass
)))
MilitaryDevices.kif 707-710
If
a self connected object
is an
instance
of
dragon weapon
,
then 33.9
pound mass
(s) is a
weight
of
the self connected object
(=>
(
instance
?GAU12U
GAU12U
)
(
weight
?GAU12U
(
MeasureFn
122.0
Kilogram
)))
MilitaryDevices.kif 321-324
If
a self connected object
is an
instance
of
GAU12U
,
then 122.0
kilogram
(s) is a
weight
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
?JavelinWeapon
JavelinWeapon
)
(
weight
?JavelinWeapon
(
MeasureFn
49.5
PoundMass
)))
MilitaryDevices.kif 766-769
If
a self connected object
is an
instance
of
javelin weapon
,
then 49.5
pound mass
(s) is a
weight
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
?M240
M240
)
(
weight
?M240
(
MeasureFn
12.5
Kilogram
)))
MilitaryDevices.kif 398-401
If
a self connected object
is an
instance
of
m240
,
then 12.5
kilogram
(s) is a
weight
of
the self connected object
(=>
(
instance
?M242
M242
)
(
weight
?M242
(
MeasureFn
110.0
Kilogram
)))
MilitaryDevices.kif 294-297
If
a self connected object
is an
instance
of
m242
,
then 110.0
kilogram
(s) is a
weight
of
the self connected object
(=>
(
instance
?M2Browning
M2Browning
)
(
weight
?M2Browning
(
MeasureFn
38.0
Kilogram
)))
MilitaryDevices.kif 502-505
If
a self connected object
is an
instance
of
m2 browning
,
then 38.0
kilogram
(s) is a
weight
of
the self connected object
(=>
(
instance
?M3M
M3M
)
(
weight
?M3M
(
MeasureFn
35.8
Kilogram
)))
MilitaryDevices.kif 579-582
If
a self connected object
is an
instance
of
M3M
,
then 35.8
kilogram
(s) is a
weight
of
the self connected object
(=>
(
instance
?M60
M60
)
(
weight
?M60
(
MeasureFn
10.5
Kilogram
)))
MilitaryDevices.kif 438-441
If
a self connected object
is an
instance
of
m60
,
then 10.5
kilogram
(s) is a
weight
of
the self connected object
(=>
(
instance
?MK19
MK19
)
(
weight
?MK19
(
MeasureFn
33.0
Kilogram
)))
MilitaryDevices.kif 641-644
If
a self connected object
is an
instance
of
Mk19
,
then 33.0
kilogram
(s) is a
weight
of
the self connected object
(=>
(
instance
?SMAWBunkerBuster
SMAWBunkerBuster
)
(
weight
?SMAWBunkerBuster
(
MeasureFn
7.54
Kilogram
)))
MilitaryDevices.kif 833-836
If
a self connected object
is an
instance
of
SMAW bunker buster
,
then 7.54
kilogram
(s) is a
weight
of
the self connected object
(=>
(
instance
?XM218
XM218
)
(
weight
?XM218
(
MeasureFn
27.0
Kilogram
)))
MilitaryDevices.kif 536-539
If
a self connected object
is an
instance
of
XM218
,
then 27.0
kilogram
(s) is a
weight
of
the self connected object
(=>
(
maximumPayloadCapacity
?V
(
MeasureFn
?LOAD ?UNITLOAD))
(
not
(
exists
(?TP ?O ?WO ?WOU)
(
and
(
instance
?TP
Transportation
)
(
instrument
?TP ?V)
(
patient
?TP ?O)
(
weight
?O
(
MeasureFn
?WO ?WOU))
(
equal
?WOU ?UNITLOAD)
(
greaterThan
?WO ?LOAD)))))
MilitaryDevices.kif 92-104
If
a real number
an unit of measure
(s) is a
maximum
payload capacity of
a vehicle
,
then there don't exist
a process
,
a self connected object
,, ,
another real number
and
the other real number
U 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 other real number
the other real number
U(s) is a
weight
of
the self connected object
and
the other real number
U is
equal
to
the unit of measure
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