agent
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
Fisico
Entidade
e' uma
instancia
de
HotelFunctionRoom
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
Fisico
e' uma
sub
-classe de
Objeto
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
recurso
para
Entidade
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
experimenta
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
ChronicFatigueSyndrome
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Recreacao ou Exercicio
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
o argumento
PostExertionalMalaise
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
2
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
2 tem a
forca
modal
de
Likely
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 480-489
AutonomousAgent
deseja
Dead
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
AutonomousAgent
URDER e' uma
instancia
de
Murder
AutonomousAgent
URDER e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
AutonomousAgent
URDER
Intervalo Temporal
acontence
antes
de
tempo
de existencia de
AutonomousAgent
URDER
Premeditated
e' um
atributo
de
AutonomousAgent
URDER
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
Dieting
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Dieting
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Meal
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
recurso
para
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
a
medida
de
Objeto
e'
Numero Real
Calorie
(s)
Objeto
e' uma
instancia
de
Meal
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
recurso
para
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
a
medida
de
Objeto
e'
Numero Real
Calorie
(s)
o argumento
Numero Real
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9839-9861
Objeto
e' uma
instancia
de
Antacid
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
antes
de
tempo
de existencia de
Movimento
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
apos
tempo
de existencia de
Movimento
phMeasure
Objeto
and
Numero Real
phMeasure
Objeto
and
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?A
Apologizing
)
(
agent
?A ?AG)
(
destination
?A ?P))
(
exists
(?ACT)
(
and
(
suffers
?ACT ?P)
(
agent
?ACT ?AG)
(
holdsDuring
(
WhenFn
?A)
(
not
(
wants
?AG ?ACT))))))
Mid-level-ontology.kif 29620-29632
Processo
e' uma
instancia
de
Apologizing
Processo
e' um
agente
de
Processo
G
Processo
termina
em
AutonomousAgent
Processo
CT
suffers
Processo
CT and
AutonomousAgent
Processo
CT e' um
agente
de
Processo
G
Processo
G nao
quer
%n
Processo
CT
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
Biped
)
(
instance
?W
Ambulating
)
(
agent
?W ?A))
(
modalAttribute
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
part
?L1 ?A)
(
part
?L2 ?A)
(
instrument
?W ?L1)
(
instrument
?W ?L2)))
Likely
))
Mid-level-ontology.kif 4411-4425
AutonomousAgent
e' uma
instancia
de
Biped
Processo
e' uma
instancia
de
Ambulating
Processo
e' um
agente
de
AutonomousAgent
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Leg
Entidade
e' uma
instancia
de
Leg
Entidade
e' uma &parte de
AutonomousAgent
Entidade
e' uma &parte de
AutonomousAgent
Entidade
e' um
instrumento
para
Processo
Entidade
e' um
instrumento
para
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?A
Herbivore
)
(
agent
?E ?A)
(
instance
?E
Eating
)
(
patient
?E ?F))
(
instance
?F
Plant
))
Mid-level-ontology.kif 20066-20072
AutonomousAgent
e' uma
instancia
de
Herbivore
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Comer
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Planta
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9900-9922
Objeto
e' uma
instancia
de
ProtonPumpInhibitor
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
antes
de
tempo
de existencia de
Movimento
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
apos
tempo
de existencia de
Movimento
phMeasure
Objeto
and
Numero Real
phMeasure
Objeto
and
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?ABORTED
(
AbortedMissionFn
?A ?MISSION))
(
causes
?ACTION ?ABORTED)
(
agent
?ACTION ?OTHER_A)
(
agent
?MISSION ?THIS_A))
(
not
(
enemy
?OTHER_A ?THIS_A)))
MilitaryProcesses.kif 2440-2445
Processo
e' uma
instancia
de
AbortedMissionFn
AutonomousAgent
and
MilitaryOperation
AutonomousAgent
CTION
causa
Processo
AutonomousAgent
CTION e' um
agente
de
Entidade
_A
MilitaryOperation
e' um
agente
de
Entidade
_A
enemy
Entidade
_A and
Entidade
_A
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17143-17164
Processo
e' uma
instancia
de
Accelerating
Processo
e' um
agente
de
AutonomousAgent
Numero Real
Numero Real
,
Numero Real
,
Numero Real
,
Entidade
and
Entidade
a
medida
de
AutonomousAgent
e'
Numero Real
Entidade
(s)
por
Numero Real
Entidade
(s)
vale
durante o
comeco
de
tempo
de existencia de
Processo
a
medida
de
AutonomousAgent
e'
Numero Real
Entidade
(s)
por
Numero Real
Entidade
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
instance
?TRANSFER
DataTransfer
)
(
instance
?SERVER
Server
)
(
instance
?REQUESTING
Requesting
)
(
instance
?BROWSER
WebBrowser
)
(
instance
?INTERVAL
TimeInterval
)
(
patient
?ACCESSING ?PAGE)
(
agent
?REQUESTING ?BROWSER)
(
destination
?REQUESTING ?SERVER)
(
patient
?REQUESTING ?PAGE)
(
origin
?TRANSFER ?SERVER)
(
destination
?TRANSFER ?BROWSER)
(
patient
?TRANSFER ?PAGE)
(
subProcess
?TRANSFER ?ACCESSING)
(
subProcess
?REQUESTING ?ACCESSING)
(
equal
(
EndFn
(
WhenFn
?REQUESTING))
(
BeginFn
?INTERVAL))
(
equal
(
EndFn
(
WhenFn
?TRANSFER))
(
EndFn
?INTERVAL)))
(
equal
(
SiteSpeedFn
?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3759-3784
AccessingWebPage
e' uma
instancia
de
AccessingWebPage
Entidade
e' uma
instancia
de
WebPage
Processo
e' uma
instancia
de
DataTransfer
Objeto
e' uma
instancia
de
Server
Processo
e' uma
instancia
de
Pedir
AutonomousAgent
e' uma
instancia
de
WebBrowser
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Entidade
e' um
patient
de
AccessingWebPage
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Objeto
Entidade
e' um
patient
de
Processo
Processo
tem como
origem
Objeto
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
AccessingWebPage
Processo
e' um
sub
-processo de
AccessingWebPage
o
fim
de
tempo
de existencia de
Processo
e'
igual
a o
comeco
de
Intervalo Temporal
o
fim
de
tempo
de existencia de
Processo
e'
igual
a o
fim
de
Intervalo Temporal
SiteSpeedFn
AccessingWebPage
e'
igual
a
Intervalo Temporal
(=>
(
and
(
instance
?ACT
OrganizationalProcess
)
(
agent
?ACT ?AGENT))
(
or
(
instance
?AGENT
Organization
)
(
exists
(?ORG)
(
and
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG)))))
Merge.kif 10540-10549
Processo
e' uma
instancia
de
Processo Organizacional
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organizacao
Colecao
Colecao
e' uma
instancia
de
Organizacao
AutonomousAgent
e'
membro
de
Colecao
(=>
(
and
(
instance
?ACT
ReligiousProcess
)
(
agent
?ACT ?AGENT))
(
or
(
instance
?AGENT
ReligiousOrganization
)
(
exists
(?ORG)
(
and
(
member
?AGENT ?ORG)
(
instance
?ORG
ReligiousOrganization
)))))
Merge.kif 10562-10571
Processo
e' uma
instancia
de
Processo Religioso
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organizacao Religiosa
Colecao
AutonomousAgent
e'
membro
de
Colecao
Colecao
e' uma
instancia
de
Organizacao Religiosa
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
agent
?AMBULATE ?AGENT))
(
attribute
?AGENT
Standing
))
Merge.kif 18063-18067
Processo
e' uma
instancia
de
Ambulating
Processo
e' um
agente
de
AutonomousAgent
Standing
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?AMBULATE ?AGENT))
(
agent
?STEP ?AGENT))
Mid-level-ontology.kif 516-522
Processo
e' uma
instancia
de
Ambulating
Processo
e' uma
instancia
de
Stepping
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?STEP ?AGENT))
(
agent
?AMBULATE ?AGENT))
Mid-level-ontology.kif 524-530
Processo
e' uma
instancia
de
Ambulating
Processo
e' uma
instancia
de
Stepping
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?AMBUSH
Ambush
)
(
agent
?AMBUSH ?AG))
(
exists
(?C)
(
and
(
instance
?C
Concealing
)
(
subProcess
?C ?AMBUSH)
(
hasPurpose
?C
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AG)))))))
Mid-level-ontology.kif 21757-21769
Processo
e' uma
instancia
de
Ambush
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Concealing
Processo
e' um
sub
-processo de
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Attack
Entidade
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?APR
AirPhotographicReconnaissance
)
(
agent
?APR ?AGENT)
(
patient
?APR ?HOSTILE))
(
exists
(?PHOTOGRAPHING)
(
and
(
instance
?PHOTOGRAPHING
Photographing
)
(
subProcess
?PHOTOGRAPHING ?APR)
(
agent
?PHOTOGRAPHING ?AGENT)
(
patient
?PHOTOGRAPHING ?HOSTILE))))
MilitaryProcesses.kif 753-763
Processo
e' uma
instancia
de
AirPhotographicReconnaissance
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Photographing
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?AR
AmphibiousReconnaissance
)
(
agent
?AR ?AGENT))
(
exists
(?LANDING)
(
and
(
subProcess
?LANDING ?AR)
(
instance
?LANDING
LandingWaterLand
)
(
agent
?LANDING ?AGENT))))
MilitaryProcesses.kif 782-790
Processo
e' uma
instancia
de
AmphibiousReconnaissance
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
LandingWaterLand
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
Processo
e' uma
instancia
de
ArmedReconnaissance
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
enemy
Agente Cognitivo
and
Entidade
vale
durante
tempo
de existencia de
Processo
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Attack
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
(=>
(
and
(
instance
?ARREST
PlacingUnderArrest
)
(
agent
?ARREST ?AGENT))
(
instance
?AGENT
CognitiveAgent
))
Mid-level-ontology.kif 23482-23486
Processo
e' uma
instancia
de
PlacingUnderArrest
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Agente Cognitivo
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?OBJ
Object
)
(
patient
?ATC ?OBJ)
(
agent
?ATC ?USER))
(
exists
(?COLL ?SITE ?AFTER ?INTERVAL)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
webcart
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?ATC))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1326-1342
Intervalo Temporal
e' uma
instancia
de
AddToCart
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Colecao
WebSite
,
Posicao Temporal
and
Intervalo Temporal
Colecao
e' uma
instancia
de
Colecao
WebSite
e' uma
instancia
de
WebSite
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
webcart
AutonomousAgent
,
Colecao
and
WebSite
o
comeco
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
Entidade
e'
membro
de
Colecao
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?USER
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?ATC ?USER)
(
patient
?ATC ?OBJ))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 1312-1324
Processo
e' uma
instancia
de
AddToCart
Agente Cognitivo
e' uma
instancia
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
(=>
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?OBJ))
(
hasPurposeForAgent
?ATTACK
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?OBJ))) ?AGENT))
Merge.kif 13409-13418
Processo
e' uma
instancia
de
Attack
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
tem
finalidade
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' um
patient
de
Entidade
para
AutonomousAgent
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