instrument
(=>
(
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 3592-3613
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 28872-28898
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
equal
the object
and
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
equal
the object
and
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
equal
the object
and
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
equal
the fourth real number
U and
the unit of measure
and
equal
the fifth real number
U and
the third unit of measure
and
equal
the sixth real number
U and
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 106-120
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
processing a check
and
the check
is a
patient
of
the process
and
equal
the
time
of existence of
the process
and
the process
Time,
then there exist
a financial transaction
and
the financial transaction
Time such that
the financial transaction
is an
instance
of
withdrawing from an account
and
the check
is an
instrument
for
the financial transaction
and
equal
the
time
of existence of
the financial transaction
and
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 122-137
If
value
of
an object
is
a currency measure
and
a process
is an
instance
of
processing a 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
equal
the
time
of existence of
the process
and
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
equal
the
time
of existence of
the financial transaction
and
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 561-571
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 32708-32719
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 1701-1709
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 3141-3146
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 501-506
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 6189-6195
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 4817-4822
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 32679-32692
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 2046-2061
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 3202-3210
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 1993-1999
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 2045-2051
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
(=>
(
instance
?ACC
AirConditioningCondenser
)
(
hasPurpose
?ACC
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ACC)))))
Cars.kif 2037-2043
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
cooling
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?ACE
AirConditioningEvaporator
)
(
hasPurpose
?ACE
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ACE)))))
Cars.kif 2061-2067
If
a physical
is an
instance
of
air conditioning evaporator
,
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
?ACE
AirConditioningEvaporator
)
(
hasPurpose
?ACE
(
exists
(?E)
(
and
(
instance
?E
Evaporating
)
(
instrument
?E ?ACE)))))
Cars.kif 2069-2075
If
a physical
is an
instance
of
air conditioning evaporator
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
evaporating
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?ACTION
TouchSurfaceDoubleFingerSlide
)
(
exists
(?FINGER1 ?FINGER2)
(
and
(
instrument
?ACTION ?FINGER1)
(
instance
?FINGER1
Finger
)
(
instrument
?ACTION ?FINGER2)
(
not
(
equal
?FINGER1 ?FINGER2))
(
instance
?FINGER2
Finger
))))
ComputerInput.kif 1567-1575
If
a process
is an
instance
of
touch surface double finger slide
,
then there exist
an object
and
another object
such that
the object
is an
instrument
for
the process
and
the object
is an
instance
of
finger
and
the other object
is an
instrument
for
the process
and
equal
the object
and
the other object
and
the other object
is an
instance
of
finger
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
