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
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
The number 2 argument of
caliber
is an
instance
of
length measure
(
domainSubclass
caliber
1
Gun
)
MilitaryDevices.kif 211-211
The number 1 argument of
caliber
is a
subclass
of
gun
(
instance
caliber
BinaryPredicate
)
MilitaryDevices.kif 208-208
caliber
is an
instance
of
binary predicate
(
instance
caliber
TotalValuedRelation
)
MilitaryDevices.kif 209-209
caliber
is an
instance
of
total valued relation
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 12726-12726
(
termFormat
ChineseTraditionalLanguage
caliber
"口徑")
domainEnglishFormat.kif 12725-12725
(
termFormat
EnglishLanguage
caliber
"caliber")
domainEnglishFormat.kif 12724-12724
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
If
a physical
is an
instance
of
projectile
and
a length measure
is a
caliber
of
a kind of gun
and
an object
is an
instance
of
a kind of gun
and the
width
of
the physical
is
the length measure
1 and
the length measure
is
equal
to
the length measure
1,
then
the object
is
capable
of doing the
class
described by
a symbolic string
as a
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
If
a physical
is an
instance
of
projectile
and
a length measure
is a
caliber
of
a kind of gun
and
another physical
is an
instance
of
a kind of gun
and the
width
of
the physical
is
the length measure
1 and
the length measure
is
equal
to
the length measure
1,
then
the other physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
shooting
and
the physical
is a
patient
of
the entity
and
the other physical
is an
instrument
for
the entity
(=>
(
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
If
a process
is an
instance
of
shooting
and
an object
is an
instrument
for
the process
and
a physical
is a
patient
of
the process
and the
width
of
the physical
is
a length measure
and
the object
is an
instance
of
the object
CLASS and
the physical
is an
instance
of
projectile
and
another length measure
is a
caliber
of
the object
CLASS,
then
the other length measure
is
equal
to
the length measure
appearance as argument number 0
(
caliber
GAU12U
(
MeasureFn
25.0
Millimeter
))
MilitaryDevices.kif 316-317
25.0
Millimeter
(s) is a
caliber
of
GAU12U
(
caliber
M240
(
MeasureFn
7.62
Millimeter
))
MilitaryDevices.kif 393-394
7.62
Millimeter
(s) is a
caliber
of
m240
(
caliber
M242
(
MeasureFn
25.0
Millimeter
))
MilitaryDevices.kif 282-283
25.0
Millimeter
(s) is a
caliber
of
m242
(
caliber
M2Browning
(
MeasureFn
12.7
Millimeter
))
MilitaryDevices.kif 497-498
12.7
Millimeter
(s) is a
caliber
of
m2 browning
(
caliber
M3M
(
MeasureFn
12.7
Millimeter
))
MilitaryDevices.kif 574-575
12.7
Millimeter
(s) is a
caliber
of
M3M
(
caliber
M60
(
MeasureFn
7.62
Millimeter
))
MilitaryDevices.kif 433-434
7.62
Millimeter
(s) is a
caliber
of
m60
(
caliber
MK19
(
MeasureFn
40.0
Millimeter
))
MilitaryDevices.kif 636-637
40.0
Millimeter
(s) is a
caliber
of
Mk19
(
caliber
SMAWBunkerBuster
(
MeasureFn
83.0
Millimeter
))
MilitaryDevices.kif 828-829
83.0
Millimeter
(s) is a
caliber
of
SMAW bunker buster
(
caliber
XM218
(
MeasureFn
12.7
Millimeter
))
MilitaryDevices.kif 531-532
12.7
Millimeter
(s) is a
caliber
of
XM218
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
caliber