instrument
(=>
(
and
(
instance
?X
DVD
)
(
instance
?READ
Decoding
)
(
patient
?READ ?X))
(
exists
(?LASER)
(
and
(
instance
?LASER
RadiatingLight
)
(
instrument
?READ ?LASER)
(
wavelength
?LASER
(
MeasureFn
650
Nanometer
)))))
Media.kif 1257-1267
If
an entity
is an
instance
of
DVD
and
a process
is an
instance
of
decoding
and
the entity
is a
patient
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
radiating light
and
the object
is an
instrument
for
the process
and the
wavelength
of
the object
is 650
nanometer
(s)
(=>
(
and
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26457-26475
If
an object
is an
instance
of
fire alarm
and
device on
is an
attribute
of
the object
and
the object
is
located
at
another object
,
then there exists
a process
such that
the process
is an
instance
of
radiating sound
and
the object
is an
instrument
for
the process
and
the process
has the purpose there exists
an entity
such that
the entity
is an
instance
of
group of people
and
the entity
is
located
at
the other object
and
the entity
know
s there exists
another entity
such that
the other entity
is an
instance
of
fire
and
the other entity
is
located
at
the other object
(=>
(
and
(
instance
?X
HotTub
)
(
located
?WATER ?X)
(
instance
?WATER
Water
))
(
modalAttribute
(
exists
(?HEAT)
(
and
(
instance
?HEAT
Heating
)
(
instrument
?HEAT ?X)
(
patient
?HEAT ?WATER)))
Possibility
))
Mid-level-ontology.kif 25305-25315
If
an object
is an
instance
of
hot tub
and
a physical
is
located
at
the object
and
the physical
is an
instance
of
water
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
heating
and
the object
is an
instrument
for
the entity
and
the physical
is a
patient
of
the entity
has the
modal
force
of
possibility
(=>
(
and
(
instance
?X
PhotocopyingService
)
(
serviceProvider
?X ?AGENT))
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
Photocopier
)
(
possesses
?AGENT ?DEVICE)
(
instrument
?X ?DEVICE))))
Hotel.kif 2138-2146
If
a service
is an
instance
of
photocopying service
and
a cognitive agent
provides a service during
the service
,
then there exists
an object
such that
the object
is an
instance
of
photocopier
and
the cognitive agent
possess
es
the object
and
the object
is an
instrument
for
the service
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3531-3552
If
a wearable item
is an
instance
of
respirator
and
an animal
is an
instance
of
animal
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
process
and
the wearable item
is an
instrument
for
the third entity
and
the third entity
prevent
s the occurrence of
the other entity
and
the other entity
is a
subclass
of the
class
described by
the fourth entity
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26973-26999
If
a physical
is an
instance
of
surveillance system
and
the physical
is a
member
of
a collection
and
the physical
is a
member
of
another collection
and
the collection
is
located
at
an object
and
the collection
is an
instance
of
camera
and
the other collection
is
located
at
another object
and
the object
is not
equal
to
the other object
and
the other collection
is an
instance
of
video display
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
process
and
the entity
is
located
at
the object
and
the other entity
express
es
the entity
and
camera
is an
instrument
for
the fourth entity
and
the other entity
is a
result
of
the fourth entity
and
the third entity
is an
instance
of
radiating light
and
the other collection
is an
instrument
for
the third entity
and
the other entity
is a
patient
of
the third entity
and the
beginning
of
the entity
happens
before
the
beginning
of
the fourth entity
and the
beginning
of
the fourth entity
happens
before
the
beginning
of
the third entity
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesFreightTransportation
))
(
exists
(?FREIGHT ?SHIP ?WATER)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
))))
naics.kif 8184-8197
If
a service
is an
instance
of
Water Transportation Service
and
a cognitive agent
provides a service during
the service
and
coastal and great lakes freight transportation
is an
attribute
of
the cognitive agent
,
then there exist
a process
,
an object
and
a geographic area
such that
the process
is a
subprocess
of
the service
and
the process
is an
instance
of
water transportation
and
the object
is an
instrument
for
the process
and
the object
is an
instance
of
cargo ship
and
the process
is
located
at
the geographic area
and
the geographic area
is an
instance
of
water area
and
the geographic area
is a
geographic
subregion of
united states
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesPassengerTransportation
))
(
exists
(?CRUISE ?SHIP ?WATER)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8207-8225
If
a service
is an
instance
of
Water Transportation Service
and
a cognitive agent
provides a service during
the service
and
coastal and great lakes passenger transportation
is an
attribute
of
the cognitive agent
,
then there exist
a process
,
an object
and
a geographic area
such that
the process
is a
subprocess
of
the service
and
the process
is an
instance
of
water transportation
and
the object
is an
instrument
for
the process
and
the object
is an
instance
of
passenger ship
and
the process
is
located
at
the geographic area
and
the geographic area
is an
instance
of
water area
and
the geographic area
is a
geographic
subregion of
united states
and there doesn't exist
an entity
such that
the entity
is an
instance
of
short sea passenger ship
and
the object
is
equal
to
the entity
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
DeepSeaFreightTransportation
))
(
exists
(?FREIGHT ?SHIP)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT
WorldOcean
))))
naics.kif 8139-8150
If
a service
is an
instance
of
Water Transportation Service
and
a cognitive agent
provides a service during
the service
and
deep sea freight transportation
is an
attribute
of
the cognitive agent
,
then there exist
a process
and
an object
such that
the process
is a
subprocess
of
the service
and
the process
is an
instance
of
water transportation
and
the object
is an
instrument
for
the process
and
the object
is an
instance
of
cargo ship
and
the process
is
located
at
world ocean
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
DeepSeaPassengerTransportation
))
(
exists
(?CRUISE ?SHIP)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE
WorldOcean
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8159-8175
If
a service
is an
instance
of
Water Transportation Service
and
a cognitive agent
provides a service during
the service
and
deep sea passenger transportation
is an
attribute
of
the cognitive agent
,
then there exist
a process
and
an object
such that
the process
is a
subprocess
of
the service
and
the process
is an
instance
of
water transportation
and
the object
is an
instrument
for
the process
and
the object
is an
instance
of
passenger ship
and
the process
is
located
at
world ocean
and there doesn't exist
an entity
such that
the entity
is an
instance
of
short sea passenger ship
and
the object
is
equal
to
the entity
(=>
(
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
(
monetaryValue
?Check ?Amount)
(
checkAccount
?Check ?Account)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Withdrawal ?WithdrawalTime)
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instrument
?Withdrawal ?Check)
(
equal
(
WhenFn
?Withdrawal) ?WithdrawalTime)
(
meetsTemporally
?ProcessingTime ?WithdrawalTime)
(
transactionAmount
?Withdrawal ?Amount)
(
origin
?Withdrawal ?Account))))
FinancialOntology.kif 104-118
If
value
of
a check
is
a currency measure
and
a financial account
is a
check
account of
the check
and
a process
is an
instance
of
processingA check
and
the check
is a
patient
of
the process
and the
time
of existence of
the process
is
equal
to
the process
Time,
then there exist
a financial transaction
and
the financial transaction
Time such that
the financial transaction
is an
instance
of
withdrawal
and
the check
is an
instrument
for
the financial transaction
and the
time
of existence of
the financial transaction
is
equal
to
the financial transaction
Time and
the process
Time
meet
s
the financial transaction
Time and
the currency measure
is a
transaction
amount of
the financial transaction
and
the financial transaction
originate
s at
the financial account
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
destination
?Processing
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Deposit ?DepositTime)
(
and
(
instance
?Deposit
Deposit
)
(
instrument
?Deposit ?Check)
(
equal
(
WhenFn
?Deposit) ?DepositTime)
(
meetsTemporally
?ProcessingTime ?DepositTime)
(
transactionAmount
?Deposit ?Amount)
(
destination
?Deposit
(
CurrencyFn
?Account)))))
FinancialOntology.kif 120-135
If
value
of
an object
is
a currency measure
and
a process
is an
instance
of
processingA check
and
the object
is a
patient
of
the process
and
the process
end
s up at the
currency
of
a financial account
and
the financial account
is an
instance
of
financial account
and the
time
of existence of
the process
is
equal
to
the process
Time,
then there exist
a financial transaction
and
the financial transaction
Time such that
the financial transaction
is an
instance
of
deposit
and
the object
is an
instrument
for
the financial transaction
and the
time
of existence of
the financial transaction
is
equal
to
the financial transaction
Time and
the process
Time
meet
s
the financial transaction
Time and
the currency measure
is a
transaction
amount of
the financial transaction
and
the financial transaction
end
s up at the
currency
of
the financial account
(=>
(
and
(
musicGenre
?MR
AcousticMusic
)
(
record
?MR ?MM))
(
not
(
exists
(?I ?ED)
(
and
(
instance
?I
MusicalInstrument
)
(
instrument
?MM ?I)
(
instance
?ED
ElectricDevice
)
(
part
?ED ?I)))))
Music.kif 559-569
If
acoustic
is in the
genre
a content bearing object
and
the content bearing object
is a
record
of
a process
,
then there don't exist
an object
and
another object
such that
the object
is an
instance
of
musical instrument
and
the object
is an
instrument
for
the process
and
the other object
is an
instance
of
electric device
and
the other object
is a
part
of
the object
(=>
(
and
(
passenger
?PROC ?PASS)
(
instance
?V
Vehicle
)
(
instrument
?PROC ?V))
(
not
(
exists
(?G)
(
and
(
during
(
WhenFn
?G)
(
WhenFn
?PROC))
(
instance
?G
Guiding
)
(
agent
?G ?PASS)
(
instrument
?G ?V)))))
Mid-level-ontology.kif 30772-30783
If
an agent
is a passenger in
a transfer
and
an object
is an
instance
of
vehicle
and
the object
is an
instrument
for
the transfer
,
then there doesn't exist
a process
such that the
time
of existence of
the process
takes place
during
the
time
of existence of
the transfer
and
the process
is an
instance
of
guiding
and
the agent
is an
agent
of
the process
and
the object
is an
instrument
for
the process
(=>
(
and
(
subclass
?TYPE
TransportationDevice
)
(
subclass
(
TransportationFn
?TYPE)
Transportation
)
(
instance
?TRIP
(
TransportationFn
?TYPE)))
(
exists
(?VEHICLE)
(
and
(
instance
?VEHICLE ?TYPE)
(
instrument
?TRIP ?VEHICLE))))
Transportation.kif 1572-1580
If
a kind of transportation device
is a
subclass
of
transportation device
and the
transportation
of
a kind of transportation device
is a
subclass
of
transportation
and
a process
is an
instance
of the
transportation
of
the kind of transportation device
,
then there exists
an object
such that
the object
is an
instance
of
the kind of transportation device
and
the object
is an
instrument
for
the process
(=>
(
and
(
trafficableForTrafficType
?PLACE ?TYPE)
(
subclass
?TYPE
TransportationDevice
)
(
instance
?MOVER ?TYPE))
(
capableAtLocation
Transportation
instrument
?MOVER ?PLACE))
Transportation.kif 2610-2615
If
a kind of self connected object
is a
trafficable
for traffic type of
a region
and
a kind of self connected object
is a
subclass
of
transportation device
and
an object
is an
instance
of
the kind of self connected object
,
then
transportation
capable
at location
instrument
for
the object
with
the region
(=>
(
attribute
?INDIVIDUAL
InternetUser
)
(
exists
(?PROCESS)
(
and
(
agent
?PROCESS ?INDIVIDUAL)
(
instrument
?PROCESS
Internet
))))
Communications.kif 456-461
If
internet user
is an
attribute
of
an agent
,
then there exists
a process
such that
the agent
is an
agent
of
the process
and
internet
is an
instrument
for
the process
(=>
(
attribute
?X
Machinery
)
(
hasPurpose
?X
(
exists
(?M)
(
and
(
instance
?M
Manufacture
)
(
instrument
?M ?X)))))
Economy.kif 5805-5811
If
machinery
is an
attribute
of
an object
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
manufacture
and
the object
is an
instrument
for
the entity
(=>
(
carries
?AGENT ?OBJECT)
(
exists
(?CARRYING)
(
and
(
instrument
?CARRYING ?AGENT)
(
patient
?CARRYING ?OBJECT))))
Mid-level-ontology.kif 4374-4379
If
an agent
carries
an object
,
then there exists
a process
such that
the agent
is an
instrument
for
the process
and
the object
is a
patient
of
the process
(=>
(
holdsDuring
?T
(
attribute
?X
FlightSteward
))
(
hasPurpose
?X
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Airplane
)
(
not
(
exists
(?G)
(
and
(
instance
?G
Guiding
)
(
agent
?G ?X)
(
instrument
?G ?P)))))))))
Mid-level-ontology.kif 30745-30758
If
flight steward
is an
attribute
of
a physical
holds
during
a time position
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
airplane
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
guiding
and
the physical
is an
agent
of
the other entity
and
the entity
is an
instrument
for
the other entity
holds
during
the time position
(=>
(
instance
?A
Ambulance
)
(
hasPurpose
?A
(
exists
(?P ?T)
(
and
(
instance
?P
Human
)
(
or
(
attribute
?P
DiseaseOrSyndrome
)
(
exists
(?I ?H)
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?H)
(
before
?I ?T))))
(
instance
?T
Transportation
)
(
instrument
?T ?A)
(
patient
?T ?H)))))
Transportation.kif 1906-1921
If
a physical
is an
instance
of
ambulance
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
human
and
disease or syndrome
is an
attribute
of
the entity
or there exist
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
injuring
and
the fourth entity
experience
s
the third entity
and
the third entity
happens
before
the other entity
and
the other entity
is an
instance
of
transportation
and
the physical
is an
instrument
for
the other entity
and
the fourth entity
is a
patient
of
the other entity
(=>
(
instance
?AC
AnimalController
)
(
hasPurpose
?AC
(
exists
(?G ?A)
(
and
(
instance
?G
Guiding
)
(
instrument
?G ?AC)
(
instance
?A
Animal
)
(
patient
?G ?A)))))
Mid-level-ontology.kif 2739-2747
If
a physical
is an
instance
of
animal controller
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
guiding
and
the physical
is an
instrument
for
the entity
and
the other entity
is an
instance
of
animal
and
the other entity
is a
patient
of
the entity
(=>
(
instance
?ACC
AirConditioningCompressor
)
(
hasPurpose
?ACC
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ACC)))))
Cars.kif 2009-2015
If
a physical
is an
instance
of
air conditioning compressor
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
cooling
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?ACC
AirConditioningCondenser
)
(
hasPurpose
?ACC
(
exists
(?C)
(
and
(
instance
?C
Condensing
)
(
instrument
?C ?ACC)))))
Cars.kif 2061-2067
If
a physical
is an
instance
of
air conditioning condenser
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
condensing
and
the physical
is an
instrument
for
the entity
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