capability
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7351-7365
If
an object
is an
instance
of
auditorium seat
and
the object
is a
part
of
another object
and
a third object
is a
part
of
the other object
and
the other object
is an
instance
of
auditorium
and
the third object
is an
instance
of
performance stage
and
a fourth object
is
located
at
the object
and
the fourth object
is an
instance
of
human
and
a kind of process
is a
subclass
of
seeing
and for all
another process
if
the other process
is an
instance
of
a kind of process
,
then
the third object
is a
patient
of
the other process
,
then
the fourth object
is
capable
of doing
the kind of process
as a
agent
(=>
(
and
(
instance
?SI
(
ImpairmentFn
?S))
(
instrument
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
instrument
?A2)
(
not
(
capability
?S
instrument
?A)))))
Merge.kif 13474-13484
If
a process
is an
instance
of impairment in
another kind of process
and
an object
is an
instrument
for
the process
,
then there exists
the object
2 such that
the object
2 is not
equal
to
the object
and
the object
2 is
capable
of doing
another kind of process
as a
instrument
and
the object
is not
capable
of doing
the other kind of process
as a
instrument
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
experiencer
?A2)
(
not
(
capability
?S
experiencer
?A)))))
Merge.kif 13494-13504
If
a process
is an
instance
of impairment in
a kind of perception
and
an agent
experience
s
the process
,
then there exists
the agent
2 such that
the agent
2 is not
equal
to
the agent
and
the agent
2 is
capable
of doing
a kind of perception
as a
experiencer
and
the agent
is not
capable
of doing
the kind of perception
as a
experiencer
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
not
(
capability
?S
experiencer
?A)))
Merge.kif 13514-13519
If
a process
is an
instance
of impairment in
a kind of perception
and
an agent
experience
s
the process
,
then
the agent
is not
capable
of doing
a kind of perception
as a
experiencer
(=>
(
and
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?OBJ)
(
attribute
?SOUND
Audible
))
(
exists
(?HUMAN ?HEAR)
(
and
(
instance
?HUMAN
Human
)
(
capability
(
KappaFn
?HEAR
(
and
(
instance
?HEAR
Hearing
)
(
agent
?HEAR ?HUMAN)
(
destination
?HEAR ?HUMAN)
(
origin
?HEAR ?OBJ)))
agent
?HUMAN))))
Merge.kif 13610-13624
If
a process
is an
instance
of
radiating sound
and
an agent
is an
agent
of
the process
and
audible
is an
attribute
of
the process
,
then there exist
an object
and
a symbolic string
such that
the object
is an
instance
of
human
and
the object
is
capable
of doing the
class
described by
the symbolic string
as a
agent
(=>
(
and
(
instance
?VD
VehicleDoor
)
(
attribute
?VD
DeviceNormal
))
(
and
(
capability
Opening
patient
?VD)
(
capability
Closing
patient
?VD)))
Mid-level-ontology.kif 29402-29408
If
an object
is an
instance
of
vehicle door
and
device normal
is an
attribute
of
the object
,
then
the object
is
capable
of doing
opening
as a
patient
and
the object
is
capable
of doing
closing
as a
patient
(=>
(
and
(
instance
?WEAPON
BiochemicalWeapon
)
(
possesses
?AGENT ?WEAPON))
(
capability
BiochemicalAttack
agent
?AGENT))
WMD.kif 51-55
If
an object
is an
instance
of
biochemical weapon
and
an agent
possess
es
the object
,
then
the agent
is
capable
of doing
biochemical attack
as a
agent
(=>
(
and
(
instance
?X
ContentBearingObject
)
(
attribute
?X
Braille
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
attribute
?H
Blind
)
(
capability
Interpreting
agent
?H)
(
capability
Interpreting
patient
?X))))
Dining.kif 244-253
If
an object
is an
instance
of
content bearing object
and
braille
is an
attribute
of
the object
,
then there exists
another object
such that
the other object
is an
instance
of
human
and
blind
is an
attribute
of
the other object
and
the other object
is
capable
of doing
interpreting
as a
agent
and
the object
is
capable
of doing
interpreting
as a
patient
(=>
(
and
(
maximumPayloadCapacity
?V
(
MeasureFn
?WEIGHT ?UNITWEIGHT))
(
maximumPayloadHeightWidth
?V
(
MeasureFn
?HEIGHT ?UNITHEIGHT)
(
MeasureFn
?WIDTH ?UNITWIDTH))
(
instance
?O
SelfConnectedObject
)
(
weight
?O
(
MeasureFn
?WEO ?WEOU))
(
width
?O
(
MeasureFn
?WO ?WOU))
(
height
?O
(
MeasureFn
?HO ?HOU))
(
equal
?WEOU ?UNITWEIGHT)
(
equal
?WOU ?UNITWIDTH)
(
equal
?HOU ?UNITHEIGHT)
(
lessThanOrEqualTo
?WEO ?WEIGHT)
(
lessThanOrEqualTo
?WO ?WIDTH)
(
lessThanOrEqualTo
?HO ?HEIGHT))
(
capability
(
KappaFn
?TRANSPORT
(
and
(
instance
?TRANSPORT
Transportation
)
(
patient
?TRANSPORT ?O)))
instrument
?V))
MilitaryDevices.kif 144-169
If
a real number
an unit of measure
(s) is a
maximum
payload capacity of
a vehicle
and
the vehicle
is
maximum
payload height width
another real number
another unit of measure
(s) for
a third real number
a third unit of measure
(s) and
a self connected object
is an
instance
of
self connected object
and
a fourth real number
the fourth real number
U(s) is a
weight
of
the self connected object
and the
width
of
the self connected object
is
a fifth real number
the fifth real number
U(s) and the
height
of
the self connected object
is
a sixth real number
the sixth real number
U(s) and
the fourth real number
U is
equal
to
the unit of measure
and
the fifth real number
U is
equal
to
the third unit of measure
and
the sixth real number
U is
equal
to
the other unit of measure
and
the fourth real number
is
less
than or equal to
the real number
and
the fifth real number
is
less
than or equal to
the third real number
and
the sixth real number
is
less
than or equal to
the other real number
,
then
the vehicle
is
capable
of doing the
class
described by
a symbolic string
as a
instrument
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
If
a real number
meter
(s) is a
navigable
for draft of
a water area
and
another real number
meter
(s) is a
laden
draft of
a water vehicle
and
the real number
is
greater
than
the other real number
,
then
the water area
is
capable
of doing the
trip
of
the water vehicle
as a
path
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2660-2665
If
a real number
meter
(s) is a
navigable
for draft of
a water area
and
another real number
meter
(s) is a
laden
draft of
a water vehicle
and
the real number
is
less
than or equal to
the other real number
,
then
the water area
is not
capable
of doing the
trip
of
the water vehicle
as a
path
(=>
(
and
(
navigableForShippingTonnage
?WATERWAY
(
MeasureFn
?TONNAGE
LongTon
))
(
instance
?VESSEL
WaterVehicle
)
(
vesselDisplacement
?VESSEL
(
MeasureFn
?DWT
LongTon
))
(
lessThanOrEqualTo
?DWT ?TONNAGE))
(
capability
(
TripFn
?VESSEL)
path
?WATERWAY))
Transportation.kif 2637-2643
If
a real number
long ton
(s) is a
navigable
for shipping tonnage of
a water area
and
a water vehicle
is an
instance
of
water vehicle
and
another real number
long ton
(s) is a
vessel
displacement of
the water vehicle
and
the other real number
is
less
than or equal to
the real number
,
then
the water area
is
capable
of doing the
trip
of
the water vehicle
as a
path
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINST ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINST ?OBJ))
(
capability
?PROCESS
agent
?AGENT))
Catalog.kif 98-107
If
an agent
offers
items for sale in
a catalog
and
a kind of entity
is in
the catalog
and
a kind of entity
is a
subclass
of
object
and
a process
is an
instance
of
another kind of process
and
another kind of process
is a
subclass
of
process
and
another entity
is an
instance
of
the kind of entity
and
the other entity
is a
patient
of
the process
,
then
the agent
is
capable
of doing
the other kind of process
as a
agent
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
If
an agent
offers
items for sale in
a catalog
and
a kind of entity
is in
the catalog
and
a kind of entity
is a
subclass
of
process
,
then
the agent
is
capable
of doing
the kind of entity
as a
agent
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
If
a collection
and
another collection
are
orthogonal
tests
and
an object
is an
instance
of
human
and
a physical
is an
instance
of
a kind of process
and
a kind of process
is a
subclass
of
experimenting
and
the physical
is a
member
of
the collection
and
the object
is
capable
of doing
the kind of process
as a
experimental subject
,
then there exist
another physical
and
another kind of process
such that
the other physical
is an
instance
of
another kind of process
and
the other physical
is a
member
of
the other collection
and
the other kind of process
is a
subclass
of
experimenting
and
the object
is
capable
of doing
the other kind of process
as a
experimental subject
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?AREA))
(
attribute
?AGENT
Female
)
(
member
?AGENT
(
ResidentFn
?AREA))
(
instance
?ELECTION
Election
))
(
not
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
Government.kif 1267-1273
If
exclusive male suffrage
is a
sub
-proposition of the
regional
law of
a geopolitical area
and
female
is an
attribute
of
an object
and
the object
is a
member
of the
resident
of
the geopolitical area
and
an election
is an
instance
of
election
,
then
the object
is not
capable
of doing the
voting
of
the election
as a
agent
(=>
(
and
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
Government.kif 1120-1130
If
universal suffrage law
is a
sub
-proposition of the
regional
law of
a nation
and
a human
is a
citizen
of
the nation
and
a real number
year duration
(s) is a
suffrage
age minimum of
the nation
and the
age
of
the human
is
another real number
year duration
(s) and
the other real number
is
greater
than or equal to
the real number
and
an election
is an
instance
of the
election
of
the nation
,
then
the human
is
capable
of doing the
voting
of
the election
as a
agent
(=>
(
and
(
weaponCarryingCapability
?MV ?WC ?COUNT)
(
instance
?WEAPON ?WC)
(
capability
?PC ?ROLE ?WEAPON)
(
or
(
subclass
?PC
Shooting
)
(
subclass
?PC
Damaging
)))
(
capability
?PC ?ROLE ?MV))
MilitaryDevices.kif 35-43
If
a military vehicle
can carry
a positive integer
weapons of type
a kind of weapon
. and
an object
is an
instance
of
a kind of weapon
and
the object
is
capable
of doing
a kind of process
as a
a case role
and
a kind of process
is a
subclass
of
shooting
or
the kind of process
is a
subclass
of
damaging
,
then
the military vehicle
is
capable
of doing
the kind of process
as a
the case role
(=>
(
attribute
?A
Deaf
)
(
not
(
capability
Hearing
agent
?A)))
Mid-level-ontology.kif 19782-19785
If
deaf
is an
attribute
of
an object
,
then
the object
is not
capable
of doing
hearing
as a
agent
(=>
(
attribute
?AGENT
Blind
)
(
not
(
capability
Seeing
agent
?AGENT)))
Mid-level-ontology.kif 19774-19776
If
blind
is an
attribute
of
an object
,
then
the object
is not
capable
of doing
seeing
as a
agent
(=>
(
attribute
?AREA
FertileTerrain
)
(
capability
Agriculture
eventLocated
?AREA))
Geography.kif 1831-1833
If
fertile terrain
is an
attribute
of
an object
,
then
the object
is
capable
of doing
agriculture
as a
event located
(=>
(
attribute
?DOCTOR
MedicalDoctor
)
(
exists
(?PROCESS1 ?PROCESS2)
(
and
(
subclass
?PROCESS1
DiagnosticProcess
)
(
subclass
?PROCESS2
TherapeuticProcess
)
(
capability
?PROCESS1
agent
?DOCTOR)
(
capability
?PROCESS2
agent
?DOCTOR))))
Mid-level-ontology.kif 21036-21043
If
medical doctor
is an
attribute
of
an object
,
then there exist
a kind of process
and
another kind of process
such that
a kind of process
is a
subclass
of
diagnostic process
and
another kind of process
is a
subclass
of
therapeutic process
and
the object
is
capable
of doing
the kind of process
as a
agent
and
the object
is
capable
of doing
the other kind of process
as a
agent
(=>
(
attribute
?L
Liquid
)
(
capability
Boiling
patient
?L))
Merge.kif 13943-13945
If
liquid
is an
attribute
of
an object
,
then
the object
is
capable
of doing
boiling
as a
patient
(=>
(
attribute
?ROOM
OpenLayout
)
(
and
(
instance
?ROOM
Room
)
(
exists
(?R1 ?R2 ?H)
(
and
(
instance
?R1
Region
)
(
instance
?R2
Region
)
(
located
?R1 ?ROOM)
(
located
?R2 ?ROOM)
(
not
(
equal
?R1 ?R2))
(
orientation
?R1 ?R2
Adjacent
)
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
hasPurpose
?R1 ?P1)
(
hasPurpose
?R2 ?P2)))
(=>
(
and
(
instance
?H
AutonomousAgent
)
(
located
?H ?R2))
(
and
(
capability
Seeing
agent
?H)
(
capability
Seeing
patient
?R1)))))))
Dining.kif 956-980
If
open layout
is an
attribute
of
an object
,
then
the object
is an
instance
of
room
and there exist
another object
,
a third object
and
a fourth object
such that
the other object
is an
instance
of
region
and
the third object
is an
instance
of
region
and
the other object
is
located
at
the object
and
the third object
is
located
at
the object
and
the other object
is not
equal
to
the third object
and
the other object
is
adjacent
to
the third object
and there exist
a formula
and
another formula
such that
the formula
is an
instance
of
process
and
the other formula
is an
instance
of
process
and
the other object
has the purpose
the formula
and
the third object
has the purpose
the other formula
and
if
the fourth object
is an
instance
of
agent
and
the fourth object
is
located
at
the third object
,
then
the fourth object
is
capable
of doing
seeing
as a
agent
and
the other object
is
capable
of doing
seeing
as a
patient
(=>
(
attribute
?X
Accountant
)
(
capability
Calculating
agent
?X))
Mid-level-ontology.kif 21106-21108
If
accountant
is an
attribute
of
an object
,
then
the object
is
capable
of doing
calculating
as a
agent
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