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
width
Sigma KEE - width
width
appearance as argument number 1
(
documentation
width
ChineseLanguage
"这是一个
BinaryPredicate
, 它是用来表示一个
Object
从 一边到另一边最大的距离。")
chinese_format.kif 2640-2641
(
documentation
width
EnglishLanguage
"
BinaryPredicate
that is used to state the measure of an
Object
from side to side at its widest span.")
Merge.kif 7545-7546
(
documentation
width
JapaneseLanguage
"
BinaryPredicate
は、最も広いスパンで
Object
のメ ジャーを左右に述えるために使用される。")
japanese_format.kif 1356-1357
(
instance
width
BinaryPredicate
)
Merge.kif 7542-7542
width
è un'
istanza
di
PredicatoBinario
(
instance
width
SingleValuedRelation
)
Merge.kif 7541-7541
width
è un'
istanza
di
RelazioneMonovalente
(
subrelation
width
linearExtent
)
Merge.kif 7543-7543
width
è una
sottorelazione
di
linearExtent
appearance as argument number 2
(
format
ChineseLanguage
width
"%1 的
width
%n 是 %2")
chinese_format.kif 615-615
(
format
EnglishLanguage
width
"the
width
of %1 is %n %2")
english_format.kif 618-618
(
format
FrenchLanguage
width
"la largeur de %1 est %n %2")
french_format.kif 372-372
(
format
ItalianLanguage
width
"l' ampiezza di %1 è %n %2")
relations-it.txt 316-316
(
format
JapaneseLanguage
width
"%1 の
width
は %2 では %n")
japanese_format.kif 2106-2106
(
format
PortugueseLanguage
width
"a largura de %1 e' %n %2")
portuguese_format.kif 324-324
(
format
de
width
"die breite von %1 ist %2 %n{nicht}")
relations-de.txt 806-806
(
format
hi
width
"%1 kii chaudaaii %2 %n hai")
relations-hindi.txt 350-350
(
format
ro
width
"
width
%t{lãþimea} lui %1 %n{nu} este %2")
relations-ro.kif 394-394
(
format
sv
width
"bredden av %1 är %n{inte} %2")
relations-sv.txt 413-413
(
format
tg
width
"ang kalaparan ng %1 %n ay %2")
relations-tg.txt 508-508
(
termFormat
ChineseLanguage
width
"宽度")
chinese_format.kif 616-616
(
termFormat
ChineseTraditionalLanguage
width
"寬度")
domainEnglishFormat.kif 63074-63074
(
termFormat
EnglishLanguage
width
"width")
domainEnglishFormat.kif 63073-63073
antecedent
(=>
(
and
(
instance
?AREA
(
MaritimeClaimsTerritorialSeaFn
?PLACE))
(
width
?AREA
(
MeasureFn
?WIDTH ?UNIT))
(
distance
?OBJ ?PLACE
(
MeasureFn
?DISTANCE ?UNIT))
(
lessThanOrEqualTo
?DISTANCE ?WIDTH))
(
located
?OBJ ?AREA))
Geography.kif 874-880
Oggetto
è un'
istanza
di
MaritimeClaimsTerritorialSeaFn
Regione
l'
ampiezza
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Entit�Concreta
e
Regione
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
minore
o uguale a
NumeroReale
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?BOTTLE
Bottle
)
(
bottom
?BOTTOM ?BOTTLE)
(
top
?TOP ?BOTTLE)
(
instance
?U
UnitOfLength
)
(
width
?BOTTOM
(
MeasureFn
?WIDTH1 ?U))
(
width
?TOP
(
MeasureFn
?WIDTH2 ?U)))
(
lessThan
?WIDTH2 ?WIDTH1))
Mid-level-ontology.kif 4698-4708
OggettoIntegro
è un'
istanza
di
Bottle
il
fondo
di
OggettoIntegro
è
OggettoIntegro
il
vertice
OggettoIntegro
è
OggettoIntegro
Unit�DiMisura
è un'
istanza
di
UnitOfLength
l'
ampiezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s l'
ampiezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM)
(
instance
?GUN ?GUNCLASS)
(
width
?PROJ ?LM1)
(
equal
?LM ?LM1))
(
capability
(
KappaFn
?SHOOTING
(
and
(
instance
?SHOOTING
Shooting
)
(
patient
?SHOOTING ?PROJ)))
instrument
?GUN))
MilitaryDevices.kif 233-245
Entit�Concreta
è un'
istanza
di
Projectile
caliber
Gun
and
MisuraDiLunghezza
Oggetto
è un'
istanza
di
Gun
l'
ampiezza
di
Entit�Concreta
è
MisuraDiLunghezza
1
MisuraDiLunghezza
is
uguale
a
MisuraDiLunghezza
1
Oggetto
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
(=>
(
and
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM)
(
instance
?GUN ?GUNCLASS)
(
width
?PROJ ?LM1)
(
equal
?LM ?LM1))
(
hasPurpose
?GUN
(
exists
(?SHOOTING)
(
and
(
instance
?SHOOTING
Shooting
)
(
patient
?SHOOTING ?PROJ)
(
instrument
?SHOOTING ?GUN)))))
MilitaryDevices.kif 250-262
Entit�Concreta
è un'
istanza
di
Projectile
caliber
Gun
and
MisuraDiLunghezza
Entit�Concreta
è un'
istanza
di
Gun
l'
ampiezza
di
Entit�Concreta
è
MisuraDiLunghezza
1
MisuraDiLunghezza
is
uguale
a
MisuraDiLunghezza
1
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Sparare
Entit�Concreta
è un
paziente
di
Entit�
Entit�Concreta
è uno
strumento
per
Entit�
(=>
(
and
(
instance
?S
Spaghetti
)
(
instance
?L
Linguine
)
(
instance
?U
UnitOfLength
)
(
width
?S
(
MeasureFn
?W1 ?U))
(
width
?L
(
MeasureFn
?W2 ?U)))
(
greaterThan
?W2 ?W1))
Food.kif 2632-2641
Entit�Concreta
è un'
istanza
di
Spaghetti
Entit�Concreta
è un'
istanza
di
Linguine
Unit�DiMisura
è un'
istanza
di
UnitOfLength
l'
ampiezza
di
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s l'
ampiezza
di
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?SHOT
Shooting
)
(
instrument
?SHOT ?GUN)
(
patient
?SHOT ?PROJ)
(
width
?PROJ ?LM1)
(
instance
?GUN ?GUNCLASS)
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM))
(
equal
?LM ?LM1))
MilitaryDevices.kif 219-228
Processo
è un'
istanza
di
Sparare
Oggetto
è uno
strumento
per
Processo
Entit�Concreta
è un
paziente
di
Processo
l'
ampiezza
di
Entit�Concreta
è
MisuraDiLunghezza
Oggetto
è un'
istanza
di
Oggetto
CLASS
Entit�Concreta
è un'
istanza
di
Projectile
caliber
Oggetto
CLASS and
MisuraDiLunghezza
MisuraDiLunghezza
is
uguale
a
MisuraDiLunghezza
(=>
(
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
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
greaterThan
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
not
(
located
?OBJ ?ZONE)))
Geography.kif 863-872
Oggetto
è
Outside
a
Regione
Oggetto
è un'
istanza
di
PerimeterAreaFn
Regione
Oggetto
è un'
istanza
di
UniformPerimeterArea
l'
ampiezza
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Oggetto
e
Regione
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
(
NumeroReale
+
NumeroReale
è
pi
ù grande di 0.0
Oggetto
è
localizzato
in
Oggetto
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
lessThanOrEqualTo
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
located
?OBJ ?ZONE))
Geography.kif 852-861
Oggetto
è
Outside
a
Regione
Oggetto
è un'
istanza
di
PerimeterAreaFn
Regione
Oggetto
è un'
istanza
di
UniformPerimeterArea
l'
ampiezza
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Oggetto
e
Regione
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
(
NumeroReale
+
NumeroReale
è
minore
o uguale a 0.0
Oggetto
è
localizzato
in
Oggetto
(=>
(
width
?OBJECT ?WIDTH)
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9760-9766
L'
ampiezza
di
OggettoIntegro
è
MisuraDiLunghezza
OggettoIntegro
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
la
distanza
tra
OggettoIntegro
e
OggettoIntegro
è
MisuraDiLunghezza
consequent
(=>
(
and
(
instance
?X
OpticalDisc
)
(
attribute
?X
MiniSizeDisc
))
(
width
?X
(
MeasureFn
80
Millimeter
)))
Media.kif 1243-1248
Oggetto
è un'
istanza
di
OpticalDisc
attribute
Oggetto
and
MiniSizeDisc
l'
ampiezza
di
Oggetto
è 80
Millimeter
(s
(=>
(
and
(
instance
?X
OpticalDisc
)
(
attribute
?X
StandardSizeDisc
))
(
width
?X
(
MeasureFn
120
Millimeter
)))
Media.kif 1230-1235
Oggetto
è un'
istanza
di
OpticalDisc
attribute
Oggetto
and
StandardSizeDisc
l'
ampiezza
di
Oggetto
è 120
Millimeter
(s
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
width
?O ?Q))
Mid-level-ontology.kif 31079-31084
memberMeasure
Insieme
,
MeasurementAttribute
and
MisuraDiLunghezza
Insieme
è un'
istanza
di
Insieme
%è un
elemento
di %2
l'
ampiezza
di
Entit�Concreta
è
MisuraDiLunghezza
(=>
(
and
(
memberMeasure
?S
Width
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
width
?O ?Q))
Mid-level-ontology.kif 31072-31077
memberMeasure
Classe
,
Width
and
MisuraDiLunghezza
Classe
è un'
istanza
di
Classe
Entit�Concreta
è un'
istanza
di
Classe
l'
ampiezza
di
Entit�Concreta
è
MisuraDiLunghezza
(=>
(
defaultMaximumWidth
?OBJECT
(
MeasureFn
?W ?U))
(
modalAttribute
(
exists
(?INST ?WIDTH)
(
and
(
instance
?INST ?OBJECT)
(
width
?INST
(
MeasureFn
?WIDTH ?U))
(
greaterThan
?WIDTH ?W)))
Unlikely
))
Mid-level-ontology.kif 13398-13407
defaultMaximumWidth
Oggetto
and
NumeroReale
Unit�DiMisura
(s
l'affermazione
Entit�
NumeroReale
IDTH
Entit�
è un'
istanza
di
Oggetto
l'
ampiezza
di
Entit�
è
NumeroReale
IDTH
Unit�DiMisura
(s
NumeroReale
IDTH è
pi
ù grande di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
defaultMinimumWidth
?OBJECT
(
MeasureFn
?W ?U))
(
modalAttribute
(
exists
(?INST ?WIDTH)
(
and
(
instance
?INST ?OBJECT)
(
width
?INST
(
MeasureFn
?WIDTH ?U))
(
lessThan
?WIDTH ?W)))
Unlikely
))
Mid-level-ontology.kif 13382-13390
defaultMinimumWidth
Oggetto
and
NumeroReale
Unit�DiMisura
(s
l'affermazione
Entit�
NumeroReale
IDTH
Entit�
è un'
istanza
di
Oggetto
l'
ampiezza
di
Entit�
è
NumeroReale
IDTH
Unit�DiMisura
(s
NumeroReale
IDTH è
meno
di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH)))
(
width
?OBJECT ?WIDTH))
Merge.kif 9768-9774
OggettoIntegro
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
la
distanza
tra
OggettoIntegro
e
OggettoIntegro
è
MisuraDiLunghezza
l'
ampiezza
di
OggettoIntegro
è
MisuraDiLunghezza
(=>
(
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
?BACTERIUM
Bacterium
)
(
exists
(?NUMBER)
(
and
(
width
?BACTERIUM
(
MeasureFn
?NUMBER
Meter
))
(
greaterThanOrEqualTo
?NUMBER 0.000001)
(
lessThanOrEqualTo
?NUMBER 0.000002))))
WMD.kif 205-211
Entit�Concreta
è un'
istanza
di
Bacterio
NumeroReale
l'
ampiezza
di
Entit�Concreta
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 0.000001
NumeroReale
è
minore
o uguale a 0.000002
(=>
(
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
?VIRUS
YellowFeverVirus
)
(
exists
(?NUMBER)
(
and
(
width
?VIRUS
(
MeasureFn
?NUMBER
Meter
))
(
equal
?NUMBER 0.00000002))))
WMD.kif 1179-1184
Entit�Concreta
è un'
istanza
di
YellowFeverVirus
NumeroReale
l'
ampiezza
di
Entit�Concreta
è
NumeroReale
Meter
(s
NumeroReale
is
uguale
a 0.00000002
(=>
(
instance
?X
DoubleBed
)
(
and
(
width
?X
(
MeasureFn
1.35
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3841-3845
Entit�Concreta
è un'
istanza
di
DoubleBed
l'
ampiezza
di
Entit�Concreta
è 1.35
Meter
(s la
lunghezza
di
Entit�Concreta
è 2.0
Meter
(s
(=>
(
instance
?X
KingBed
)
(
and
(
width
?X
(
MeasureFn
1.9
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3784-3788
Entit�Concreta
è un'
istanza
di
KingBed
l'
ampiezza
di
Entit�Concreta
è 1.9
Meter
(s la
lunghezza
di
Entit�Concreta
è 2.0
Meter
(s
(=>
(
instance
?X
QueenBed
)
(
and
(
width
?X
(
MeasureFn
1.5
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3815-3819
Entit�Concreta
è un'
istanza
di
QueenBed
l'
ampiezza
di
Entit�Concreta
è 1.5
Meter
(s la
lunghezza
di
Entit�Concreta
è 2.0
Meter
(s
(=>
(
instance
?X
SingleBed
)
(
and
(
width
?X
(
MeasureFn
1.0
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3867-3871
Entit�Concreta
è un'
istanza
di
SingleBed
l'
ampiezza
di
Entit�Concreta
è 1.0
Meter
(s la
lunghezza
di
Entit�Concreta
è 2.0
Meter
(s
(=>
(
instance
?ZONE
UniformPerimeterArea
)
(
exists
(?WIDTH)
(
and
(
instance
?WIDTH
LengthMeasure
)
(
width
?ZONE ?WIDTH))))
Geography.kif 830-835
Entit�Concreta
è un'
istanza
di
UniformPerimeterArea
MisuraDiLunghezza
MisuraDiLunghezza
è un'
istanza
di
MisuraDiLunghezza
l'
ampiezza
di
Entit�Concreta
è
MisuraDiLunghezza
(=>
(
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