origin
(=>
(
instance
?E
Exhaling
)
(
exists
(?L)
(
and
(
instance
?L
Lung
)
(
origin
?E ?L))))
Mid-level-ontology.kif 11305-11310
If
a process
is an
instance
of
exhaling
,
then there exists
an object
such that
the object
is an
instance
of
lung
and
the process
originate
s at
the object
(=>
(
instance
?EM
ExhaustManifold
)
(
hasPurpose
?EM
(
exists
(?A ?E ?C ?M ?T)
(
and
(
instance
?A
Automobile
)
(
instance
?E
Exhaust
)
(
instance
?C
EngineCylinder
)
(
instance
?M
AutomobileMuffler
)
(
instance
?T
Transfer
)
(
part
?EM ?A)
(
part
?C ?A)
(
part
?M ?A)
(
origin
?T ?C)
(
destination
?T ?M)
(
patient
?T ?E)
(
instrument
?T ?E)))))
Cars.kif 2629-2645
If
a physical
is an
instance
of
exhaust manifold
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
and
a fifth entity
such that
the entity
is an
instance
of
automobile
and
the other entity
is an
instance
of
exhaust
and
the third entity
is an
instance
of
engine cylinder
and
the fourth entity
is an
instance
of
muffler
and
the fifth entity
is an
instance
of
transfer
and
the physical
is a
part
of
the entity
and
the third entity
is a
part
of
the entity
and
the fourth entity
is a
part
of
the entity
and
the fifth entity
originate
s at
the third entity
and
the fifth entity
end
s up at
the fourth entity
and
the other entity
is a
patient
of
the fifth entity
and
the other entity
is an
instrument
for
the fifth entity
(=>
(
instance
?FILTER
AbsoluteFilter
)
(
hasPurpose
?FILTER
(
exists
(?REMOVE ?GAS)
(
and
(
instance
?REMOVE
Removing
)
(
origin
?REMOVE ?GAS)
(
instance
?GAS
GasMixture
)
(
instrument
?REMOVE ?FILTER)))))
MilitaryDevices.kif 1368-1376
If
a physical
is an
instance
of
absolute filter
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
removing
and
the entity
originate
s at
the other entity
and
the other entity
is an
instance
of
gas mixture
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?FILTER
AirFilter
)
(
hasPurpose
?FILTER
(
exists
(?REMOVE ?AIR ?NONAIR ?MIX)
(
and
(
instance
?REMOVE
Removing
)
(
part
?AIR ?MIX)
(
instance
?AIR
Air
)
(
not
(
instance
?NONAIR
Air
))
(
attribute
?NONAIR
Solid
)
(
patient
?REMOVE ?NONAIR)
(
part
?NONAIR ?MIX)
(
origin
?REMOVE ?MIX)
(
instance
?MIX
Mixture
)
(
instrument
?REMOVE ?FILTER)))))
Cars.kif 943-958
If
a physical
is an
instance
of
air filter
,
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
removing
and
the other entity
is a
part
of
the fourth entity
and
the other entity
is an
instance
of
air
and
the third entity
is not an
instance
of
air
and
solid
is an
attribute
of
the third entity
and
the third entity
is a
patient
of
the entity
and
the third entity
is a
part
of
the fourth entity
and
the entity
originate
s at
the fourth entity
and
the fourth entity
is an
instance
of
mixture
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?FILTER
Filter
)
(
hasPurpose
?FILTER
(
exists
(?REMOVE ?M)
(
and
(
instance
?REMOVE
Removing
)
(
origin
?REMOVE ?M)
(
instance
?M
Mixture
)
(
instrument
?REMOVE ?FILTER)))))
Mid-level-ontology.kif 2523-2531
If
a physical
is an
instance
of
filter
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
removing
and
the entity
originate
s at
the other entity
and
the other entity
is an
instance
of
mixture
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?FILTER
FuelFilter
)
(
hasPurpose
?FILTER
(
exists
(?REMOVE ?FUEL ?NONFUEL ?SOLUTION)
(
and
(
instance
?REMOVE
Removing
)
(
part
?FUEL ?SOLUTION)
(
instance
?FUEL
Fuel
)
(
not
(
instance
?NONFUEL
Fuel
))
(
patient
?REMOVE ?NONFUEL)
(
part
?NONFUEL ?SOLUTION)
(
origin
?REMOVE ?SOLUTION)
(
instance
?SOLUTION
Solution
)
(
instrument
?REMOVE ?FILTER)))))
Cars.kif 922-936
If
a physical
is an
instance
of
fuel filter
,
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
removing
and
the other entity
is a
part
of
the fourth entity
and
the other entity
is an
instance
of
fuel
and
the third entity
is not an
instance
of
fuel
and
the third entity
is a
patient
of
the entity
and
the third entity
is a
part
of
the fourth entity
and
the entity
originate
s at
the fourth entity
and
the fourth entity
is an
instance
of
solution
and
the physical
is an
instrument
for
the entity
(=>
(
instance
?G
Gasket
)
(
hasPurpose
?G
(
exists
(?O1 ?O2)
(
and
(
instance
?O1
CorpuscularObject
)
(
instance
?O2
CorpuscularObject
)
(
meetsSpatially
?O1 ?G)
(
meetsSpatially
?O2 ?G)
(
not
(
exists
(?H ?D ?T ?O)
(
and
(
instance
?H
HoleRegion
)
(
equal
?G
(
HoleHostFn
?H))
(
instance
?T
Translocation
)
(
path
?T ?H)
(
origin
?T ?O)
(
destination
?T ?D)
(
contains
?O1 ?O)
(
not
(
contains
?O1 ?D))
(
meetsSpatially
?O1 ?D)
(
not
(
exists
(?O3)
(
and
(
contains
?H ?O3)
(
not
(
contains
?O1 ?O3))
(
not
(
contains
?O2 ?O3))))))))))))
Cars.kif 2843-2872
If
a physical
is an
instance
of
gasket
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
corpuscular object
and
the other entity
is an
instance
of
corpuscular object
and
the entity
meet
s
the physical
and
the other entity
meet
s
the physical
and there don't exist
a third entity
,
a fourth entity
,, ,
a fifth entity
and
a sixth entity
such that
the third entity
is an
instance
of
hole
and
the physical
is
equal
to the
host
of the hole
the third entity
and
the fifth entity
is an
instance
of
translocation
and
the third entity
is
path
along which
the fifth entity
occurs and
the fifth entity
originate
s at
the sixth entity
and
the fifth entity
end
s up at
the fourth entity
and
the entity
contain
s
the sixth entity
and
the entity
doesn't
contain
the fourth entity
and
the entity
meet
s
the fourth entity
and there doesn't exist
the sixth entity
3 such that
the third entity
contain
s
the sixth entity
3 and
the entity
doesn't
contain
the sixth entity
3 and
the other entity
doesn't
contain
the sixth entity
3
(=>
(
instance
?GT
GasTank
)
(
hasPurpose
?GT
(
exists
(?F ?T ?E)
(
and
(
instance
?F
Fuel
)
(
contains
?GT ?F)
(
instance
?E
Engine
)
(
instance
?T
Transfer
)
(
origin
?T ?GT)
(
destination
?T ?E)
(
patient
?T ?F)))))
Cars.kif 1000-1011
If
a physical
is an
instance
of
gas tank
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
fuel
and
the physical
contain
s
the entity
and
the third entity
is an
instance
of
engine
and
the other entity
is an
instance
of
transfer
and
the other entity
originate
s at
the physical
and
the other entity
end
s up at
the third entity
and
the entity
is a
patient
of
the other entity
(=>
(
instance
?Investment
TaxFreeInvestment
)
(
not
(
exists
(?Tax)
(
and
(
instance
?Tax
Tax
)
(
origin
?Tax ?Investment)))))
FinancialOntology.kif 2129-2135
If
an object
is an
instance
of
tax free investment
,
then there doesn't exist
a process
such that
the process
is an
instance
of
tax
and
the process
originate
s at
the object
(=>
(
instance
?Investment
TaxableInvestment
)
(
exists
(?Tax)
(
and
(
instance
?Tax
Tax
)
(
origin
?Tax ?Investment))))
FinancialOntology.kif 2139-2144
If
an object
is an
instance
of
taxable investment
,
then there exists
a process
such that
the process
is an
instance
of
tax
and
the process
originate
s at
the object
(=>
(
instance
?L
Sunlight
)
(
origin
?L
Sol
))
Geography.kif 3358-3360
If
a process
is an
instance
of
sunlight
,
then
the process
originate
s at
sol
(=>
(
instance
?Loan
ConsolidationLoan
)
(
exists
(?Loan1 ?Loan2 ?Payment1 ?Payment2)
(
and
(
instance
?Loan1
Loan
)
(
instance
?Loan2
Loan
)
(
destination
?Payment1
(
CurrencyFn
?Loan1))
(
destination
?Payment2
(
CurrencyFn
?Loan2))
(
origin
?Payment1
(
CurrencyFn
?Loan))
(
origin
?Payment2
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 1523-1532
If
a financial account
is an
instance
of
consolidation loan
,
then there exist
the financial account
1,
the financial account
2,, ,
a process
and
another process
such that
the financial account
1 is an
instance
of
loan
and
the financial account
2 is an
instance
of
loan
and
the process
end
s up at the
currency
of
the financial account
1 and
the other process
end
s up at the
currency
of
the financial account
2 and
the process
originate
s at the
currency
of
the financial account
and
the other process
originate
s at the
currency
of
the financial account
(=>
(
instance
?MINE
Mine
)
(
hasPurpose
?MINE
(
exists
(?REMOVE ?MINERAL)
(
and
(
instance
?REMOVE
Removing
)
(
patient
?REMOVE ?MINERAL)
(
instance
?MINERAL
Mineral
)
(
origin
?REMOVE ?MINE)))))
Mid-level-ontology.kif 6746-6754
If
a physical
is an
instance
of
mine
,
then
the physical
has the purpose there exist
an entity
and
the physical
RAL such that
the entity
is an
instance
of
removing
and
the physical
RAL is a
patient
of
the entity
and
the physical
RAL is an
instance
of
mineral
and
the entity
originate
s at
the physical
(=>
(
instance
?MODULE
WebPageModule
)
(
hasPurpose
?MODULE
(
exists
(?TRANSFER ?ORIGIN ?MODULE_SERVER)
(
and
(
instance
?TRANSFER
DataTransfer
)
(
instance
?MODULE_SERVER
PageModuleServer
)
(
instance
?ORIGIN ?MODULE_SERVER)
(
origin
?TRANSFER ?MODULE_SERVER)
(
destination
?TRANSFER ?MODULE)))))
UXExperimentalTerms.kif 2012-2021
If
a physical
is an
instance
of
module
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
the physical
_SERVER such that
the entity
is an
instance
of
data transfer
and
the physical
_SERVER is an
instance
of
page module server
and
the other entity
is an
instance
of
the physical
_SERVER and
the entity
originate
s at
the physical
_SERVER and
the entity
end
s up at
the physical
(=>
(
instance
?MS
MuakharSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
holdsDuring
?T1
(
wife
?W ?H))
(
not
(
holdsDuring
?T2
(
wife
?W ?H)))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 285-299
If
a time interval
is an
instance
of
muakhar sadaq
,
then there exist
an agent
,
an entity
,, ,
another time interval
and
a third time interval
such that
the agent
is an
agent
of
the time interval
and
the time interval
originate
s at
the agent
and
the time interval
end
s up at
the entity
and
the entity
is the
wife
of
the agent
holds
during
the other time interval
and
the entity
is the
wife
of
the agent
doesn't hold
during
the third time interval
and
the other time interval
finish
es
the time interval
and
the other time interval
happens
before
the third time interval
and
the third time interval
start
s
the time interval
(=>
(
instance
?MS
MuqaddamSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
not
(
holdsDuring
?T1
(
wife
?W ?H)))
(
holdsDuring
?T2
(
wife
?W ?H))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 305-319
If
a time interval
is an
instance
of
muqaddam sadaq
,
then there exist
an agent
,
an entity
,, ,
another time interval
and
a third time interval
such that
the agent
is an
agent
of
the time interval
and
the time interval
originate
s at
the agent
and
the time interval
end
s up at
the entity
and
the entity
is the
wife
of
the agent
doesn't hold
during
the other time interval
and
the entity
is the
wife
of
the agent
holds
during
the third time interval
and
the other time interval
finish
es
the time interval
and
the other time interval
happens
before
the third time interval
and
the third time interval
start
s
the time interval
(=>
(
instance
?O
Object
)
(
capability
Translocation
origin
?O))
Merge.kif 854-856
If
an object
is an
instance
of
object
,
then
the object
is
capable
of doing
translocation
as a
origin
(=>
(
instance
?ORDER
OperationOrder
)
(
exists
(?SUPERIORCOMMANDER ?SUBORDINATECOMMANDER ?MILITARY)
(
and
(
agent
?ORDER ?SUPERIORCOMMANDER)
(
origin
?ORDER ?SUPERIORCOMMANDER)
(
destination
?ORDER ?SUBORDINATECOMMANDER)
(
instance
?SUPERIORCOMMANDER
MilitaryCommander
)
(
instance
?SUBORDINATECOMMANDER
MilitaryCommander
)
(
subordinatePosition
?MILITARY ?SUBORDINATECOMMANDER ?SUPERIORCOMMANDER)
(
instance
?MILITARY
MilitaryForce
))))
MilitaryProcesses.kif 1663-1673
If
a process
is an
instance
of
operation order
,
then there exist
an agent
,
a position
and
an organization
such that
the agent
is an
agent
of
the process
and
the process
originate
s at
the agent
and
the process
end
s up at
the position
and
the agent
is an
instance
of
military commander
and
the position
is an
instance
of
military commander
and
the organization
is
subordinate
position
the position
for
the agent
and
the organization
is an
instance
of
military force
(=>
(
instance
?P
Phishing
)
(
exists
(?FS ?V ?M ?I)
(
and
(
instance
?M
Communication
)
(
origin
?M ?FS)
(
agent
?P ?FS)
(
destination
?M ?V)
(
instance
?I
Formula
)
(
knows
?V ?I)
(
not
(
desires
?V
(
knows
?FS ?I)))
(
desires
?FS
(
knows
?FS ?I)))))
ComputingBrands.kif 4235-4249
If
a process
is an
instance
of
phishing
,
then there exist
a cognitive agent
,
another cognitive agent
,, ,
another process
and
a formula
such that
the other process
is an
instance
of
communication
and
the other process
originate
s at
the cognitive agent
and
the cognitive agent
is an
agent
of
the process
and
the other process
end
s up at
the other cognitive agent
and
the formula
is an
instance
of
formula
and
the other cognitive agent
know
s
the formula
and
the other cognitive agent
doesn't
desire
the cognitive agent
know
s
the formula
and
the cognitive agent
desire
s
the cognitive agent
know
s
the formula
(=>
(
instance
?P
Urination
)
(
exists
(?B)
(
and
(
instance
?B
Bladder
)
(
origin
?P ?B))))
Mid-level-ontology.kif 11278-11283
If
a process
is an
instance
of
urination
,
then there exists
an object
such that
the object
is an
instance
of
bladder
and
the process
originate
s at
the object
(=>
(
instance
?PCVV
PositiveCrankcaseVentilationValve
)
(
hasPurpose
?PCVV
(
exists
(?CR ?F ?CC ?T ?A)
(
and
(
instance
?CR
Crankcase
)
(
instance
?F
Fuel
)
(
instance
?CC
CombustionChamber
)
(
instance
?T
Transfer
)
(
instance
?A
Automobile
)
(
part
?CR ?A)
(
part
?CC ?A)
(
part
?PCVV ?A)
(
origin
?T ?CR)
(
destination
?T ?CC)
(
objectTransferred
?T ?F)
(
path
?T ?PCVV)))))
Cars.kif 3818-3834
If
a physical
is an
instance
of
positive crankcase ventilation valve
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
and
a fifth entity
such that
the entity
is an
instance
of
crankcase
and
the other entity
is an
instance
of
fuel
and
the third entity
is an
instance
of
combustion chamber
and
the fourth entity
is an
instance
of
transfer
and
the fifth entity
is an
instance
of
automobile
and
the entity
is a
part
of
the fifth entity
and
the third entity
is a
part
of
the fifth entity
and
the physical
is a
part
of
the fifth entity
and
the fourth entity
originate
s at
the entity
and
the fourth entity
end
s up at
the third entity
and the object transferred in
the fourth entity
is
the other entity
and
the physical
is
path
along which
the fourth entity
occurs
(=>
(
instance
?POUR
Pouring
)
(
exists
(?LIQUID ?CONTAINER1 ?CONTAINER2)
(
and
(
origin
?POUR ?CONTAINER1)
(
destination
?POUR ?CONTAINER2)
(
instance
?CONTAINER1
Container
)
(
instance
?CONTAINER2
Container
)
(
not
(
equal
?CONTAINER1 ?CONTAINER2))
(
patient
?POUR ?LIQUID)
(
attribute
?LIQUID
Liquid
)
(
instance
?LIQUID
Substance
))))
Mid-level-ontology.kif 17538-17549
If
a process
is an
instance
of
pouring
,
then there exist
an object
,
another object
and
an entity
such that
the process
originate
s at
the other object
and
the process
end
s up at
the entity
and
the other object
is an
instance
of
container
and
the entity
is an
instance
of
container
and
the other object
is not
equal
to
the entity
and
the object
is a
patient
of
the process
and
liquid
is an
attribute
of
the object
and
the object
is an
instance
of
substance
(=>
(
instance
?PS
PayStub
)
(
exists
(?FT ?O ?E)
(
and
(
instance
?FT
FinancialTransaction
)
(
origin
?FT ?O)
(
destination
?FT ?E)
(
refers
?PS ?FT))))
Medicine.kif 3386-3393
If
an entity
is an
instance
of
paystub
,
then there exist
a process
,
an object
and
another entity
such that
the process
is an
instance
of
financial transaction
and
the process
originate
s at
the object
and
the process
end
s up at
the other entity
and
the entity
includes a
reference
to
the process
(=>
(
instance
?PS
PowerSource
)
(
exists
(?RE)
(
and
(
instance
?RE
RadiatingElectromagnetic
)
(
origin
?RE ?PS))))
Mid-level-ontology.kif 2566-2571
If
an object
is an
instance
of
power source
,
then there exists
a process
such that
the process
is an
instance
of
radiating electromagnetic
and
the process
originate
s at
the object
(=>
(
instance
?PW
PurifiedWater
)
(
exists
(?R ?W ?S)
(
and
(
instance
?R
Removing
)
(
origin
?R ?W)
(
instance
?W
Water
)
(
patient
?R ?S)
(
instance
?S
Substance
)
(
part
?S ?W)
(
result
?R ?PW))))
Food.kif 248-258
If
an entity
is an
instance
of
purified water
,
then there exist
a process
,
an object
and
another object
such that
the process
is an
instance
of
removing
and
the process
originate
s at
the object
and
the object
is an
instance
of
water
and
the other object
is a
patient
of
the process
and
the other object
is an
instance
of
substance
and
the other object
is a
part
of
the object
and
the entity
is a
result
of
the process
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