ImmediateFutureFn
(=>
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
attribute
?A
Injury
)))
Medicine.kif 104-111
Processus
est une
instance
de
blesser
AutonomousAgent
exp
�rimente
processus
Injury
est un
attribut
de
AutonomousAgent
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?IRRIGATION
Irrigating
)
(
patient
?IRRIGATION ?AREA)
(
instance
?AREA
LandArea
))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Dry
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Damp
))))
Geography.kif 5711-5718
Processus
est une
instance
de
Irrigating
entit�
est un
patient
de
processus
entit�
est une
instance
de
zone de terre
Dry
est un
attribut
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
Damp
est un
attribut
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?JOIN))
(
employs
?ORG ?PERSON)))
Merge.kif 10620-10629
Processus
est une
instance
de
engager
AutonomousAgent
est une
instance
de
organisation
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
emploie
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Kill))
(
not
(
attribute
?Order
ActiveAgreement
))))
FinancialOntology.kif 2835-2842
Processus
est une
instance
de
CancellingAnOrder
entit�
est un
patient
de
processus
ActiveAgreement
est un
attribut
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?Loan
CallableLoan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
totalBalance
?Loan ?Amount)
(
instance
?Call
Call
)
(
agent
?Call ?Lender)
(
patient
?Call ?Loan))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
destination
?Payment ?Lender)
(
time
?Payment
(
ImmediateFutureFn
(
WhenFn
?Call)))
(
transactionAmount
?Payment ?Amount))) ?Borrower))
FinancialOntology.kif 1428-1443
Loan
est une
instance
de
CallableLoan
lender
Loan
and
agent cognitif
borrower
Loan
and
agent cognitif
totalBalance
Loan
and
mesure de devise
processus
est une
instance
de
Call
processus
est un
agent
de
agent cognitif
Loan
est un
patient
de
processus
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Security)
(
lender
?Loan ?Bank)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Loan))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Bank ?Security)))
FinancialOntology.kif 1334-1343
Loan
est une
instance
de
Loan
securedBy
Loan
and
Collateral
lender
Loan
and
agent cognitif
processus
est une
instance
de
FinancialDefault
Loan
est un
patient
de
processus
agent cognitif
poss
�de
Collateral
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?MB
MeasuringBreathing
)
(
agent
?MB ?A)
(
instance
?L
Lung
)
(
part
?L ?P)
(
instance
?T
TimeInterval
)
(
during
?T
(
WhenFn
?MB))
(
duration
?T
MinuteDuration
)
(
patient
?MB ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MB))
(
exists
(?BR)
(
knows
?A
(
breathingRate
?L ?T ?BR)))))
Medicine.kif 466-482
Processus
est une
instance
de
MeasuringBreathing
processus
est un
agent
de
AutonomousAgent
objet
est une
instance
de
Lung
objet
est une
partie
de
objet
interval temporel
est une
instance
de
interval temporel
interval temporel
prend place
pendant
temps
d'existence de
processus
la
dur
�� de
interval temporel
est
MinuteDuration
objet
est un
patient
de
processus
entit�
AutonomousAgent
conna
�t
breathingRate
objet
,
interval temporel
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?MIT
BarMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Boy
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 69-85
Processus
est une
instance
de
BarMitzvah
humain
est un
patient
de
processus
humain
est une
instance
de
Boy
humain
est un
membre
de
collection
collection
est une
instance
de
Judaism
birthdate
humain
and
jour
jour
est une
instance
de le
jour
nombre entier positif
nombre entier
position temporel
nombre entier
est une
instance
de
nombre entier
nombre entier
est
nombre entier
+ 13)
position temporel
est une
instance
de le
jour
nombre entier positif
temps
d'existence de
processus
est
apr
�s
position temporel
(=>
(
and
(
instance
?MIT
BatMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Girl
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 99-115
Processus
est une
instance
de
BatMitzvah
humain
est un
patient
de
processus
humain
est une
instance
de
Girl
humain
est un
membre
de
collection
collection
est une
instance
de
Judaism
birthdate
humain
and
jour
jour
est une
instance
de le
jour
nombre entier positif
nombre entier
position temporel
nombre entier
est une
instance
de
nombre entier
nombre entier
est
nombre entier
+ 13)
position temporel
est une
instance
de le
jour
nombre entier positif
temps
d'existence de
processus
est
apr
�s
position temporel
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))))
emotion.kif 1393-1411
Processus
est une
instance
de
MovingAwayFromPeople
processus
est un
agent
de
AutonomousAgent
entit�
entit�
,
nombre r�el
and
nombre r�el
entit�
est une
instance
de
humain
entit�
est une
instance
de
UnitOfLength
la
distance
entre
processus
et
AutonomousAgent
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
la
distance
entre
processus
et
AutonomousAgent
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D1 ?D2))))
emotion.kif 1427-1445
Processus
est une
instance
de
MovingTowardsPeople
processus
est un
agent
de
AutonomousAgent
entit�
entit�
,
nombre r�el
and
nombre r�el
entit�
est une
instance
de
humain
entit�
est une
instance
de
UnitOfLength
la
distance
entre
processus
et
AutonomousAgent
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
la
distance
entre
processus
et
AutonomousAgent
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?N
Nausea
)
(
experiencer
?N ?H))
(
believes
?H
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?N))
(
exists
(?V)
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?H))))))
Mid-level-ontology.kif 21432-21443
Processus
est une
instance
de
Nausea
agent cognitif
exp
�rimente
processus
agent cognitif
croit
entit�
entit�
est une
instance
de
Vomiting
agent cognitif
exp
�rimente
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17638-17656
Interval temporel
est une
instance
de
Pulling
interval temporel
a pour
origine
objet
interval temporel
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
AutonomousAgent
LOC
pendant
le
d
�but de
interval temporel
interval temporel
aboutit
�
entit�
entit�
entit�
and
entit�
la
distance
entre
AutonomousAgent
LOC et
entit�
est
entit�
entit�
(s) la
distance
entre
AutonomousAgent
LOC et
objet
est
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
pendant
immediatement
apr
�s le
d
�but de
interval temporel
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17616-17634
Interval temporel
est une
instance
de
Pushing
interval temporel
a pour
origine
objet
interval temporel
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
AutonomousAgent
LOC
pendant
le
d
�but de
interval temporel
interval temporel
aboutit
�
entit�
entit�
entit�
and
entit�
la
distance
entre
AutonomousAgent
LOC et
entit�
est
entit�
entit�
(s) la
distance
entre
AutonomousAgent
LOC et
objet
est
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
pendant
immediatement
apr
�s le
d
�but de
interval temporel
(=>
(
and
(
instance
?PROCESS
FreezingRain
)
(
patient
?PROCESS ?STUFF)
(
instance
?STUFF
Water
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?PROCESS))
(
attribute
?STUFF
Solid
)))
Weather.kif 1091-1096
Processus
est une
instance
de
FreezingRain
entit�
est un
patient
de
processus
entit�
est une
instance
de
eau
Solid
est un
attribut
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
Financial transaction
est une
instance
de
Payment
financial transaction
a pour
origine
CurrencyFn
FinancialAccount
FinancialAccount
est une
instance
de
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
currentAccountBalance
FinancialAccount
, immediatement
avant
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
nombre r�el
+
nombre r�el
)
currentAccountBalance
FinancialAccount
, immediatement
apr
�s
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(s)
(=>
(
and
(
instance
?R
RelievingPain
)
(
patient
?R ?H))
(
and
(
exists
(?P1)
(
and
(
overlapsTemporally
(
WhenFn
?P1)
(
ImmediatePastFn
(
WhenFn
?R)))
(
instance
?P1
Pain
)
(
located
?P1 ?H)))
(
not
(
exists
(?P2)
(
and
(
overlapsTemporally
(
WhenFn
?P2)
(
ImmediateFutureFn
(
WhenFn
?R)))
(
instance
?P2
Pain
)
(
located
?P2 ?H))))))
Mid-level-ontology.kif 5779-5798
Processus
est une
instance
de
RelievingPain
objet
est un
patient
de
processus
physique
immediatement
avant
temps
d'existence de
processus
recouvre
temps
d'existence de
physique
physique
est une
instance
de
Pain
physique
est
situ
� �
objet
physique
immediatement
apr
�s
temps
d'existence de
processus
recouvre
temps
d'existence de
physique
physique
est une
instance
de
Pain
physique
est
situ
� �
objet
(=>
(
and
(
instance
?SINKING
LandSubsidence
)
(
patient
?SINKING ?LAND)
(
instance
?LAND
LandArea
)
(
instance
?U
UnitOfLength
)
(
elevation
?LAND
(
MeasureFn
?HEIGHT1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SINKING))
(
exists
(?HEIGHT2)
(
and
(
elevation
?LAND
(
MeasureFn
?HEIGHT2 ?U))
(
lessThan
?HEIGHT2 ?HEIGHT1)))))
Geography.kif 6779-6792
Processus
est une
instance
de
LandSubsidence
objet
est un
patient
de
processus
objet
est une
instance
de
zone de terre
unit� de mesure
est une
instance
de
UnitOfLength
elevation
objet
and
nombre r�el
unit� de mesure
(s)
entit�
elevation
objet
and
entit�
unit� de mesure
(s)
entit�
est
moins
que
nombre r�el
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
exists
(?VAC)
(
and
(
instance
?VAC
Vaccine
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?V)
(
contains
?H ?VAC))))))
WMD.kif 1071-1081
Processus
est une
instance
de
Vaccination
AutonomousAgent
exp
�rimente
processus
processus
AC
processus
AC est une
instance
de
Vaccine
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
Objet
est une
instance
de
VentedChestSeal
transf�re
est une
instance
de
attacher
objectTransferred
transf�re
and
objet
transf�re
aboutit
�
entit�
objet
a pour
but
transf�re
entit�
,
entit�
and
entit�
transf�re
est une
instance
de
Air
entit�
est une
instance
de
Lung
entit�
est une
instance
de
Chest
entit�
est une
partie
de
entit�
entit�
est une
partie
de
entit�
transf�re
est
entre
entit�
et
entit�
pendant
immediatement
avant
temps
d'existence de
transf�re
objet
a pour
but
transf�re
est
Outside
�
entit�
pendant
immediatement
apr
�s
temps
d'existence de
transf�re
(=>
(
and
(
instance
?WEARING
Erosion
)
(
instance
?LAND
LandForm
)
(
patient
?WEARING ?LAND)
(
instance
?U
UnitOfVolume
)
(
measure
?LAND
(
MeasureFn
?SIZE1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WEARING))
(
exists
(?SIZE2)
(
and
(
measure
?LAND
(
MeasureFn
?SIZE2 ?U))
(
lessThan
?SIZE2 ?SIZE1)))))
Geography.kif 2689-2702
Processus
est une
instance
de
Erosion
physique
est une
instance
de
LandForm
physique
est un
patient
de
processus
unit� de mesure
est une
instance
de
UnitOfVolume
la
mesure
de
physique
est
nombre r�el
unit� de mesure
(s)
entit�
la
mesure
de
physique
est
entit�
unit� de mesure
(s)
entit�
est
moins
que
nombre r�el
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
Financial transaction
est une
instance
de
Withdrawal
FinancialAccount
est une
instance
de
FinancialAccount
financial transaction
a pour
origine
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
currentAccountBalance
FinancialAccount
, immediatement
avant
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
nombre r�el
+
nombre r�el
)
currentAccountBalance
FinancialAccount
, immediatement
apr
�s
apr
�s
financial transaction
and
nombre r�el
unit� de mesure
(s)
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
Entit�
est une
instance
de
ReadOnlyMemoryDataStorage
processus
est une
instance
de
manufacture
entit�
est le
resultat
de
processus
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
d�veloppement de contenu
entit�
est une
instance
de
DeletingData
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
entit�
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
stored
entit�
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
entit�
n' %n{pas} la
force
modale
de
Possibility
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?BDE))
(
instance
?OBJ ?LST)))
VirusProteinAndCellPart.kif 228-235
lifeStageAchieved
processus biologique
and
attribut de d�vellopement
AutonomousAgent
exp
�rimente
processus biologique
AutonomousAgent
est une
instance
de
attribut de d�vellopement
pendant
immediatement
apr
�s
temps
d'existence de
processus biologique
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
AutonomousAgent
poss
�de
objet
la
mesure
de
objet
est
nombre r�el
ShareUnit
(s)
splitFor
StockSplit
,
nombre entier
and
nombre entier
entit�
est
nombre r�el
+
nombre entier
entit�
est
entit�
+
nombre entier
la
mesure
de
objet
est
entit�
ShareUnit
(s)
pendant
immediatement
apr
�s
temps
d'existence de
StockSplit
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