hasPurpose
(=>
(
and
(
instance
?DIO
DefensiveInformationOperation
)
(
agent
?DIO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
desires
?ENEMY
(
knows
?ENEMY ?FORMULA))
(
desires
?AGENT
(
not
(
knows
?ENEMY ?FORMULA))))
(
hasPurpose
?DIO
(
not
(
knows
?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
If
a process
is an
instance
of
defensive information operation
and
a cognitive agent
is an
agent
of
the process
and
the cognitive agent
and
another cognitive agent
are enemies of each other and
the other cognitive agent
desire
s
the other cognitive agent
know
s
an entity
and
the cognitive agent
desire
s
the other cognitive agent
doesn't
know
the entity
,
then
the process
has the purpose
the other cognitive agent
doesn't
know
the entity
(=>
(
and
(
instance
?E
Electrocardiography
)
(
patient
?E ?H)
(
agent
?E ?D)
(
attribute
?D
MedicalDoctor
))
(
hasPurpose
?E
(
knows
?D
(
exists
(?T)
(
truth
(
attribute
?H
(
ImpairedBodyPartFn
Heart
)) ?T)))))
Medicine.kif 3449-3460
If
a process
is an
instance
of
electrocardiography
and
an entity
is a
patient
of
the process
and
an agent
is an
agent
of
the process
and
medical doctor
is an
attribute
of
the agent
,
then
the process
has the purpose
the agent
know
s there exists
another entity
such that
impaired body part fn
heart
is an
attribute
of
the entity
is
the other entity
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
If
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
crankcase
and
a physical
is an
instance
of
piston
and
a process
is an
instance
of
two stroke transfer
and
the physical
is
located
at
the object
holds
during
the process
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then
the physical
has the purpose
the physical
partially
fill
s
the hole
holds
during
the process
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
If
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
a physical
is an
instance
of
piston
and
a process
is an
instance
of
two stroke intake
and
the physical
is
located
at
the object
holds
during
the process
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then
the physical
has the purpose
the physical
partially
fill
s
the hole
holds
during
the process
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1717-1733
If
a corpuscular object
is an
instance
of
exhaust
and
the corpuscular object
is
made
of
fuel
and
a transfer
is an
instance
of
transfer
and
the corpuscular object
NG is an
instance
of
engine
and
the transfer
originate
s at
the corpuscular object
NG and
a physical
is an
instance
of
catalytic converter
and
the transfer
end
s up at
the physical
and the object transferred in
the transfer
is
the corpuscular object
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
burning
and
the physical
is an
instrument
for
the entity
and
the corpuscular object
is a
patient
of
the entity
and
the entity
is
located
at
the physical
(=>
(
and
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2811-2830
If
an object
is an
instance
of
internal combustion engine
and
another object
is an
instance
of
combustion chamber
and
the other object
is a
part
of
the object
and
an entity
is an
instance
of
fuel
and
another entity
is an
instance
of
unit of volume
and
the other object
contain
s
the entity
and the
measure
of
the entity
is
a third entity
the other entity
(s) and
engine flooded
is an
attribute
of
the object
holds
during
a time position
,
then
the other object
has the purpose there don't exist
the entity
2 and
a fifth entity
such that
the entity
2 is an
instance
of
fuel
and
the other object
contain
s
the entity
2 and the
measure
of
the entity
2 is
the fifth entity
the other entity
(s) and
the fifth entity
is
greater
than or equal to
the third entity
(=>
(
and
(
instance
?ECS
EngineCoolingSystem
)
(
instance
?E
Engine
)
(
instance
?A
Automobile
)
(
part
?ECS ?A)
(
part
?E ?A))
(
hasPurpose
?ECS
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ECS)
(
patient
?C ?E)))))
Cars.kif 2142-2154
If
an object
is an
instance
of
engine cooling system
and
another object
is an
instance
of
engine
and
a third object
is an
instance
of
automobile
and
the object
is a
part
of
the third object
and
the other object
is a
part
of
the third object
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
cooling
and
the object
is an
instrument
for
the entity
and
the other object
is a
patient
of
the entity
(=>
(
and
(
instance
?EDUCATION
EducationalProcess
)
(
patient
?EDUCATION ?PERSON))
(
hasPurpose
?EDUCATION
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
patient
?LEARN ?PERSON)))))
Merge.kif 11631-11639
If
a process
is an
instance
of
educational process
and
an entity
is a
patient
of
the process
,
then
the process
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
learning
and
the entity
is a
patient
of
the other entity
(=>
(
and
(
instance
?EF
Exfiltration
)
(
agent
?EF ?AGENT))
(
exists
(?PRET ?ENEMY)
(
and
(
instance
?PRET
Pretending
)
(
agent
?PRET ?AGENT)
(
patient
?PRET ?ENEMY)
(
hasPurpose
?PRET
(
believes
?ENEMY
(
not
(
exists
(?EF0)
(
equal
?EF0 ?EF))))))))
MilitaryProcesses.kif 257-270
If
a process
is an
instance
of
exfiltration
and
an agent
is an
agent
of
the process
,
then there exist
another process
and
an entity
such that
the other process
is an
instance
of
pretending
and
the agent
is an
agent
of
the other process
and
the entity
is a
patient
of
the other process
and
the other process
has the purpose
the entity
believe
s there doesn't exist
the process
0 such that
the process
0 is
equal
to
the process
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?E
Engine
)
(
connectedEngineeringComponents
?EG ?E)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?R ?P ?M)
(
and
(
instance
?P
Device
)
(
part
?P ?E)
(
instance
?R
Rotating
)
(
holdsDuring
(
WhenFn
?R)
(
and
(
measure
?P
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2930-2948
If
an engineering component
is an
instance
of
governor
and
another engineering component
is an
instance
of
engine
and
the engineering component
is
connected
to
the other engineering component
and the maximum speed allowed by
the other engineering component
is
a real number
miles per hour
(s),
then
the engineering component
has the purpose there don't exist
an entity
,
another entity
and
a third entity
such that
the other entity
is an
instance
of
device
and
the other entity
is a
part
of
the other engineering component
and
the entity
is an
instance
of
rotating
and the
measure
of
the other entity
is
the third entity
miles per hour
(s) and
the third entity
is
greater
than
the real number
holds
during
the
time
of existence of
the entity
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?V
Vehicle
)
(
connectedEngineeringComponents
?EG ?V)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?T ?M)
(
and
(
instance
?T
Translocation
)
(
holdsDuring
(
WhenFn
?T)
(
and
(
measure
?V
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2957-2973
If
an engineering component
is an
instance
of
governor
and
another engineering component
is an
instance
of
vehicle
and
the engineering component
is
connected
to
the other engineering component
and the maximum speed allowed by
a governor
is
a real number
miles per hour
(s),
then
the engineering component
has the purpose there don't exist
an entity
and
another entity
such that
the entity
is an
instance
of
translocation
and the
measure
of
the other engineering component
is
the other entity
miles per hour
(s) and
the other entity
is
greater
than
the real number
holds
during
the
time
of existence of
the entity
(=>
(
and
(
instance
?F
Scholarship
)
(
destination
?F ?H))
(
hasPurpose
?F
(
exists
(?EP ?P)
(
and
(
instance
?EP
EducationalProgram
)
(
realization
?P ?EP)
(
experiencer
?P ?H)))))
Mid-level-ontology.kif 7231-7240
If
a process
is an
instance
of
scholarship
and
the process
end
s up at
an entity
,
then
the process
has the purpose there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
educational program
and
the third entity
express
es the content of
the other entity
and
the entity
experience
s
the third entity
(=>
(
and
(
instance
?FB
FanBelt
)
(
instance
?EF
EngineFan
)
(
instance
?A
Automobile
)
(
part
?FB ?A)
(
part
?EF ?A)
(
instance
?M
Motion
)
(
patient
?M ?FB))
(
hasPurpose
?FB
(
exists
(?M2)
(
and
(
instance
?M2
Rotating
)
(
causes
?M ?M2)
(
patient
?M2 ?EF)))))
Cars.kif 2730-2744
If
an object
is an
instance
of
fan belt
and
another object
is an
instance
of
engine fan
and
a third object
is an
instance
of
automobile
and
the object
is a
part
of
the third object
and
the other object
is a
part
of
the third object
and
a process
is an
instance
of
motion
and
the object
is a
patient
of
the process
,
then
the object
has the purpose there exists
the process
2 such that
the process
2 is an
instance
of
rotating
and
the process
cause
s
the process
2 and
the other object
is a
patient
of
the process
2
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
If
a process
is an
instance
of
foreign internal defense
and
an agent
is an
agent
of
the process
and
another agent
experience
s
the process
,
then
the process
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
learning
and
the entity
experience
s
the other entity
and
the agent
is an
agent
of
the other entity
and
the other agent
is a
military
of area of
the entity
or
the entity
is an
instance
of
military force
and
the entity
is
located
at
the other agent
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP)
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)
(
path
?T ?P))
(
hasPurpose
?T
(
exists
(?FF)
(
and
(
instance
?FF
FuelFilter
)
(
betweenOnPath
?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
If
an object
is an
instance
of
fuel pump
and
another object
is an
instance
of
automobile
and
the object
is a
part
of
the other object
and
a motion
is an
instance
of
transportation
and
a process
is an
instance
of
fuel
and
the process
is a
patient
of
the motion
and
the object
is an
instrument
for
the process
and
a third object
is an
instance
of
gas tank
and
the third object
is a
part
of
the other object
and
a fourth object
is an
instance
of
engine cylinder
and
the fourth object
is a
part
of
the other object
and
the motion
originate
s at
the third object
and
the motion
end
s up at
the fourth object
and
a fifth object
is
path
along which
the motion
occurs,
then
the motion
has the purpose there exists
the process
F such that
the process
F is an
instance
of
fuel filter
and
the third object
between
on path
the process
F for
the fourth object
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP))
(
hasPurpose
?FP
(
exists
(?GT ?EC)
(
and
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)))))
Cars.kif 1051-1068
If
an object
is an
instance
of
fuel pump
and
another object
is an
instance
of
automobile
and
the object
is a
part
of
the other object
and
a process
is an
instance
of
transportation
and
another process
is an
instance
of
fuel
and
the other process
is a
patient
of
the process
and
the object
is an
instrument
for
the other process
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
gas tank
and
the entity
is a
part
of
the other object
and
the other entity
is an
instance
of
engine cylinder
and
the other entity
is a
part
of
the other object
and
the process
originate
s at
the entity
and
the process
end
s up at
the other entity
(=>
(
and
(
instance
?G
Garden
)
(
plantInArea
Plant
?G))
(
hasPurpose
?G
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
eventLocated
?R ?G)))))
Mid-level-ontology.kif 8154-8162
If
a cultivated land area
is an
instance
of
garden
and
plant
Located
in
the cultivated land area
.,
then
the cultivated land area
has the purpose there exists
an entity
such that
the entity
is an
instance
of
recreation or exercise
and
the entity
is
located
at
the cultivated land area
(=>
(
and
(
instance
?G
GramStaining
)
(
agent
?G ?H)
(
patient
?G ?B))
(
hasPurpose
?G
(
knows
?H
(
exists
(?S)
(
and
(
instance
?S
GramStainAttribute
)
(
attribute
?B ?S))))))
Medicine.kif 5369-5379
If
a process
is an
instance
of
Gram stain
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the process
has the purpose
the agent
know
s there exists
another entity
such that
the other entity
is an
instance
of
Gram stain
and
the other entity
is an
attribute
of
the entity
(=>
(
and
(
instance
?G
SpeedGovernor
)
(
governorSpeed
?V
(
MeasureFn
?S
MilesPerHour
))
(
connectedEngineeringComponents
?G ?V))
(
hasPurpose
?G
(
not
(
exists
(?SP2)
(
and
(
measure
?V
(
MeasureFn
?SP2
MilesPerHour
))
(
greaterThan
?SP2 ?S))))))
Cars.kif 2909-2921
If
an engineering component
is an
instance
of
governor
and the maximum speed allowed by
another engineering component
is
a real number
miles per hour
(s) and
the engineering component
is
connected
to
the other engineering component
,
then
the engineering component
has the purpose there doesn't exist
the real number
P2 such that the
measure
of
the other engineering component
is
the real number
P2
miles per hour
(s) and
the real number
P2 is
greater
than
the real number
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
If
a telecom number
is an
instance
of
hotline
and
the telecom number
is the
telephone
number
of
an agent
and
the agent
is an
instance
of
organization
,
then
the telecom number
has the purpose there exists
an entity
such that
the entity
is an
instance
of
telephoning
and
the entity
end
s up at
the agent
and the statement there exists
another entity
such that
the other entity
is an
instance
of
communication
and
the telecom number
is an
instrument
for
the other entity
and the
beginning
of the
time
of existence of
the other entity
is
equal
to the
beginning
of immediately
after
the
time
of existence of
the entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?H
Hunting
)
(
patient
?H ?P))
(
hasPurpose
?H
(
exists
(?PROC)
(
and
(
patient
?PROC ?P)
(
or
(
instance
?PROC
Confining
)
(
instance
?PROC
Killing
))))))
Merge.kif 12910-12920
If
a process
is an
instance
of
hunting
and
an entity
is a
patient
of
the process
,
then
the process
has the purpose there exists
the entity
ROC such that
the entity
is a
patient
of
the entity
ROC and
the entity
ROC is an
instance
of
confining
or
the entity
ROC is an
instance
of
killing
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
If
an agent
is an
instance
of
man
and
mausaharati
is an
attribute
of
the agent
and
a process
is an
instance
of
drumming
and
the agent
is an
agent
of
the process
and
the process
AY is an
instance
of
day
and
another time interval
is an
instance
of
sunrise
and
the other time interval
takes place
during
the process
AY and the
time
of existence of
the process
happens
earlier
than
the other time interval
,
then
the process
has the purpose there exist
an entity
,
the other time interval
UHUR and
a third entity
such that
the third entity
is an
instance
of
waking up
and
the entity
experience
s
the third entity
and
the other time interval
UHUR is an
instance
of
suhur
and
the entity
is an
agent
of
the other time interval
UHUR and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the other time interval
UHUR and the
time
of existence of
the third entity
takes place
during
the process
AY and the
time
of existence of
the other time interval
UHUR takes place
during
the process
AY
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
If
a wearable item
is an
instance
of
hearing protection
and
an animal
is an
instance
of
human
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and
the other entity
is a
subclass
of the
class
described by
the third entity
and
the entity
prevent
s the occurrence of
the other entity
and
the wearable item
is an
instrument
for
the entity
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 17352-17368
If
a process
is an
instance
of
immigrating
and
an agent
is an
agent
of
the process
,
then there exist
a geopolitical area
and
another geopolitical area
such that
the geopolitical area
is an
instance
of
nation
and
the other geopolitical area
is an
instance
of
nation
and
the process
originate
s at
the geopolitical area
and
the process
end
s up at
the other geopolitical area
and
the geopolitical area
is not
equal
to
the other geopolitical area
and
the agent
is a
member
of the
citizenry
of
the geopolitical area
and
the agent
is not a
member
of the
citizenry
of
the other geopolitical area
and
the process
has the purpose
the agent
live
s in
the other geopolitical area
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
hasPurpose
?I
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
instrument
?B ?T)))))
Medicine.kif 4123-4133
If
a transfer
is an
instance
of
Intubation
and
an object
is an
instance
of
tube
and the object transferred in
the transfer
is
the object
and
an agent
experience
s
the transfer
,
then
the transfer
has the purpose there exists
an entity
such that
the entity
is an
instance
of
breathing
and
the object
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