(=>     (and         (instance ?B Object)         (roastedToTemperature ?B ?T))     (exists (?H)         (and             (instance ?H Heating)             (patient ?H ?B)             (holdsDuring                 (EndFn                     (WhenFn ?H))                 (measure ?B                     (MeasureFn ?T CelsiusDegree))))))	Food.kif 468-478	If a food is an instance of object and a real number is the temperature at which the food is roasted to, then there exists a process such that the process is an instance of heating and the food is a patient of the process and the measure of the food is the real number celsius degree(s) holds during the end of the time of existence of the process
(=>     (and         (instance ?Bond ZeroCouponBond)         (maturityDate             (AccountFn ?Bond) ?Date)         (possesses ?BondHolder ?Bond)         (principalAmount             (AccountFn ?Bond)             (MeasureFn ?Principal ?CUNIT))         (agreementPeriod             (AccountFn ?Bond) ?Period)         (interestEarned             (AccountFn ?Bond)             (MeasureFn ?Interest ?CUNIT) ?Period)         (equal ?Total             (AdditionFn ?Principal ?Interest)))     (exists (?Payment)         (and             (instance ?Payment Payment)             (destination ?Payment ?BondHolder)             (origin ?Payment                 (AccountFn ?Bond))             (transactionAmount ?Payment                 (MeasureFn ?Total ?CUNIT)))))	FinancialOntology.kif 2350-2372	If a financial asset is an instance of zero coupon bond and a day is a maturity date of the account of the financial asset and the financial assetHolder possesses the financial asset and a real number an unit of measure(s) is a principal amount of the account of the financial asset and a time interval is an agreement period of the account of the financial asset and the account of the financial asset is interest earned another real number the unit of measure(s) for the time interval and a third real number is equal to (the real number and the other real number), then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the financial assetHolder and the financial transaction originates at the account of the financial asset and the third real number the unit of measure(s) is a transaction amount of the financial transaction
(=>     (and         (instance ?C CheckingVitals)         (agent ?C ?A)         (patient ?C ?P)         (instance ?H Heart)         (part ?H ?P)         (instance ?L Lung)         (part ?L ?P)         (holdsDuring             (WhenFn ?C)             (and                 (systolicBloodPressure ?P ?SYS)                 (diastolicBloodPressure ?P ?DIA)                 (measure ?P                     (MeasureFn ?T FahrenheitDegree))))         (heartRate ?H             (WhenFn ?C) ?I)         (breathingRate ?L             (WhenFn ?C) ?R))     (knows ?A         (and             (holdsDuring                 (WhenFn ?C)                 (and                     (systolicBloodPressure ?P ?SYS)                     (diastolicBloodPressure ?P ?DIA)                     (measure ?P                         (MeasureFn ?T FahrenheitDegree))))             (heartRate ?H                 (WhenFn ?C) ?I)             (breathingRate ?L                 (WhenFn ?C) ?R))))	Medicine.kif 6523-6547	If a process is an instance of checking vitals and a cognitive agent is an agent of the process and an object is a patient of the process and a heart is an instance of heart and the heart is a part of the object and a lung is an instance of lung and the lung is a part of the object and the systolic blood pressure of the object is an entity and the diastolic blood pressure of the object is another entity and the measure of the object is a third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of an integer beats per the time of existence of the process and the lung breathes at a rate of another integer breaths per the time of existence of the process, then the cognitive agent knows the systolic blood pressure of the object is the entity and the diastolic blood pressure of the object is the other entity and the measure of the object is the third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of the integer beats per the time of existence of the process and the lung breathes at a rate of the other integer breaths per the time of existence of the process
(=>     (and         (instance ?C CurdlingMilk)         (instance ?M Milk)         (patient ?C ?M))     (exists (?PH ?D ?H ?L)         (and             (measure ?M                 (MeasureFn ?PH PHValue))             (instance ?D Decreasing)             (subProcess ?D ?C)             (patient ?D ?PH)             (holdsDuring                 (BeginFn                     (WhenFn ?D))                 (equal ?PH ?H)                 (approximateValue ?H 6.5))             (holdsDuring                 (EndFn                     (WhenFn ?D))                 (equal ?PH ?L)                 (approximateValue ?L 4.5)))))	Food.kif 3233-3254	If a process is an instance of curdling milk and a physical is an instance of milk and the physical is a patient of the process, then there exist a real number, another process,, , an entity and another entity such that the measure of the physical is the real number PH value(s) and the other process is an instance of decreasing and the other process is a subprocess of the process and the real number is a patient of the other process and the real number is equal to the entity holds during the beginning of the time of existence of the other process and the real number is equal to the other entity holds during the end of the time of existence of the other process
(=>     (and         (instance ?COOL Cooling)         (patient ?COOL ?OBJ))     (exists (?UNIT ?QUANT1 ?QUANT2)         (and             (instance ?UNIT TemperatureMeasure)             (holdsDuring                 (BeginFn                     (WhenFn ?COOL))                 (equal                     (MeasureFn ?OBJ ?UNIT) ?QUANT1))             (holdsDuring                 (EndFn                     (WhenFn ?COOL))                 (equal                     (MeasureFn ?OBJ ?UNIT) ?QUANT2))             (lessThan ?QUANT2 ?QUANT1))))	Merge.kif 11084-11097	If a process is an instance of cooling and an entity is a patient of the process, then there exist another entity, a real number and another real number such that the other entity is an instance of temperature measure and the entity the other entity(s) is equal to the real number holds during the beginning of the time of existence of the process and the entity the other entity(s) is equal to the other real number holds during the end of the time of existence of the process and the other real number is less than the real number
(=>     (and         (instance ?D Decelerating)         (agent ?D ?A))     (exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?D))                 (measure ?A                     (SpeedFn                         (MeasureFn ?L1 ?U1)                         (MeasureFn ?T1 ?U2))))             (holdsDuring                 (EndFn                     (WhenFn ?D))                 (measure ?A                     (SpeedFn                         (MeasureFn ?L2 ?U1)                         (MeasureFn ?T2 ?U2))))             (or                 (greaterThan ?L1 ?L2)                 (greaterThan ?T1 ?T2)))))	Mid-level-ontology.kif 18558-18578	If a process is an instance of decelerating and an agent is an agent of the process, then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the real number is greater than the other real number or the third real number is greater than the fourth real number
(=>     (and         (instance ?D Decreasing)         (patient ?D ?OBJ))     (exists (?N1 ?N2 ?T1 ?T2 ?U)         (and             (earlier ?T1 ?T2)             (holdsDuring ?T1                 (measure ?OBJ                     (MeasureFn ?N1 ?U)))             (holdsDuring ?T2                 (measure ?OBJ                     (MeasureFn ?N2 ?U)))             (lessThan ?N1 ?N2))))	Merge.kif 11064-11077	If a process is an instance of decreasing and an entity is a patient of the process, then there exist a real number, another real number,, , a time interval,, , another time interval and another entity such that the time interval happens earlier than the other time interval and the measure of the entity is the real number the other entity(s) holds during the time interval and the measure of the entity is the other real number the other entity(s) holds during the other time interval and the real number is less than the other real number
(=>     (and         (instance ?D Increasing)         (patient ?D ?OBJ))     (exists (?N1 ?N2 ?T1 ?T2 ?U)         (and             (earlier ?T1 ?T2)             (holdsDuring ?T1                 (measure ?OBJ                     (MeasureFn ?N1 ?U)))             (holdsDuring ?T2                 (measure ?OBJ                     (MeasureFn ?N2 ?U)))             (greaterThan ?N1 ?N2))))	Merge.kif 11022-11035	If a process is an instance of increasing and an entity is a patient of the process, then there exist a real number, another real number,, , a time interval,, , another time interval and another entity such that the time interval happens earlier than the other time interval and the measure of the entity is the real number the other entity(s) holds during the time interval and the measure of the entity is the other real number the other entity(s) holds during the other time interval and the real number is greater than the other real number
(=>     (and         (instance ?D QuantityChange)         (patient ?D ?OBJ))     (exists (?N1 ?N2 ?T1 ?T2 ?U)         (and             (earlier ?T1 ?T2)             (holdsDuring ?T1                 (measure ?OBJ                     (MeasureFn ?N1 ?U)))             (holdsDuring ?T2                 (measure ?OBJ                     (MeasureFn ?N2 ?U)))             (not                 (equal ?N1 ?N2)))))	Merge.kif 11001-11014	If a process is an instance of quantity change and an entity is a patient of the process, then there exist another entity, a third entity,, , a time interval,, , another time interval and a fourth entity such that the time interval happens earlier than the other time interval and the measure of the entity is the other entity the fourth entity(s) holds during the time interval and the measure of the entity is the third entity the fourth entity(s) holds during the other time interval and the other entity is not equal to the third entity
(=>     (and         (instance ?DUSTSTORM DustStorm)         (instance ?WIND Wind)         (subProcess ?DUSTSTORM ?WIND))     (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)         (and             (instance ?A1 LandArea)             (eventLocated ?WIND ?A1)             (surfaceWindSpeed ?A1                 (MeasureFn ?STRONG KnotUnitOfSpeed))             (greaterThan ?STRONG 30.0)             (instance ?TRANSLOCATE Translocation)             (subProcess ?TRANSLOCATE ?DUSTSTORM)             (objectTransferred ?TRANSLOCATE ?PM)             (objectTransferred ?TRANSLOCATE ?SAND)             (instance ?PM ParticulateMatter)             (instance ?SAND Sand)             (instance ?A2 LandArea)             (destination ?TRANSLOCATE ?A2)             (not                 (overlapsSpatially ?A1 ?A2)))))	Weather.kif 1793-1814	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30.0 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
(=>     (and         (instance ?Deposit Deposit)         (instance ?Account FinancialAccount)         (destination ?Deposit             (CurrencyFn ?Account))         (transactionAmount ?Deposit             (MeasureFn ?Amount ?CUNIT))         (currentAccountBalance ?Account             (ImmediatePastFn                 (WhenFn ?Deposit))             (MeasureFn ?Balance1 ?CUNIT))         (equal ?Balance2             (AdditionFn ?Balance1 ?Amount)))     (currentAccountBalance ?Account         (ImmediateFutureFn             (FutureFn ?Deposit))         (MeasureFn ?Balance2 ?CUNIT)))	FinancialOntology.kif 438-455	If a financial transaction is an instance of deposit and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the financial account current account balance immediately after after the financial transaction for the third real number the unit of measure(s)
(=>     (and         (instance ?Downtick Downtick)         (patient ?Downtick ?Stock)         (equal             (WhenFn ?Downtick) ?Time1)         (instance ?U UnitOfCurrency)         (price ?Stock             (MeasureFn ?Price1 ?U) ?Time1))     (exists (?Transaction ?Time2 ?Price2)         (and             (instance ?Transaction StockMarketTransaction)             (patient ?Transaction ?Stock)             (equal                 (WhenFn ?Transaction) ?Time2)             (meetsTemporally ?Time2 ?Time1)             (price ?Stock                 (MeasureFn ?Price2 ?U) ?Time2)             (greaterThan ?Price2 ?Price1))))	FinancialOntology.kif 3251-3267	If a process is an instance of downtick and a physical is a patient of the process and the time of existence of the process is equal to an agent and an unit of measure is an instance of unit of currency and the physical is price a real number the unit of measure(s) for the agent, then there exist another process, another agent and another real number such that the other process is an instance of stock market transaction and the physical is a patient of the other process and the time of existence of the other process is equal to the other agent and the other agent meets the agent and the physical is price the other real number the unit of measure(s) for the other agent and the other real number is greater than the real number
(=>     (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 2795-2814	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 contains 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 entity2 and a fifth entity such that the entity2 is an instance of fuel and the other object contains the entity2 and the measure of the entity2 is the fifth entity the other entity(s) and the fifth entity is greater than or equal to the third entity
(=>     (and         (instance ?EC EngineCycle)         (instance ?E InternalCombustionEngine)         (instance ?CC CombustionChamber)         (part ?CC ?E)         (eventLocated ?EC ?E)         (instance ?U UnitOfVolume)         (holdsDuring             (WhenFn ?EC)             (maxCylinderVolume ?E                 (MeasureFn ?V1 ?U))))     (not         (exists (?V2 ?T)             (and                 (during ?T                     (WhenFn ?EC))                 (holdsDuring ?T                     (measure ?CC                         (MeasureFn ?V2 ?U)))                 (greaterThan ?V2 ?V1)))))	Cars.kif 1882-1901	If a process is an instance of engine cycle and 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 the process is located at the object and an entity is an instance of unit of volume and the maximum volume of the cylinders in the engine the object is a real number the entity(s) holds during the time of existence of the process, then there don't exist another real number and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other real number the entity(s) holds during the time interval and the other real number is greater than the real number
(=>     (and         (instance ?EC EngineCycle)         (instance ?E InternalCombustionEngine)         (instance ?CC CombustionChamber)         (part ?CC ?E)         (eventLocated ?EC ?E)         (instance ?U UnitOfVolume)         (holdsDuring             (WhenFn ?EC)             (minCylinderVolume ?E                 (MeasureFn ?V1 ?U))))     (not         (exists (?V2 ?T)             (and                 (during ?T                     (WhenFn ?EC))                 (holdsDuring ?T                     (measure ?CC                         (MeasureFn ?V2 ?U)))                 (greaterThan ?V1 ?V2)))))	Cars.kif 1852-1871	If a process is an instance of engine cycle and 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 the process is located at the object and an entity is an instance of unit of volume and the minimum volume of the cylinders in the engine the object is a real number the entity(s) holds during the time of existence of the process, then there don't exist another real number and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other real number the entity(s) holds during the time interval and the real number is greater than the other real number
(=>     (and         (instance ?EC EngineCycle)         (instance ?E InternalCombustionEngine)         (instance ?P Piston)         (instance ?U UnitOfLength)         (part ?P ?E)         (patient ?EC ?P)         (eventLocated ?EC ?E)         (pistonStroke ?E             (MeasureFn ?LM ?U)))     (not         (exists (?T1 ?T2 ?L1 ?L2 ?D)             (and                 (during ?T1                     (WhenFn ?EC))                 (during ?T2                     (WhenFn ?EC))                 (holdsDuring ?T1                     (located ?P ?L1))                 (holdsDuring ?T2                     (located ?P ?L2))                 (distance ?L1 ?L2                     (MeasureFn ?D ?U))                 (greaterThan ?D ?LM)))))	Cars.kif 1927-1949	If a process is an instance of engine cycle and an engine is an instance of internal combustion engine and an object is an instance of piston and an unit of measure is an instance of unit of length and the object is a part of the engine and the object is a patient of the process and the process is located at the engine and the maximum distance that the pistons of engine the engine travel is a real number the unit of measure(s), then there don't exist a time interval, another time interval,, , a physical,, , another physical and another real number such that the time interval takes place during the time of existence of the process and the other time interval takes place during the time of existence of the process and the object is located at the physical holds during the time interval and the object is located at the other physical holds during the other time interval and the distance between the physical and the other physical is the other real number the unit of measure(s) and the other real number is greater than the real number
(=>     (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 2914-2932	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 2941-2957	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 ?ELECTION             (ElectionFn ?POLITY))         (instance ?ACT             (VotingFn ?ELECTION))         (agent ?ACT ?AGENT)         (suffrageAgeMaximum ?POLITY             (MeasureFn ?VOTINGAGE YearDuration)))     (exists (?AGE)         (and             (age ?AGENT                 (MeasureFn ?AGE YearDuration))             (lessThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 1024-1035	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age maximum of the agent, then there exists another real number such that the age of the other agent is the other real number year duration(s) and the other real number is less than or equal to the real number
(=>     (and         (instance ?ELECTION             (ElectionFn ?POLITY))         (instance ?ACT             (VotingFn ?ELECTION))         (agent ?ACT ?AGENT)         (suffrageAgeMinimum ?POLITY             (MeasureFn ?VOTINGAGE YearDuration)))     (exists (?AGE)         (and             (age ?AGENT                 (MeasureFn ?AGE YearDuration))             (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 952-963	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age minimum of the agent, then there exists another real number such that the age of the other agent is the other real number year duration(s) and the other real number is greater than or equal to the real number
(=>     (and         (instance ?Exercise ExerciseAnOption)         (patient ?Exercise ?Option)         (property ?Option CallOption)         (time ?Exercise ?Time)         (underlier ?Option ?Stocks))     (exists (?Buy)         (and             (instance ?Buy Buying)             (patient ?Buy ?Stocks)             (time ?Buy ?Time)             (measure ?Stocks                 (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2771-2783	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute call option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of buying and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 share unit(s)
(=>     (and         (instance ?Exercise ExerciseAnOption)         (patient ?Exercise ?Option)         (property ?Option PutOption)         (time ?Exercise ?Time)         (underlier ?Option ?Stocks))     (exists (?Sell)         (and             (instance ?Sell Selling)             (patient ?Sell ?Stocks)             (time ?Sell ?Time)             (measure ?Stocks                 (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2785-2797	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute put option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of selling and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 share unit(s)
(=>     (and         (instance ?F Flooding)         (eventLocated ?F ?P))     (exists (?L1 ?L2 ?U)         (and             (instance ?U UnitOfLength)             (holdsDuring                 (BeginFn                     (WhenFn ?F))                 (waterDepth ?P                     (MeasureFn ?L1 ?U)))             (holdsDuring                 (EndFn                     (WhenFn ?F))                 (waterDepth ?P                     (MeasureFn ?L2 ?U)))             (greaterThan ?L2 ?L1))))	Mid-level-ontology.kif 19136-19151	If a process is an instance of flooding and the process is located at an object, then there exist a real number, another real number and an entity such that the entity is an instance of unit of length and the real number the entity(s) is a water depth of the object holds during the beginning of the time of existence of the process and the other real number the entity(s) is a water depth of the object holds during the end of the time of existence of the process and the other real number is greater than the real number
(=>     (and         (instance ?G Grain)         (grainSize ?G ?L))     (approximateDiameter ?G         (MeasureFn ?L UnitOfLength)))	Food.kif 1084-1089	If a self connected object is an instance of grain and a real number is the diameter in UnitOFLength of the self connected object, then the approximate diameter of the self connected object is the real number unit of length(s)
(=>     (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 2893-2905	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 numberP2 such that the measure of the other engineering component is the real numberP2 miles per hour(s) and the real numberP2 is greater than the real number
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