Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 7593-7594
(
documentation
width
JapaneseLanguage
"
BinaryPredicate
は、最も広いスパンで
Object
のメ ジャーを左右に述えるために使用される。")
japanese_format.kif 1356-1357
(
domain
width
1
Physical
)
Merge.kif 7590-7590
(
domain
width
2
LengthMeasure
)
Merge.kif 7591-7591
(
instance
width
BinaryPredicate
)
Merge.kif 7588-7588
(
instance
width
SingleValuedRelation
)
Merge.kif 7587-7587
(
subrelation
width
linearExtent
)
Merge.kif 7589-7589
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 63068-63068
(
termFormat
EnglishLanguage
width
"width")
domainEnglishFormat.kif 63067-63067
(
termFormat
de
width
"breite")
terms-de.txt 238-238
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 1039-1045
(=>
(
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 5143-5153
(=>
(
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 2639-2648
(=>
(
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
(=>
(
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 1028-1037
(=>
(
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 1017-1026
(=>
(
width
?OBJECT ?WIDTH)
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9899-9905
consequent
(=>
(
and
(
instance
?X
OpticalDisc
)
(
attribute
?X
MiniSizeDisc
))
(
width
?X
(
MeasureFn
80
Millimeter
)))
Media.kif 1245-1250
(=>
(
and
(
instance
?X
OpticalDisc
)
(
attribute
?X
StandardSizeDisc
))
(
width
?X
(
MeasureFn
120
Millimeter
)))
Media.kif 1232-1237
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
width
?O ?Q))
Mid-level-ontology.kif 33015-33020
(=>
(
and
(
memberMeasure
?S
Width
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
width
?O ?Q))
Mid-level-ontology.kif 33008-33013
(=>
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))
(
width
?OBJECT ?WIDTH))
Merge.kif 9907-9912
(=>
(
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 14737-14746
(=>
(
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 14721-14729
(=>
(
instance
?BACTERIUM
Bacterium
)
(
exists
(?NUMBER)
(
and
(
width
?BACTERIUM
(
MeasureFn
?NUMBER
Meter
))
(
greaterThanOrEqualTo
?NUMBER 0.000001)
(
lessThanOrEqualTo
?NUMBER 0.000002))))
WMD.kif 205-211
(=>
(
instance
?T
FiftythreeFtContainer
)
(
and
(
length
?T
(
MeasureFn
53
FootLength
))
(
height
?T
(
MeasureFn
102
Inch
))
(
width
?T
(
MeasureFn
8
FootLength
))))
Transportation.kif 3052-3060
(=>
(
instance
?T
FortyFtContainer
)
(
and
(
length
?T
(
MeasureFn
40
FootLength
))
(
width
?T
(
MeasureFn
8
FootLength
))))
Transportation.kif 2942-2948
(=>
(
instance
?T
FortyeightFtContainer
)
(
and
(
length
?T
(
MeasureFn
48
FootLength
))
(
height
?T
(
MeasureFn
102
Inch
))
(
width
?T
(
MeasureFn
8
FootLength
))))
Transportation.kif 3029-3037
(=>
(
instance
?T
FortyfiveFtContainer
)
(
and
(
length
?T
(
MeasureFn
45
FootLength
))
(
height
?T
(
MeasureFn
102
Inch
))
(
width
?T
(
MeasureFn
8
FootLength
))))
Transportation.kif 3010-3018
(=>
(
instance
?T
TwentyFtContainer
)
(
and
(
length
?T
(
MeasureFn
20
FootLength
))
(
width
?T
(
MeasureFn
8
FootLength
))))
Transportation.kif 2804-2810
(=>
(
instance
?VIRUS
YellowFeverVirus
)
(
exists
(?NUMBER)
(
and
(
width
?VIRUS
(
MeasureFn
?NUMBER
Meter
))
(
equal
?NUMBER 0.00000002))))
WMD.kif 1179-1184
(=>
(
instance
?X
DoubleBed
)
(
and
(
width
?X
(
MeasureFn
1.35
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 4284-4288
(=>
(
instance
?X
KingBed
)
(
and
(
width
?X
(
MeasureFn
1.9
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 4227-4231
(=>
(
instance
?X
QueenBed
)
(
and
(
width
?X
(
MeasureFn
1.5
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 4258-4262
(=>
(
instance
?X
SingleBed
)
(
and
(
width
?X
(
MeasureFn
1.0
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 4310-4314
(=>
(
instance
?ZONE
UniformPerimeterArea
)
(
exists
(?WIDTH)
(
and
(
instance
?WIDTH
LengthMeasure
)
(
width
?ZONE ?WIDTH))))
Geography.kif 995-1000
(=>
(
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
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