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
Il numero 1 argomenti di
height
è un
istanza
di
OggettoIntegro
(
domain
height
2
LengthMeasure
)
Merge.kif 7551-7551
Il numero 2 argomenti di
height
è un
istanza
di
MisuraDiLunghezza
(
instance
height
BinaryPredicate
)
Merge.kif 7549-7549
height
è un'
istanza
di
PredicatoBinario
(
subrelation
height
linearExtent
)
Merge.kif 7548-7548
height
è una
sottorelazione
di
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
L'
altezza
di
OggettoIntegro
è
MisuraDiLunghezza
il
vertice
OggettoIntegro
è
OggettoIntegro
il
fondo
di
OggettoIntegro
è
OggettoIntegro
la
distanza
tra
OggettoIntegro
e
OggettoIntegro
è
MisuraDiLunghezza
(=>
(
and
(
instance
?ADULT
HumanAdult
)
(
height
?ADULT
(
MeasureFn
?HEIGHT
Inch
)))
(
not
(
greaterThan
?HEIGHT 120.0)))
Mid-level-ontology.kif 211-217
OggettoIntegro
è un'
istanza
di
HumanAdult
l'
altezza
di
OggettoIntegro
è
NumeroReale
Inch
(s
NumeroReale
è
pi
ù grande di 120.0
(=>
(
and
(
instance
?D
Dune
)
(
height
?D
(
MeasureFn
?N
Centimeter
)))
(
greaterThan
?D 7.0))
Geography.kif 4401-4405
OggettoIntegro
è un'
istanza
di
Dune
l'
altezza
di
OggettoIntegro
è
NumeroReale
Centimeter
(s
OggettoIntegro
è
pi
ù grande di 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
OggettoIntegro
è un'
istanza
di
BotanicalTree
OggettoIntegro
è un'
istanza
di
Shrub
Unit�DiMisura
è un'
istanza
di
UnitOfLength
l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
OggettoIntegro
è un'
istanza
di
Piedmont
attribute
OggettoIntegro
and
MountainousTerrain
OggettoIntegro
è
Adjacent
a
OggettoIntegro
Unit�DiMisura
è un'
istanza
di
UnitOfLength
l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
NumeroReale
Unit�DiMisura
(s
maximumPayloadHeightWidth
Vehicle
,
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
OggettoIntegro
è un'
istanza
di
OggettoIntegro
weight
OggettoIntegro
and
NumeroReale
NumeroReale
U(s l'
ampiezza
di
OggettoIntegro
è
NumeroReale
NumeroReale
U(s l'
altezza
di
OggettoIntegro
è
NumeroReale
NumeroReale
U(s
NumeroReale
U is
uguale
a
Unit�DiMisura
NumeroReale
U is
uguale
a
Unit�DiMisura
NumeroReale
U is
uguale
a
Unit�DiMisura
NumeroReale
è
minore
o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
Vehicle
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
consequent
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
height
?O ?Q))
Mid-level-ontology.kif 31091-31096
memberMeasure
Insieme
,
MeasurementAttribute
and
MisuraDiLunghezza
Insieme
è un'
istanza
di
Insieme
%è un
elemento
di %2
l'
altezza
di
OggettoIntegro
è
MisuraDiLunghezza
(=>
(
and
(
memberMeasure
?S
Width
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
height
?O ?Q))
Mid-level-ontology.kif 31098-31103
memberMeasure
Classe
,
Width
and
MisuraDiLunghezza
Classe
è un'
istanza
di
Classe
OggettoIntegro
è un'
istanza
di
Classe
l'
altezza
di
OggettoIntegro
è
MisuraDiLunghezza
(=>
(
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
attribute
OggettoIntegro
and
Flat
OggettoIntegro
OggettoIntegro
,
NumeroReale
,
NumeroReale
,
NumeroReale
and
Unit�DiMisura
un
lato
di
OggettoIntegro
è
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
incontra
s
OggettoIntegro
OggettoIntegro
is
uguale
a
OggettoIntegro
Unit�DiMisura
è un'
istanza
di
UnitOfLength
l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di 2.0 +
NumeroReale
NumeroReale
è
pi
ù grande di 2.0 +
NumeroReale
(=>
(
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
attribute
OggettoIntegro
and
LevelShape
OggettoIntegro
OggettoIntegro
,
OggettoIntegro
,
NumeroReale
,
NumeroReale
and
Unit�DiMisura
il
vertice
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
è una
parte
di
OggettoIntegro
OggettoIntegro
è una
parte
di
OggettoIntegro
Unit�DiMisura
è un'
istanza
di
UnitOfLength
l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Oggetto
and
NumeroReale
Unit�DiMisura
(s
l'affermazione
Entit�
NumeroReale
EIGHT
Entit�
è un'
istanza
di
Oggetto
l'
altezza
di
Entit�
è
NumeroReale
EIGHT
Unit�DiMisura
(s
NumeroReale
EIGHT è
pi
ù grande di
NumeroReale
ha il modello di forza di
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
Oggetto
and
NumeroReale
Unit�DiMisura
(s
l'affermazione
Entit�
NumeroReale
EIGHT
Entit�
è un'
istanza
di
Oggetto
l'
altezza
di
Entit�
è
NumeroReale
EIGHT
Unit�DiMisura
(s
NumeroReale
EIGHT è
meno
di
NumeroReale
ha il modello di forza di
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
OggettoIntegro
è un'
istanza
di
AAV
la
lunghezza
di
OggettoIntegro
è 7.94
Meter
(s l'
ampiezza
di
OggettoIntegro
è 3.27
Meter
(s
weight
OggettoIntegro
and 22.8
TonMass
(s l'
altezza
di
OggettoIntegro
è 3.26
Meter
(s
effectiveRange
OggettoIntegro
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
OggettoIntegro
è un'
istanza
di
AGM114
la
lunghezza
di
OggettoIntegro
è 1.63
Meter
(s l'
ampiezza
di
OggettoIntegro
è 0.71
Meter
(s l'
altezza
di
OggettoIntegro
è 0.71
Meter
(s
weight
OggettoIntegro
and 45.0
Kilogram
(s
effectiveRange
OggettoIntegro
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
OggettoIntegro
è un'
istanza
di
AGM65
la
lunghezza
di
OggettoIntegro
è 2.55
Meter
(s l'
ampiezza
di
OggettoIntegro
è 0.7
Meter
(s l'
altezza
di
OggettoIntegro
è 0.7
Meter
(s
weight
OggettoIntegro
and 302.0
Kilogram
(s
effectiveRange
OggettoIntegro
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
OggettoIntegro
è un'
istanza
di
AH1
la
lunghezza
di
OggettoIntegro
è 17.68
Meter
(s l'
ampiezza
di
OggettoIntegro
è 14.63
Meter
(s l'
altezza
di
OggettoIntegro
è 4.44
Meter
(s
weight
OggettoIntegro
and 4634.0
Kilogram
(s
effectiveRange
OggettoIntegro
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
OggettoIntegro
è un'
istanza
di
AIM9
la
lunghezza
di
OggettoIntegro
è 2.85
Meter
(s l'
ampiezza
di
OggettoIntegro
è 0.63
Meter
(s l'
altezza
di
OggettoIntegro
è 0.63
Meter
(s
weight
OggettoIntegro
and 91.0
Kilogram
(s
effectiveRange
OggettoIntegro
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
OggettoIntegro
è un'
istanza
di
CH46D
la
lunghezza
di
OggettoIntegro
è 25.72
Meter
(s l'
ampiezza
di
OggettoIntegro
è 15.54
Meter
(s l'
altezza
di
OggettoIntegro
è 5.1
Meter
(s
weight
OggettoIntegro
and 7047.0
Kilogram
(s
effectiveRange
OggettoIntegro
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
OggettoIntegro
è un'
istanza
di
CH53E
la
lunghezza
di
OggettoIntegro
è 30.2
Meter
(s l'
ampiezza
di
OggettoIntegro
è 24.1
Meter
(s l'
altezza
di
OggettoIntegro
è 8.46
Meter
(s
weight
OggettoIntegro
and 15071.0
Kilogram
(s
effectiveRange
OggettoIntegro
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
OggettoIntegro
è un'
istanza
di
Harrier2
la
lunghezza
di
OggettoIntegro
è 14.1
Meter
(s l'
ampiezza
di
OggettoIntegro
è 9.2
Meter
(s l'
altezza
di
OggettoIntegro
è 3.5
Meter
(s
weight
OggettoIntegro
and 5700.0
Kilogram
(s
effectiveRange
OggettoIntegro
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
OggettoIntegro
è un'
istanza
di
LAV25
la
lunghezza
di
OggettoIntegro
è 6.39
Meter
(s l'
ampiezza
di
OggettoIntegro
è 2.5
Meter
(s l'
altezza
di
OggettoIntegro
è 2.69
Meter
(s
weight
OggettoIntegro
and 12802.8
Kilogram
(s
effectiveRange
OggettoIntegro
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
Entit�Concreta
è un'
istanza
di
Planer
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Tagliare
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è una
risorsa
per
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è
fatto
di
Wood
Entit�
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
Oggetto
Wood
è
fatto
di
Entit�
attribute
Entit�
and
Flat
Entit�
è un'
istanza
di
UnitOfLength
l'
altezza
di
Entit�
è
Entit�
Entit�
(s l'
altezza
di
Entit�
è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di
Entit�
(=>
(
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
,
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
Processo
OggettoIntegro
,
NumeroReale
,
NumeroReale
U,
NumeroReale
and
NumeroReale
U
Processo
è un'
istanza
di
Trasporto
Vehicle
è uno
strumento
per
Processo
OggettoIntegro
è un
paziente
di
Processo
l'
ampiezza
di
OggettoIntegro
è
NumeroReale
NumeroReale
U(s l'
altezza
di
OggettoIntegro
è
NumeroReale
NumeroReale
U(s
NumeroReale
U is
uguale
a
Unit�DiMisura
NumeroReale
U is
uguale
a
Unit�DiMisura
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
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