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
O argumento numero 1 de
weight
e' uma
instancia
de
Objeto auto-conectado
(
domain
weight
2
MassMeasure
)
Merge.kif 7285-7285
O argumento numero 2 de
weight
e' uma
instancia
de
Medida de Massa
(
instance
weight
BinaryPredicate
)
Merge.kif 7286-7286
weight
e' uma
instancia
de
Predicado Binario
(
subrelation
weight
measure
)
Merge.kif 7287-7287
weight
e' uma
sub
-relacao de
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
Objeto auto-conectado
e' uma
instancia
de
CocoaLiquor
weight
Objeto auto-conectado
and 100.0
Gram
(s)
Objeto auto-conectado
e' uma
instancia
de
CocoaSolid
Objeto auto-conectado
e' uma &parte de
Objeto auto-conectado
weight
Objeto auto-conectado
and
Numero Real
Gram
(s)
Objeto auto-conectado
e' uma
instancia
de
CocoaButter
Objeto auto-conectado
e' uma &parte de
Objeto auto-conectado
weight
Objeto auto-conectado
and
Numero Real
Gram
(s)
approximateValue
Numero Real
and 50.0
approximateValue
Numero Real
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
maximumPayloadCapacity
Vehicle
and
Numero Real
Unidade de Medida
(s)
maximumPayloadHeightWidth
Vehicle
,
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Objeto auto-conectado
e' uma
instancia
de
Objeto auto-conectado
weight
Objeto auto-conectado
and
Numero Real
Numero Real
U(s) a
largura
de
Objeto auto-conectado
e'
Numero Real
Numero Real
U(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Numero Real
U(s)
Numero Real
U e'
igual
a
Unidade de Medida
Numero Real
U e'
igual
a
Unidade de Medida
Numero Real
U e'
igual
a
Unidade de Medida
Numero Real
e'
menor
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Vehicle
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
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
Numero Real
McgPerKg
(s) e'
igual
a
PerFn
Medida de Massa
and
Medida de Massa
Medida de Massa
e'
igual
a
Numero Real
um
milhonesimo
de
Gram
(s)
Medida de Massa
e'
igual
a
Numero Real
1
mil
Gram
s(s)
Processo
Objeto auto-conectado
and
Objeto auto-conectado
Processo
e' uma
instancia
de
Ingerir
Objeto auto-conectado
e' uma
instancia
de
Substancia Biologica Ativa
Objeto auto-conectado
e' uma
instancia
de
Organismo
Objeto auto-conectado
e' um
patient
de
Processo
Processo
e' um
agente
de
Objeto auto-conectado
weight
Objeto auto-conectado
and
Medida de Massa
weight
Objeto auto-conectado
and
Medida de Massa
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
AAV
o
comprimento
de
Objeto auto-conectado
e' 7.94
Meter
(s) a
largura
de
Objeto auto-conectado
e' 3.27
Meter
(s)
weight
Objeto auto-conectado
and 22.8
TonMass
(s) a
altura
de
Objeto auto-conectado
e' 3.26
Meter
(s)
effectiveRange
Objeto auto-conectado
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
Objeto auto-conectado
e' uma
instancia
de
AGM114
o
comprimento
de
Objeto auto-conectado
e' 1.63
Meter
(s) a
largura
de
Objeto auto-conectado
e' 0.71
Meter
(s) a
altura
de
Objeto auto-conectado
e' 0.71
Meter
(s)
weight
Objeto auto-conectado
and 45.0
Kilogram
(s)
effectiveRange
Objeto auto-conectado
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
Objeto auto-conectado
e' uma
instancia
de
AGM65
o
comprimento
de
Objeto auto-conectado
e' 2.55
Meter
(s) a
largura
de
Objeto auto-conectado
e' 0.7
Meter
(s) a
altura
de
Objeto auto-conectado
e' 0.7
Meter
(s)
weight
Objeto auto-conectado
and 302.0
Kilogram
(s)
effectiveRange
Objeto auto-conectado
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
Objeto auto-conectado
e' uma
instancia
de
AH1
o
comprimento
de
Objeto auto-conectado
e' 17.68
Meter
(s) a
largura
de
Objeto auto-conectado
e' 14.63
Meter
(s) a
altura
de
Objeto auto-conectado
e' 4.44
Meter
(s)
weight
Objeto auto-conectado
and 4634.0
Kilogram
(s)
effectiveRange
Objeto auto-conectado
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
Objeto auto-conectado
e' uma
instancia
de
AIM9
o
comprimento
de
Objeto auto-conectado
e' 2.85
Meter
(s) a
largura
de
Objeto auto-conectado
e' 0.63
Meter
(s) a
altura
de
Objeto auto-conectado
e' 0.63
Meter
(s)
weight
Objeto auto-conectado
and 91.0
Kilogram
(s)
effectiveRange
Objeto auto-conectado
and 18.0
Kilometer
(s)
(=>
(
instance
?BGM71TOW
BGM71TOW
)
(
weight
?BGM71TOW
(
MeasureFn
18.9
Kilogram
)))
MilitaryDevices.kif 855-858
Objeto auto-conectado
e' uma
instancia
de
BGM71TOW
weight
Objeto auto-conectado
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
Objeto auto-conectado
e' uma
instancia
de
CH46D
o
comprimento
de
Objeto auto-conectado
e' 25.72
Meter
(s) a
largura
de
Objeto auto-conectado
e' 15.54
Meter
(s) a
altura
de
Objeto auto-conectado
e' 5.1
Meter
(s)
weight
Objeto auto-conectado
and 7047.0
Kilogram
(s)
effectiveRange
Objeto auto-conectado
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
Objeto auto-conectado
e' uma
instancia
de
CH53E
o
comprimento
de
Objeto auto-conectado
e' 30.2
Meter
(s) a
largura
de
Objeto auto-conectado
e' 24.1
Meter
(s) a
altura
de
Objeto auto-conectado
e' 8.46
Meter
(s)
weight
Objeto auto-conectado
and 15071.0
Kilogram
(s)
effectiveRange
Objeto auto-conectado
and 2000.0
Kilometer
(s)
(=>
(
instance
?DragonWeapon
DragonWeapon
)
(
weight
?DragonWeapon
(
MeasureFn
33.9
PoundMass
)))
MilitaryDevices.kif 707-710
Objeto auto-conectado
e' uma
instancia
de
DragonWeapon
weight
Objeto auto-conectado
and 33.9
PoundMass
(s)
(=>
(
instance
?GAU12U
GAU12U
)
(
weight
?GAU12U
(
MeasureFn
122.0
Kilogram
)))
MilitaryDevices.kif 321-324
Objeto auto-conectado
e' uma
instancia
de
GAU12U
weight
Objeto auto-conectado
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
Objeto auto-conectado
e' uma
instancia
de
Harrier2
o
comprimento
de
Objeto auto-conectado
e' 14.1
Meter
(s) a
largura
de
Objeto auto-conectado
e' 9.2
Meter
(s) a
altura
de
Objeto auto-conectado
e' 3.5
Meter
(s)
weight
Objeto auto-conectado
and 5700.0
Kilogram
(s)
effectiveRange
Objeto auto-conectado
and 1000.0
Kilometer
(s)
(=>
(
instance
?JavelinWeapon
JavelinWeapon
)
(
weight
?JavelinWeapon
(
MeasureFn
49.5
PoundMass
)))
MilitaryDevices.kif 766-769
Objeto auto-conectado
e' uma
instancia
de
JavelinWeapon
weight
Objeto auto-conectado
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
Objeto auto-conectado
e' uma
instancia
de
LAV25
o
comprimento
de
Objeto auto-conectado
e' 6.39
Meter
(s) a
largura
de
Objeto auto-conectado
e' 2.5
Meter
(s) a
altura
de
Objeto auto-conectado
e' 2.69
Meter
(s)
weight
Objeto auto-conectado
and 12802.8
Kilogram
(s)
effectiveRange
Objeto auto-conectado
and 660.1
Kilometer
(s)
(=>
(
instance
?M240
M240
)
(
weight
?M240
(
MeasureFn
12.5
Kilogram
)))
MilitaryDevices.kif 398-401
Objeto auto-conectado
e' uma
instancia
de
M240
weight
Objeto auto-conectado
and 12.5
Kilogram
(s)
(=>
(
instance
?M242
M242
)
(
weight
?M242
(
MeasureFn
110.0
Kilogram
)))
MilitaryDevices.kif 294-297
Objeto auto-conectado
e' uma
instancia
de
M242
weight
Objeto auto-conectado
and 110.0
Kilogram
(s)
(=>
(
instance
?M2Browning
M2Browning
)
(
weight
?M2Browning
(
MeasureFn
38.0
Kilogram
)))
MilitaryDevices.kif 502-505
Objeto auto-conectado
e' uma
instancia
de
M2Browning
weight
Objeto auto-conectado
and 38.0
Kilogram
(s)
(=>
(
instance
?M3M
M3M
)
(
weight
?M3M
(
MeasureFn
35.8
Kilogram
)))
MilitaryDevices.kif 579-582
Objeto auto-conectado
e' uma
instancia
de
M3M
weight
Objeto auto-conectado
and 35.8
Kilogram
(s)
(=>
(
instance
?M60
M60
)
(
weight
?M60
(
MeasureFn
10.5
Kilogram
)))
MilitaryDevices.kif 438-441
Objeto auto-conectado
e' uma
instancia
de
M60
weight
Objeto auto-conectado
and 10.5
Kilogram
(s)
(=>
(
instance
?MK19
MK19
)
(
weight
?MK19
(
MeasureFn
33.0
Kilogram
)))
MilitaryDevices.kif 641-644
Objeto auto-conectado
e' uma
instancia
de
MK19
weight
Objeto auto-conectado
and 33.0
Kilogram
(s)
(=>
(
instance
?SMAWBunkerBuster
SMAWBunkerBuster
)
(
weight
?SMAWBunkerBuster
(
MeasureFn
7.54
Kilogram
)))
MilitaryDevices.kif 833-836
Objeto auto-conectado
e' uma
instancia
de
SMAWBunkerBuster
weight
Objeto auto-conectado
and 7.54
Kilogram
(s)
(=>
(
instance
?XM218
XM218
)
(
weight
?XM218
(
MeasureFn
27.0
Kilogram
)))
MilitaryDevices.kif 536-539
Objeto auto-conectado
e' uma
instancia
de
XM218
weight
Objeto auto-conectado
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
maximumPayloadCapacity
Vehicle
and
Numero Real
Unidade de Medida
(s)
Processo
Objeto auto-conectado
,
Numero Real
and
Numero Real
U
Processo
e' uma
instancia
de
Transporte
Vehicle
e' um
instrumento
para
Processo
Objeto auto-conectado
e' um
patient
de
Processo
weight
Objeto auto-conectado
and
Numero Real
Numero Real
U(s)
Numero Real
U e'
igual
a
Unidade de Medida
Numero Real
e'
maior
que
Numero Real
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