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
Die Zahl 1 Argument von
weight
ist ein
fall
von
SelfConnectedObject
%n{nicht}
(
domain
weight
2
MassMeasure
)
Merge.kif 7285-7285
Die Zahl 2 Argument von
weight
ist ein
fall
von
MassMeasure
%n{nicht}
(
instance
weight
BinaryPredicate
)
Merge.kif 7286-7286
weight
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
weight
measure
)
Merge.kif 7287-7287
weight
ist eine
teilrelation
von
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
Wenn
SelfConnectedObject
ist ein
fall
von
CocoaLiquor
%n{nicht} und
weight
** SelfConnectedObject
and 100.0
Gram
(s) und
** SelfConnectedObject
ist ein
fall
von
CocoaSolid
%n{nicht} und
** ** SelfConnectedObject
ist ein
teil
von
** SelfConnectedObject
%n{nicht} und
weight
** ** SelfConnectedObject
and
RealNumber
Gram
(s) und
** SelfConnectedObject
ist ein
fall
von
CocoaButter
%n{nicht} und
** ** SelfConnectedObject
ist ein
teil
von
** SelfConnectedObject
%n{nicht} und
weight
** ** SelfConnectedObject
and
** RealNumber
Gram
(s),
dann
approximateValue
** RealNumber
and 50.0 und
approximateValue
** ** RealNumber
and 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
Wenn
maximumPayloadCapacity
Vehicle
and
RealNumber
UnitOfMeasure
(s) und
maximumPayloadHeightWidth
** Vehicle
,
** RealNumber
** UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
SelfConnectedObject
ist ein
fall
von
SelfConnectedObject
%n{nicht} und
weight
** SelfConnectedObject
and
** RealNumber
** ** RealNumber
U(s) und die
breite
von
** SelfConnectedObject
ist
** RealNumber
** ** RealNumber
U(s) %n{nicht} und die
hoehe
von
** SelfConnectedObject
ist
** RealNumber
** ** RealNumber
U(s) %n{nicht} und
** ** RealNumber
U ist gleich
** UnitOfMeasure
%n{nicht} und
** ** RealNumber
U ist gleich
** ** UnitOfMeasure
%n{nicht} und
** ** RealNumber
U ist gleich
** ** UnitOfMeasure
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht},
dann
** Vehicle
ist faehig %n{nicht}, in der Rolle
instrument
die
kategorie
die
SymbolicString
beschreibt zu tun
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
Wenn
RealNumber
McgPerKg
(s) ist gleich
PerFn
MassMeasure
and
** MassMeasure
%n{nicht} und
** MassMeasure
ist gleich
** RealNumber
ein
millionstel
einer
Gram
(s) %n{nicht} und
** ** MassMeasure
ist gleich
** RealNumber
1
tausend
Gram
(s) %n{nicht},
dann es gibt
Process
,
SelfConnectedObject
, and und
** SelfConnectedObject
um
** Process
ist ein
fall
von
Ingesting
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
BiologicallyActiveSubstance
%n{nicht} und
** ** SelfConnectedObject
ist ein
fall
von
Organism
%n{nicht} und
** SelfConnectedObject
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** ** SelfConnectedObject
%n{nicht} und
weight
** SelfConnectedObject
and
** MassMeasure
und
weight
** ** SelfConnectedObject
and
** ** MassMeasure
(=>
(
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
Wenn
SelfConnectedObject
ist ein
fall
von
AAV
%n{nicht},
dann die
laenge
von
** SelfConnectedObject
ist 7.94
Meter
(s) %n{nicht} und die
breite
von
** SelfConnectedObject
ist 3.27
Meter
(s) %n{nicht} und
weight
** SelfConnectedObject
and 22.8
TonMass
(s) und die
hoehe
von
** SelfConnectedObject
ist 3.26
Meter
(s) %n{nicht} und
effectiveRange
** SelfConnectedObject
and 480.0
Kilometer
(s)
(=>
(
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
Wenn
SelfConnectedObject
ist ein
fall
von
AGM114
%n{nicht},
dann die
laenge
von
** SelfConnectedObject
ist 1.63
Meter
(s) %n{nicht} und die
breite
von
** SelfConnectedObject
ist 0.71
Meter
(s) %n{nicht} und die
hoehe
von
** SelfConnectedObject
ist 0.71
Meter
(s) %n{nicht} und
weight
** SelfConnectedObject
and 45.0
Kilogram
(s) und
effectiveRange
** SelfConnectedObject
and 8.0
Kilometer
(s)
(=>
(
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
Wenn
SelfConnectedObject
ist ein
fall
von
AGM65
%n{nicht},
dann die
laenge
von
** SelfConnectedObject
ist 2.55
Meter
(s) %n{nicht} und die
breite
von
** SelfConnectedObject
ist 0.7
Meter
(s) %n{nicht} und die
hoehe
von
** SelfConnectedObject
ist 0.7
Meter
(s) %n{nicht} und
weight
** SelfConnectedObject
and 302.0
Kilogram
(s) und
effectiveRange
** SelfConnectedObject
and 27.0
Kilometer
(s)
(=>
(
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
Wenn
SelfConnectedObject
ist ein
fall
von
AH1
%n{nicht},
dann die
laenge
von
** SelfConnectedObject
ist 17.68
Meter
(s) %n{nicht} und die
breite
von
** SelfConnectedObject
ist 14.63
Meter
(s) %n{nicht} und die
hoehe
von
** SelfConnectedObject
ist 4.44
Meter
(s) %n{nicht} und
weight
** SelfConnectedObject
and 4634.0
Kilogram
(s) und
effectiveRange
** SelfConnectedObject
and 587.0
Kilometer
(s)
(=>
(
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
Wenn
SelfConnectedObject
ist ein
fall
von
AIM9
%n{nicht},
dann die
laenge
von
** SelfConnectedObject
ist 2.85
Meter
(s) %n{nicht} und die
breite
von
** SelfConnectedObject
ist 0.63
Meter
(s) %n{nicht} und die
hoehe
von
** SelfConnectedObject
ist 0.63
Meter
(s) %n{nicht} und
weight
** SelfConnectedObject
and 91.0
Kilogram
(s) und
effectiveRange
** SelfConnectedObject
and 18.0
Kilometer
(s)
(=>
(
instance
?BGM71TOW
BGM71TOW
)
(
weight
?BGM71TOW
(
MeasureFn
18.9
Kilogram
)))
MilitaryDevices.kif 855-858
Wenn
SelfConnectedObject
ist ein
fall
von
BGM71TOW
%n{nicht},
dann
weight
** SelfConnectedObject
and 18.9
Kilogram
(s)
(=>
(
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
Wenn
SelfConnectedObject
ist ein
fall
von
CH46D
%n{nicht},
dann die
laenge
von
** SelfConnectedObject
ist 25.72
Meter
(s) %n{nicht} und die
breite
von
** SelfConnectedObject
ist 15.54
Meter
(s) %n{nicht} und die
hoehe
von
** SelfConnectedObject
ist 5.1
Meter
(s) %n{nicht} und
weight
** SelfConnectedObject
and 7047.0
Kilogram
(s) und
effectiveRange
** SelfConnectedObject
and 676.0
Kilometer
(s)
(=>
(
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
Wenn
SelfConnectedObject
ist ein
fall
von
CH53E
%n{nicht},
dann die
laenge
von
** SelfConnectedObject
ist 30.2
Meter
(s) %n{nicht} und die
breite
von
** SelfConnectedObject
ist 24.1
Meter
(s) %n{nicht} und die
hoehe
von
** SelfConnectedObject
ist 8.46
Meter
(s) %n{nicht} und
weight
** SelfConnectedObject
and 15071.0
Kilogram
(s) und
effectiveRange
** SelfConnectedObject
and 2000.0
Kilometer
(s)
(=>
(
instance
?DragonWeapon
DragonWeapon
)
(
weight
?DragonWeapon
(
MeasureFn
33.9
PoundMass
)))
MilitaryDevices.kif 707-710
Wenn
SelfConnectedObject
ist ein
fall
von
DragonWeapon
%n{nicht},
dann
weight
** SelfConnectedObject
and 33.9
PoundMass
(s)
(=>
(
instance
?GAU12U
GAU12U
)
(
weight
?GAU12U
(
MeasureFn
122.0
Kilogram
)))
MilitaryDevices.kif 321-324
Wenn
SelfConnectedObject
ist ein
fall
von
GAU12U
%n{nicht},
dann
weight
** SelfConnectedObject
and 122.0
Kilogram
(s)
(=>
(
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
Wenn
SelfConnectedObject
ist ein
fall
von
Harrier2
%n{nicht},
dann die
laenge
von
** SelfConnectedObject
ist 14.1
Meter
(s) %n{nicht} und die
breite
von
** SelfConnectedObject
ist 9.2
Meter
(s) %n{nicht} und die
hoehe
von
** SelfConnectedObject
ist 3.5
Meter
(s) %n{nicht} und
weight
** SelfConnectedObject
and 5700.0
Kilogram
(s) und
effectiveRange
** SelfConnectedObject
and 1000.0
Kilometer
(s)
(=>
(
instance
?JavelinWeapon
JavelinWeapon
)
(
weight
?JavelinWeapon
(
MeasureFn
49.5
PoundMass
)))
MilitaryDevices.kif 766-769
Wenn
SelfConnectedObject
ist ein
fall
von
JavelinWeapon
%n{nicht},
dann
weight
** SelfConnectedObject
and 49.5
PoundMass
(s)
(=>
(
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
Wenn
SelfConnectedObject
ist ein
fall
von
LAV25
%n{nicht},
dann die
laenge
von
** SelfConnectedObject
ist 6.39
Meter
(s) %n{nicht} und die
breite
von
** SelfConnectedObject
ist 2.5
Meter
(s) %n{nicht} und die
hoehe
von
** SelfConnectedObject
ist 2.69
Meter
(s) %n{nicht} und
weight
** SelfConnectedObject
and 12802.8
Kilogram
(s) und
effectiveRange
** SelfConnectedObject
and 660.1
Kilometer
(s)
(=>
(
instance
?M240
M240
)
(
weight
?M240
(
MeasureFn
12.5
Kilogram
)))
MilitaryDevices.kif 398-401
Wenn
SelfConnectedObject
ist ein
fall
von
M240
%n{nicht},
dann
weight
** SelfConnectedObject
and 12.5
Kilogram
(s)
(=>
(
instance
?M242
M242
)
(
weight
?M242
(
MeasureFn
110.0
Kilogram
)))
MilitaryDevices.kif 294-297
Wenn
SelfConnectedObject
ist ein
fall
von
M242
%n{nicht},
dann
weight
** SelfConnectedObject
and 110.0
Kilogram
(s)
(=>
(
instance
?M2Browning
M2Browning
)
(
weight
?M2Browning
(
MeasureFn
38.0
Kilogram
)))
MilitaryDevices.kif 502-505
Wenn
SelfConnectedObject
ist ein
fall
von
M2Browning
%n{nicht},
dann
weight
** SelfConnectedObject
and 38.0
Kilogram
(s)
(=>
(
instance
?M3M
M3M
)
(
weight
?M3M
(
MeasureFn
35.8
Kilogram
)))
MilitaryDevices.kif 579-582
Wenn
SelfConnectedObject
ist ein
fall
von
M3M
%n{nicht},
dann
weight
** SelfConnectedObject
and 35.8
Kilogram
(s)
(=>
(
instance
?M60
M60
)
(
weight
?M60
(
MeasureFn
10.5
Kilogram
)))
MilitaryDevices.kif 438-441
Wenn
SelfConnectedObject
ist ein
fall
von
M60
%n{nicht},
dann
weight
** SelfConnectedObject
and 10.5
Kilogram
(s)
(=>
(
instance
?MK19
MK19
)
(
weight
?MK19
(
MeasureFn
33.0
Kilogram
)))
MilitaryDevices.kif 641-644
Wenn
SelfConnectedObject
ist ein
fall
von
MK19
%n{nicht},
dann
weight
** SelfConnectedObject
and 33.0
Kilogram
(s)
(=>
(
instance
?SMAWBunkerBuster
SMAWBunkerBuster
)
(
weight
?SMAWBunkerBuster
(
MeasureFn
7.54
Kilogram
)))
MilitaryDevices.kif 833-836
Wenn
SelfConnectedObject
ist ein
fall
von
SMAWBunkerBuster
%n{nicht},
dann
weight
** SelfConnectedObject
and 7.54
Kilogram
(s)
(=>
(
instance
?XM218
XM218
)
(
weight
?XM218
(
MeasureFn
27.0
Kilogram
)))
MilitaryDevices.kif 536-539
Wenn
SelfConnectedObject
ist ein
fall
von
XM218
%n{nicht},
dann
weight
** SelfConnectedObject
and 27.0
Kilogram
(s)
(=>
(
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
Wenn
maximumPayloadCapacity
Vehicle
and
RealNumber
UnitOfMeasure
(s),
dann es gibt nicht
Process
,
SelfConnectedObject
,, ,
** RealNumber
, and und
** ** RealNumber
U um
** Process
ist ein
fall
von
Transportation
%n{nicht} und
** Vehicle
ist ein
instrument
fuer
** Process
%n{nicht} und
** SelfConnectedObject
ist ein
patient
von
** Process
%n{nicht} und
weight
** SelfConnectedObject
and
** ** RealNumber
** ** RealNumber
U(s) und
** ** RealNumber
U ist gleich
** UnitOfMeasure
%n{nicht} und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
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