capability
(=>
(
attribute
?X
Flammable
)
(
capability
Combustion
patient
?X))
Merge.kif 12588-12590
If
flammable
is an
attribute
of
an object
,
then
the object
is
capable
of doing
burning
as a
patient
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
If
an agent
is
capable
of doing
child-care service
as a
agent
,
then there exists
a cognitive agent
such that
the agent
employ
s
the cognitive agent
and
the cognitive agent
is
capable
of doing
child-care service
as a
service provider
(=>
(
capabilityDuring
?PROCESS ?ROLE ?OBJ ?TIMEINT)
(
exists
(?TIME)
(
and
(
instance
?TIME ?TIMEINT)
(
holdsDuring
?TIME
(
capability
?PROCESS ?ROLE ?OBJ)))))
Dining.kif 922-928
If
an object
is
capable
of being a
a case role
in
a kind of process
during
a kind of time interval
,
then there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the object
is
capable
of doing
a kind of process
as a
the case role
holds
during
the time position
(=>
(
deliveryRegion
?AGENT ?REGION)
(
capability
DeliveryService
agent
?AGENT))
Dining.kif 546-548
If
a geographic area
is the
delivery
area of
an agent
,
then
the agent
is
capable
of doing
delivery service
as a
agent
(=>
(
fitForMilitaryService
?AGENT ?PROCESS)
(
capability
?PROCESS
agent
?AGENT))
Military.kif 917-919
If
a kind of process
is a
fit
for military service of
a cognitive agent
,
then
the cognitive agent
is
capable
of doing
a kind of process
as a
agent
(=>
(
hasSkill
?PROC ?AGENT)
(
capability
?PROC
agent
?AGENT))
Merge.kif 3987-3989
If
an agent
has the
skill
to do
a kind of process
,
then
the agent
is
capable
of doing
a kind of process
as a
agent
(=>
(
holdsDuring
?T
(
and
(
instance
?C
Computer
)
(
attribute
?C
AirplaneMode
)))
(
not
(
holdsDuring
?T
(
capability
(
NetworkCommunicationFn
WirelessNetwork
)
origin
?C))))
ComputingBrands.kif 1820-1827
If
an entity
is an
instance
of
computer
and
Standalone mode
is an
attribute
of
the entity
holds
during
a time position
,
then
the entity
is
capable
of doing communication over
wireless network
as a
origin
doesn't hold
during
the time position
(=>
(
holdsDuring
?T
(
attribute
?H
AVPUAlertStatus
))
(
holdsDuring
?T
(
capability
?H
agent
Communication
)))
Medicine.kif 6427-6431
If
AVPU alert status
is an
attribute
of
an entity
holds
during
a time position
,
then
communication
is
capable
of doing
the entity
as a
agent
holds
during
the time position
(=>
(
holdsDuring
?T
(
attribute
?H
Ambulatory
))
(
holdsDuring
?T
(
capability
Walking
agent
?H)))
Medicine.kif 390-394
If
ambulatory
is an
attribute
of
an entity
holds
during
a time position
,
then
the entity
is
capable
of doing
walking
as a
agent
holds
during
the time position
(=>
(
holdsDuring
?T
(
attribute
?H
Conscious
))
(
holdsDuring
?T
(
capability
IntentionalProcess
agent
?H)))
Medicine.kif 441-445
If
conscious
is an
attribute
of
an entity
holds
during
a time position
,
then
the entity
is
capable
of doing
intentional process
as a
agent
holds
during
the time position
(=>
(
instance
?A
Animal
)
(
capability
Drooling
experiencer
?A))
Mid-level-ontology.kif 6583-6585
If
an object
is an
instance
of
animal
,
then
the object
is
capable
of doing
drooling
as a
experiencer
(=>
(
instance
?A
AutonomousAgent
)
(
capability
SocialInteraction
agent
?A))
Merge.kif 13015-13017
If
an object
is an
instance
of
agent
,
then
the object
is
capable
of doing
social interaction
as a
agent
(=>
(
instance
?AGENT
AutonomousAgent
)
(
exists
(?PROC)
(
capability
?PROC
agent
?AGENT)))
Merge.kif 1561-1564
If
an object
is an
instance
of
agent
,
then there exists
a kind of process
such that
the object
is
capable
of doing
a kind of process
as a
agent
(=>
(
instance
?AGENT
CognitiveAgent
)
(
capability
Reasoning
agent
?AGENT))
Merge.kif 11997-11999
If
an object
is an
instance
of
cognitive agent
,
then
the object
is
capable
of doing
reasoning
as a
agent
(=>
(
instance
?AGENT
LifeThreateningAgent
)
(
capability
Killing
instrument
?AGENT))
WMD.kif 1013-1015
If
an object
is an
instance
of
life threatening agent
,
then
the object
is
capable
of doing
killing
as a
instrument
(=>
(
instance
?AGENT
SentientAgent
)
(
capability
Perception
experiencer
?AGENT))
Merge.kif 13461-13463
If
an object
is an
instance
of
sentient agent
,
then
the object
is
capable
of doing
perception
as a
experiencer
(=>
(
instance
?ANTENNA
Antenna
)
(
capability
RadioEmission
instrument
?ANTENNA))
Mid-level-ontology.kif 15828-15830
If
an object
is an
instance
of
antenna
,
then
the object
is
capable
of doing
radio emission
as a
instrument
(=>
(
instance
?ANTIBIOTIC
Antibiotic
)
(
exists
(?KILL ?BACTERIUM)
(
capability
(
KappaFn
?KILL
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?BACTERIUM)
(
instance
?BACTERIUM
Bacterium
)))
agent
?ANTIBIOTIC)))
WMD.kif 1264-1272
If
an object
is an
instance
of
antibiotic
,
then there exist
a symbolic string
and
an entity
such that
the object
is
capable
of doing the
class
described by
the symbolic string
as a
agent
(=>
(
instance
?ARTIFACT
GameArtifact
)
(
exists
(?GAME)
(
and
(
subclass
?GAME
Game
)
(
capability
?GAME
instrument
?ARTIFACT))))
Mid-level-ontology.kif 16981-16986
If
an object
is an
instance
of
game artifact
,
then there exists
a kind of process
such that
a kind of process
is a
subclass
of
game
and
the object
is
capable
of doing
the kind of process
as a
instrument
(=>
(
instance
?BOARD
BoardOrBlock
)
(
capability
Constructing
resource
?BOARD))
Mid-level-ontology.kif 4746-4748
If
an object
is an
instance
of
board or block
,
then
the object
is
capable
of doing
constructing
as a
resource
(=>
(
instance
?CAMERA
Camera
)
(
capability
Photographing
instrument
?CAMERA))
Mid-level-ontology.kif 13316-13318
If
an object
is an
instance
of
camera
,
then
the object
is
capable
of doing
photographing
as a
instrument
(=>
(
instance
?CAR
PassengerRailcar
)
(
exists
(?CARRY)
(
capability
(
KappaFn
?CARRY
(
and
(
instance
?CARRY
Transportation
)
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
patient
?CARRY ?HUMAN)))))
instrument
?CAR)))
Transportation.kif 2127-2137
If
an object
is an
instance
of
passenger railcar
,
then there exists
the object
RY such that
the object
is
capable
of doing the
class
described by
the object
RY as a
instrument
(=>
(
instance
?CLOUD
Cloud
)
(
capability
Seeing
patient
?CLOUD))
Merge.kif 14754-14756
If
an object
is an
instance
of
cloud
,
then
the object
is
capable
of doing
seeing
as a
patient
(=>
(
instance
?CRAFT
Aircraft
)
(
capability
AirTransportation
instrument
?CRAFT))
Mid-level-ontology.kif 17822-17824
If
an object
is an
instance
of
aircraft
,
then
the object
is
capable
of doing
air transportation
as a
instrument
(=>
(
instance
?CRAFT
Spacecraft
)
(
capability
SpaceTransportation
instrument
?CRAFT))
Mid-level-ontology.kif 17715-17717
If
an object
is an
instance
of
spacecraft
,
then
the object
is
capable
of doing
space transportation
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