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
caliber
Sigma KEE - caliber
caliber
appearance as argument number 1
(
documentation
caliber
EnglishLanguage
"(
caliber
?G ?L) means that the gun ?G is designed to shoot projectiles with a diameter of ?L.")
MilitaryDevices.kif 214-215
(
domain
caliber
2
LengthMeasure
)
MilitaryDevices.kif 212-212
(
domainSubclass
caliber
1
Gun
)
MilitaryDevices.kif 211-211
(
instance
caliber
BinaryPredicate
)
MilitaryDevices.kif 208-208
(
instance
caliber
TotalValuedRelation
)
MilitaryDevices.kif 209-209
appearance as argument number 2
(
format
ChineseLanguage
caliber
"%2 %n 是 %1 的
caliber
")
domainEnglishFormat.kif 336-336
(
format
ChineseTraditionalLanguage
caliber
"%2 %n 是 %1 的
caliber
")
domainEnglishFormat.kif 335-335
(
format
EnglishLanguage
caliber
"%1 weapons can%n{not} shoot projectiles with a caliber of %2.")
MilitaryDevices.kif 2036-2036
(
format
EnglishLanguage
caliber
"%2 is %n a
caliber
of %1")
domainEnglishFormat.kif 334-334
(
termFormat
ChineseLanguage
caliber
"口径")
domainEnglishFormat.kif 12721-12721
(
termFormat
ChineseTraditionalLanguage
caliber
"口徑")
domainEnglishFormat.kif 12720-12720
(
termFormat
EnglishLanguage
caliber
"caliber")
domainEnglishFormat.kif 12719-12719
antecedent
(=>
(
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
(=>
(
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
(=>
(
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
appearance as argument number 0
(
caliber
GAU12U
(
MeasureFn
25.0
Millimeter
))
MilitaryDevices.kif 316-317
(
caliber
M240
(
MeasureFn
7.62
Millimeter
))
MilitaryDevices.kif 393-394
(
caliber
M242
(
MeasureFn
25.0
Millimeter
))
MilitaryDevices.kif 282-283
(
caliber
M2Browning
(
MeasureFn
12.7
Millimeter
))
MilitaryDevices.kif 497-498
(
caliber
M3M
(
MeasureFn
12.7
Millimeter
))
MilitaryDevices.kif 574-575
(
caliber
M60
(
MeasureFn
7.62
Millimeter
))
MilitaryDevices.kif 433-434
(
caliber
MK19
(
MeasureFn
40.0
Millimeter
))
MilitaryDevices.kif 636-637
(
caliber
SMAWBunkerBuster
(
MeasureFn
83.0
Millimeter
))
MilitaryDevices.kif 828-829
(
caliber
XM218
(
MeasureFn
12.7
Millimeter
))
MilitaryDevices.kif 531-532
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