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
height
Sigma KEE - height
height
appearance as argument number 1
(
documentation
height
ChineseLanguage
"一个
Object
的高度是它的顶部和底部之间的距离。")
chinese_format.kif 2642-2642
(
documentation
height
EnglishLanguage
"The height of an
Object
is the distance between its
top
and its
bottom
.")
Merge.kif 7553-7554
(
documentation
height
JapaneseLanguage
"
Object
の高さは、その
top
と
bottom
の間の距離 である。")
japanese_format.kif 1358-1359
(
domain
height
1
SelfConnectedObject
)
Merge.kif 7550-7550
O argumento numero 1 de
height
e' uma
instancia
de
Objeto auto-conectado
(
domain
height
2
LengthMeasure
)
Merge.kif 7551-7551
O argumento numero 2 de
height
e' uma
instancia
de
Medida de Comprimento
(
instance
height
BinaryPredicate
)
Merge.kif 7549-7549
height
e' uma
instancia
de
Predicado Binario
(
subrelation
height
linearExtent
)
Merge.kif 7548-7548
height
e' uma
sub
-relacao de
linearExtent
appearance as argument number 2
(
format
ChineseLanguage
height
"%1 的
height
%n 是 %2")
chinese_format.kif 619-619
(
format
EnglishLanguage
height
"the
height
of %1 is %n %2")
english_format.kif 622-622
(
format
FrenchLanguage
height
"la hauteur de %1 est %n %2")
french_format.kif 374-374
(
format
ItalianLanguage
height
"l' altezza di %1 è %n %2")
relations-it.txt 127-127
(
format
JapaneseLanguage
height
"%1 の
height
は %2 では %n")
japanese_format.kif 2108-2108
(
format
PortugueseLanguage
height
"a altura de %1 e' %n %2")
portuguese_format.kif 326-326
(
format
de
height
"die hoehe von %1 ist %2 %n{nicht}")
relations-de.txt 812-812
(
format
hi
height
"%1 kii uunchaaii %2 %n hai")
relations-hindi.txt 167-167
(
format
ro
height
"
height
%t{înãlþimea} ?lui %1 %n{nu} este %2")
relations-ro.kif 396-396
(
format
sv
height
"höjden på %1 är %n{inte} %2")
relations-sv.txt 415-415
(
format
tg
height
"ang taas sa %1 %n ay %2")
relations-tg.txt 260-260
(
termFormat
ChineseLanguage
height
"高度")
chinese_format.kif 620-620
(
termFormat
ChineseTraditionalLanguage
height
"高度")
domainEnglishFormat.kif 27878-27878
(
termFormat
EnglishLanguage
height
"height")
domainEnglishFormat.kif 27877-27877
(
termFormat
tg
height
"taas")
relations-tg.txt 261-261
antecedent
(=>
(
and
(
height
?OBJECT ?HEIGHT)
(
top
?TOP ?OBJECT)
(
bottom
?BOTTOM ?OBJECT))
(
distance
?TOP ?BOTTOM ?HEIGHT))
Merge.kif 9776-9781
A
altura
de
Objeto auto-conectado
e'
Medida de Comprimento
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
a
distancia
entre
Objeto auto-conectado
e
Objeto auto-conectado
e'
Medida de Comprimento
(=>
(
and
(
instance
?ADULT
HumanAdult
)
(
height
?ADULT
(
MeasureFn
?HEIGHT
Inch
)))
(
not
(
greaterThan
?HEIGHT 120.0)))
Mid-level-ontology.kif 211-217
Objeto auto-conectado
e' uma
instancia
de
HumanAdult
a
altura
de
Objeto auto-conectado
e'
Numero Real
Inch
(s)
Numero Real
e'
maior
que 120.0
(=>
(
and
(
instance
?D
Dune
)
(
height
?D
(
MeasureFn
?N
Centimeter
)))
(
greaterThan
?D 7.0))
Geography.kif 4401-4405
Objeto auto-conectado
e' uma
instancia
de
Dune
a
altura
de
Objeto auto-conectado
e'
Numero Real
Centimeter
(s)
Objeto auto-conectado
e'
maior
que 7.0
(=>
(
and
(
instance
?TREE
BotanicalTree
)
(
instance
?BUSH
Shrub
)
(
instance
?U
UnitOfLength
)
(
height
?TREE
(
MeasureFn
?TALL ?U))
(
height
?BUSH
(
MeasureFn
?SHORT ?U)))
(
greaterThan
?TALL ?SHORT))
Geography.kif 6259-6268
Objeto auto-conectado
e' uma
instancia
de
BotanicalTree
Objeto auto-conectado
e' uma
instancia
de
Shrub
Unidade de Medida
e' uma
instancia
de
UnitOfLength
a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?piedmont
Piedmont
)
(
attribute
?mountains
MountainousTerrain
)
(
orientation
?piedmont ?mountains
Adjacent
)
(
instance
?U
UnitOfLength
)
(
height
?piedmont
(
MeasureFn
?height1 ?U))
(
height
?mountains
(
MeasureFn
?height2 ?U)))
(
greaterThan
?height2 ?height1))
Geography.kif 4206-4216
Objeto auto-conectado
e' uma
instancia
de
Piedmont
MountainousTerrain
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e'
Adjacent
em relacao a
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
height
?O ?Q))
Mid-level-ontology.kif 31091-31096
memberMeasure
Conjunto
,
MeasurementAttribute
and
Medida de Comprimento
Conjunto
e' uma
instancia
de
Conjunto
Objeto auto-conectado
e' um
elemento
de
Conjunto
a
altura
de
Objeto auto-conectado
e'
Medida de Comprimento
(=>
(
and
(
memberMeasure
?S
Width
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
height
?O ?Q))
Mid-level-ontology.kif 31098-31103
memberMeasure
Classe
,
Width
and
Medida de Comprimento
Classe
e' uma
instancia
de
Classe
Objeto auto-conectado
e' uma
instancia
de
Classe
a
altura
de
Objeto auto-conectado
e'
Medida de Comprimento
(=>
(
attribute
?F
Flat
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
height
?F
(
MeasureFn
?HF ?U))
(
height
?S1
(
MeasureFn
?H1 ?U))
(
height
?S2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1
(
MultiplicationFn
2.0 ?HF))
(
greaterThan
?H2
(
MultiplicationFn
2.0 ?HF)))))
Mid-level-ontology.kif 2782-2795
Flat
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
,
Numero Real
,
Numero Real
,
Numero Real
and
Unidade de Medida
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que 2.0 +
Numero Real
Numero Real
e'
maior
que 2.0 +
Numero Real
(=>
(
attribute
?O
LevelShape
)
(
not
(
exists
(?P1 ?P2 ?T ?H1 ?H2 ?U)
(
and
(
top
?T ?O)
(
part
?P1 ?T)
(
part
?P2 ?T)
(
instance
?U
UnitOfLength
)
(
height
?P1
(
MeasureFn
?H1 ?U))
(
height
?P2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1 ?H2)))))
Mid-level-ontology.kif 2823-2836
LevelShape
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
,
Objeto auto-conectado
,
Numero Real
,
Numero Real
and
Unidade de Medida
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma &parte de
Objeto auto-conectado
Objeto auto-conectado
e' uma &parte de
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
defaultMaximumHeight
?OBJECT
(
MeasureFn
?H ?U))
(
modalAttribute
(
exists
(?INST ?HEIGHT)
(
and
(
instance
?INST ?OBJECT)
(
height
?INST
(
MeasureFn
?HEIGHT ?U))
(
greaterThan
?HEIGHT ?H)))
Unlikely
))
Mid-level-ontology.kif 13365-13374
defaultMaximumHeight
Objeto
and
Numero Real
Unidade de Medida
(s)
o argumento
Entidade
Numero Real
EIGHT
Entidade
e' uma
instancia
de
Objeto
a
altura
de
Entidade
e'
Numero Real
EIGHT
Unidade de Medida
(s)
Numero Real
EIGHT e'
maior
que
Numero Real
tem a
forca
modal
de
Unlikely
(=>
(
defaultMinimumHeight
?OBJECT
(
MeasureFn
?H ?U))
(
modalAttribute
(
exists
(?INST ?HEIGHT)
(
and
(
instance
?INST ?OBJECT)
(
height
?INST
(
MeasureFn
?HEIGHT ?U))
(
lessThan
?HEIGHT ?H)))
Unlikely
))
Mid-level-ontology.kif 13349-13357
defaultMinimumHeight
Objeto
and
Numero Real
Unidade de Medida
(s)
o argumento
Entidade
Numero Real
EIGHT
Entidade
e' uma
instancia
de
Objeto
a
altura
de
Entidade
e'
Numero Real
EIGHT
Unidade de Medida
(s)
Numero Real
EIGHT e'
menos
que
Numero Real
tem a
forca
modal
de
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 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
?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
?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
?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
?PLANER
Planer
)
(
hasPurpose
?PLANER
(
exists
(?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2)
(
and
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?PLANER)
(
resource
?CUT ?OBJ1)
(
instance
?OBJ1
Object
)
(
material
?OBJ1
Wood
)
(
result
?CUT ?OBJ2)
(
instance
?OBJ2
Object
)
(
material
Wood
?OBJ2)
(
attribute
?OBJ2
Flat
)
(
instance
?U
UnitOfLength
)
(
height
?OBJ1
(
MeasureFn
?H1 ?U))
(
height
?OBJ2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1 ?H2)))))
Economy.kif 6017-6036
Fisico
e' uma
instancia
de
Planer
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Cortar
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
recurso
para
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e'
feito
de
Wood
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Wood
e'
feito
de
Entidade
Flat
e' um
atributo
de
Entidade
Entidade
e' uma
instancia
de
UnitOfLength
a
altura
de
Entidade
e'
Entidade
Entidade
(s) a
altura
de
Entidade
e'
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
(=>
(
maximumPayloadHeightWidth
?V
(
MeasureFn
?HEIGHT ?UNITHEIGHT)
(
MeasureFn
?WIDTH ?UNITWIDTH))
(
not
(
exists
(?TP ?O ?WO ?WOU ?HO ?HOU)
(
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
maximumPayloadHeightWidth
Vehicle
,
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Processo
Objeto auto-conectado
,
Numero Real
,
Numero Real
U,
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
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
e'
maior
que
Numero Real
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