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
Sigma KEE - Bullet
Bullet
(bullet)
ammo
,
ammunition
,
ball
,
belt
,
belt_ammunition
,
belted_ammunition
,
bullet
,
dumdum
,
dumdum_bullet
,
full_metal_jacket
,
musket_ball
,
rifle_ball
,
rubber_bullet
,
slug
appearance as argument number 1
(
documentation
Bullet
EnglishLanguage
"A
Projectile
that is designed to be fired by a
Gun
.")
Mid-level-ontology.kif 1176-1176
(
externalImage
Bullet
"http://articulatesoftware.com/SUMOpictures/tools/ weapons/ guns/ bullet.png")
pictureList.kif 301-301
(
subclass
Bullet
Projectile
)
Mid-level-ontology.kif 1175-1175
Bullet
is a
subclass
of
projectile
appearance as argument number 2
(
termFormat
ChineseLanguage
Bullet
"子弹")
domainEnglishFormat.kif 12338-12338
(
termFormat
ChineseTraditionalLanguage
Bullet
"子彈")
domainEnglishFormat.kif 12337-12337
(
termFormat
EnglishLanguage
Bullet
"bullet")
domainEnglishFormat.kif 12336-12336
antecedent
(=>
(
instance
?B
Bullet
)
(
hasPurpose
?B
(
exists
(?S ?GUN)
(
and
(
instance
?S
Shooting
)
(
instrument
?S ?GUN)
(
instance
?GUN
Gun
)
(
patient
?S ?B)))))
Mid-level-ontology.kif 1177-1185
If
a physical
is an
instance
of
bullet
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
shooting
and
the other entity
is an
instrument
for
the entity
and
the other entity
is an
instance
of
gun
and
the physical
is a
patient
of
the entity
(=>
(
instance
?PROJECTILE
Bullet
)
(
exists
(?SHELL)
(
and
(
instance
?SHELL
ProjectileShell
)
(
part
?SHELL ?PROJECTILE))))
Mid-level-ontology.kif 1117-1122
If
an object
is an
instance
of
bullet
,
then there exists
another object
such that
the other object
is an
instance
of
projectile shell
and
the other object
is a
part
of
the object
consequent
(=>
(
instance
?CARTRIDGE
BulletCartridge
)
(
hasPurpose
?CARTRIDGE
(
exists
(?BULLET ?CASE)
(
and
(
instance
?BULLET
Bullet
)
(
instance
?CASE
CartridgeCase
)
(
properPart
?BULLET ?CARTRIDGE)
(
properPart
?CASE ?CARTRIDGE)))))
Mid-level-ontology.kif 1192-1200
If
a physical
is an
instance
of
bullet cartridge
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
bullet
and
the other entity
is an
instance
of
casing
and
the entity
is a
proper
part
of
the physical
and
the other entity
is a
proper
part
of
the physical
(=>
(
instance
?CASE
CartridgeCase
)
(
exists
(?CARTRIDGE ?BULLET ?K)
(
and
(
instance
?CARTRIDGE
BulletCartridge
)
(
instance
?BULLET
Bullet
)
(
instance
?K
Keeping
)
(
properPart
?CASE ?CARTRIDGE)
(
properPart
?BULLET ?CARTRIDGE)
(
agent
?K ?CASE)
(
patient
?K ?BULLET))))
Mid-level-ontology.kif 1205-1215
If
an agent
is an
instance
of
casing
,
then there exist
an object
,
another object
and
a process
such that
the object
is an
instance
of
bullet cartridge
and
the other object
is an
instance
of
bullet
and
the process
is an
instance
of
keeping
and
the agent
is a
proper
part
of
the object
and
the other object
is a
proper
part
of
the object
and
the agent
is an
agent
of
the process
and
the other object
is a
patient
of
the process
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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
