capability
(=>
(
instance
?CRAFT
WaterVehicle
)
(
capability
WaterTransportation
instrument
?CRAFT))
Mid-level-ontology.kif 17752-17754
If
an object
is an
instance
of
water vehicle
,
then
the object
is
capable
of doing
water transportation
as a
instrument
(=>
(
instance
?DEVICE
CommunicationDevice
)
(
capability
Communication
instrument
?DEVICE))
Mid-level-ontology.kif 2946-2948
If
an object
is an
instance
of
communication device
,
then
the object
is
capable
of doing
communication
as a
instrument
(=>
(
instance
?DEVICE
Device
)
(
exists
(?PROC)
(
capability
?PROC
instrument
?DEVICE)))
Merge.kif 15943-15946
If
an object
is an
instance
of
device
,
then there exists
a kind of process
such that
the object
is
capable
of doing
a kind of process
as a
instrument
(=>
(
instance
?DEVICE
FileDevice
)
(
capability
SurfaceChange
instrument
?DEVICE))
Mid-level-ontology.kif 2538-2540
If
an object
is an
instance
of
file device
,
then
the object
is
capable
of doing
surface change
as a
instrument
(=>
(
instance
?DEVICE
Holder
)
(
capability
Keeping
instrument
?DEVICE))
Mid-level-ontology.kif 4318-4320
If
an object
is an
instance
of
holder
,
then
the object
is
capable
of doing
keeping
as a
instrument
(=>
(
instance
?DEVICE
TransportationDevice
)
(
capability
Transportation
instrument
?DEVICE))
Merge.kif 15970-15972
If
an object
is an
instance
of
transportation device
,
then
the object
is
capable
of doing
transportation
as a
instrument
(=>
(
instance
?E
Elevator
)
(
and
(
capability
MotionUpward
instrument
?E)
(
capability
MotionDownward
instrument
?E)))
Mid-level-ontology.kif 15442-15446
If
an object
is an
instance
of
elevator
,
then
the object
is
capable
of doing
motion upward
as a
instrument
and
the object
is
capable
of doing
motion downward
as a
instrument
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
capability
Seeing
patient
?E)
Possibility
))
Cars.kif 1161-1165
If
an entity
is an
instance
of
exhaust
,
then the statement
the entity
is
capable
of doing
seeing
as a
patient
has the
modal
force
of
possibility
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
not
(
capability
Seeing
patient
?E))
Possibility
))
Cars.kif 1167-1172
If
an entity
is an
instance
of
exhaust
,
then the statement
the entity
is not
capable
of doing
seeing
as a
patient
has the
modal
force
of
possibility
(=>
(
instance
?E
Eyelid
)
(
capability
Covering
instrument
?E))
Mid-level-ontology.kif 12159-12161
If
an object
is an
instance
of
eyelid
,
then
the object
is
capable
of doing
covering
as a
instrument
(=>
(
instance
?EAR
Ear
)
(
capability
Hearing
instrument
?EAR))
Mid-level-ontology.kif 12144-12146
If
an object
is an
instance
of
ear
,
then
the object
is
capable
of doing
hearing
as a
instrument
(=>
(
instance
?EXPLOSION
Explosion
)
(
capability
Damaging
instrument
?EXPLOSION))
Mid-level-ontology.kif 15843-15845
If
an object
is an
instance
of
explosion
,
then
the object
is
capable
of doing
damaging
as a
instrument
(=>
(
instance
?EYE
Eye
)
(
capability
Seeing
instrument
?EYE))
Mid-level-ontology.kif 12110-12112
If
an object
is an
instance
of
eye
,
then
the object
is
capable
of doing
seeing
as a
instrument
(=>
(
instance
?F
Furniture
)
(
capability
Translocation
moves
?F))
Mid-level-ontology.kif 3706-3708
If
an object
is an
instance
of
furniture
,
then
the object
is
capable
of doing
translocation
as a
moves
(=>
(
instance
?F
LightBulb
)
(
capability
RadiatingLight
instrument
?F))
Cars.kif 5087-5089
If
an object
is an
instance
of
light bulb
,
then
the object
is
capable
of doing
radiating light
as a
instrument
(=>
(
instance
?F
LightFixture
)
(
capability
RadiatingLight
instrument
?F))
Mid-level-ontology.kif 3018-3020
If
an object
is an
instance
of
light fixture
,
then
the object
is
capable
of doing
radiating light
as a
instrument
(=>
(
instance
?F
Plant
)
(
capability
Farming
patient
?F))
Mid-level-ontology.kif 20516-20518
If
an object
is an
instance
of
plant
,
then
the object
is
capable
of doing
farming
as a
patient
(=>
(
instance
?FE
FireExtinguisher
)
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
capability
Carrying
instrument
?PERSON))))
Mid-level-ontology.kif 25490-25495
If
an entity
is an
instance
of
fire extinguisher
,
then there exists
an object
such that
the object
is an
instance
of
human
and
the object
is
capable
of doing
carrying
as a
instrument
(=>
(
instance
?GLM
GroundLaunchMissile
)
(
not
(
capability
TakingOff
patient
?GLM)))
MilitaryDevices.kif 963-966
If
an object
is an
instance
of
ground launch missile
,
then
the object
is not
capable
of doing
taking off
as a
patient
(=>
(
instance
?GUN
Gun
)
(
capability
Shooting
instrument
?GUN))
Mid-level-ontology.kif 1165-1167
If
an object
is an
instance
of
gun
,
then
the object
is
capable
of doing
shooting
as a
instrument
(=>
(
instance
?H
HoistingDevice
)
(
capability
MotionDownward
instrument
?H))
Mid-level-ontology.kif 2489-2491
If
an object
is an
instance
of
hoisting device
,
then
the object
is
capable
of doing
motion downward
as a
instrument
(=>
(
instance
?H
HoistingDevice
)
(
capability
MotionUpward
instrument
?H))
Mid-level-ontology.kif 2485-2487
If
an object
is an
instance
of
hoisting device
,
then
the object
is
capable
of doing
motion upward
as a
instrument
(=>
(
instance
?HINGE
Hinge
)
(
hasPurpose
?HINGE
(
exists
(?OBJ1 ?OBJ2)
(
and
(
connects
?HINGE ?OBJ1 ?OBJ2)
(
or
(
capability
Rotating
patient
?OBJ1)
(
capability
Rotating
patient
?OBJ2))))))
Mid-level-ontology.kif 15276-15284
If
a physical
is an
instance
of
hinge
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the physical
connect
s
the entity
and
the other entity
and
the entity
is
capable
of doing
rotating
as a
patient
or
the other entity
is
capable
of doing
rotating
as a
patient
(=>
(
instance
?HT
HandTool
)
(
capability
Carrying
objectTransferred
?HT))
Cars.kif 4476-4478
If
an object
is an
instance
of
hand tool
,
then
the object
is
capable
of doing
carrying
as a
object transferred
(=>
(
instance
?I
Intestine
)
(
capability
Digesting
instrument
?I))
Mid-level-ontology.kif 12038-12040
If
an object
is an
instance
of
intestine
,
then
the object
is
capable
of doing
digesting
as a
instrument
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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