MeasureFn
(=>
(
and
(
comparativeArea
?REGION1 ?RELATION ?FACTOR ?REGION2)
(
instance
?UNIT
UnitOfArea
)
(
measure
?REGION1
(
MeasureFn
?NUM1 ?UNIT))
(
measure
?REGION2
(
MeasureFn
?NUM2 ?UNIT)))
(?RELATION
(
MeasureFn
?NUM1 ?UNIT)
(
MeasureFn
(
MultiplicationFn
?FACTOR ?NUM2) ?UNIT)))
Geography.kif 792-802
If
a geographic area
comparative
area
a binary relation extended to quantities
for
a positive real number
with
another geographic area
and
an unit of measure
is an
instance
of
unit of area
and the
measure
of
the geographic area
is
a real number
the unit of measure
(s) and the
measure
of
the other geographic area
is
another real number
the unit of measure
(s),
then
the binary relation extended to quantities
the real number
the unit of measure
(s) and
the positive real number
and
the other real number
the unit of measure
(s)
(=>
(
and
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Balance
UnitedStatesDollar
))
(
lessThan
?Balance 0)
(
equal
?Overdraft
(
SubtractionFn
0 ?Balance)))
(
overdraft
?Account
(
MeasureFn
?Overdraft
UnitedStatesDollar
) ?Date))
FinancialOntology.kif 785-790
If
a financial account
current
account balance
a day
for
a real number
united states dollar
(s) and
the real number
is
less
than 0 and
equal
another real number
and (0 and
the real number
),
then
the financial account
is
overdraft
the other real number
united states dollar
(s) for
the day
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 14875-14884
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
greater
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 14886-14897
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a class
is a
subclass
of
non composite unit of measure
and
the unit of measure
is an
instance
of
the class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the class
and
the real number
UANTITY
the third entity
(s) is
greater
than
the real number
the unit of measure
(s) has the
modal
force
of
unlikely
(=>
(
and
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 14825-14836
If the
maximum
expected radius of
a kind of object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
a kind of object
and
sphere
is an
attribute
of
the other object
,
then the statement there exists
the real number
ADIUS such that the
radius
of
the other object
is
the real number
ADIUS
the unit of measure
(s) and
the real number
ADIUS is
greater
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY
(
MultiplicationFn
?Q 1.5))))
Unlikely
))
Mid-level-ontology.kif 14905-14914
If the expected
value
of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
greater
than
the real number
and 1.5 has the
modal
force
of
unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY
(
MultiplicationFn
?Q 0.5))))
Unlikely
))
Mid-level-ontology.kif 14916-14925
If the expected
value
of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
less
than
the real number
and 0.5 has the
modal
force
of
unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 14844-14853
If the
minimum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
less
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 14855-14866
If the
minimum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a class
is a
subclass
of
non composite unit of measure
and
the unit of measure
is an
instance
of
the class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the class
and
the real number
UANTITY is
less
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMinimumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
lessThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 14806-14816
If the
minimum
expected radius of
a kind of object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
a kind of object
and
sphere
is an
attribute
of
the other object
,
then the statement there exists
the real number
ADIUS such that the
radius
of
the other object
is
the real number
ADIUS
the unit of measure
(s) and
the real number
ADIUS is
less
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
downPayment
?Loan
(
MeasureFn
?Amount ?CUNIT))
(
loanForPurchase
?Loan ?Purchase)
(
monetaryValue
?Purchase
(
MeasureFn
?Value ?CUNIT))
(
equal
?Balance
(
SubtractionFn
?Value ?Amount)))
(
originalBalance
?Loan
(
MeasureFn
?Balance ?CUNIT)))
FinancialOntology.kif 820-830
If
a real number
an unit of measure
(s) is a
down
payment of
a loan
and
an object
is a
loan
for purchase of
the loan
and
value
of
the object
is
another real number
the unit of measure
(s) and
equal
a third real number
and (
the other real number
and
the real number
),
then
the third real number
the unit of measure
(s) is an
original
balance of
the loan
(=>
(
and
(
elevation
?OBJECT
(
MeasureFn
?NUM ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
instance
?OBJECT
LandForm
))
(
exists
(?HIGHPOINT)
(
and
(
top
?HIGHPOINT ?OBJECT)
(
distance
?HIGHPOINT
SeaLevel
(
MeasureFn
?NUM ?UNIT)))))
Geography.kif 2047-2055
If
a real number
an unit of measure
(s) is an
elevation
of
a self connected object
and
the unit of measure
is an
instance
of
unit of length
and
the self connected object
is an
instance
of
land form
,
then there exists
another self connected object
such that the
top
of
the self connected object
is
the other self connected object
and the
distance
between
the other self connected object
and
sea level
is
the real number
the unit of measure
(s)
(=>
(
and
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?QLIST))
(
equal
?QUANT
(
ListOrderFn
?QLIST ?N))
(
equal
?NUM
(
ListOrderFn
?NLIST ?N)))
(
equal
(
MeasureFn
?NUM ?UNIT) ?QUANT))
Weather.kif 2523-2530
If
equal
a number list
and
PhysicalQuantityToNumberFn
returns the numberic values of a list of
a measuring result list
and
equal
a physical quantity
and
an entity
element
of
the measuring result list
and
equal
a real number
and
the entity
element
of
the number list
,
then
equal
the real number
an unit of measure
(s) and
the physical quantity
(=>
(
and
(
equal
?S
CircleSector
)
(
equal
?A
CentralAngle
)
(
angleOfFigure
?A ?S)
(
equal
?L
ClosedLineSegment
)
(
sideOfFigure
?L ?A)
(
sideOfIntersection
?A ?S ?L)
(
lineMeasure
?L ?R))
(
exists
(?AC)
(
and
(
equal
?AC
CircularArc
)
(
sideOfFigure
?AC ?S)
(
arcLength
?AC ?R)
(
angularMeasure
?A
(
MeasureFn
1
Radian
)))))
Mid-level-ontology.kif 5753-5767
If
equal
a two dimensional figure
and
circle sector
and
equal
a two dimensional angle
and
central angle
and
the two dimensional angle
is the
angle
found in
the two dimensional figure
and
equal
an one dimensional figure
and
closed line segment
and the
size
of
the two dimensional angle
is
the one dimensional figure
and
the one dimensional figure
is the intersection
the two dimensional angle
and
the two dimensional figure
and
a length measure
is a
line
measure of
the one dimensional figure
,
then there exists
the two dimensional angle
C such that
equal
the two dimensional angle
C and
circular arc
and the
size
of
the two dimensional figure
is
the two dimensional angle
C and
the length measure
is the
LengthMeasure
of
the two dimensional angle
C and 1
radian
(s) is an
angular
measure of
the two dimensional angle
(=>
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
inList
?SPEED ?SPEEDLIST))
(
exists
(?TIMELIST ?INT)
(
and
(
equal
?TIMELIST
(
TimeIntervalListFn
?TIME
(
MeasureFn
3
SecondDuration
)))
(
inList
?INT ?TIMELIST)
(
equal
?SPEED
(
Mean3SecondWindSpeedFn
?PLACE ?INT)))))
Weather.kif 2690-2702
If
equal
a list
and
Mean3SecondWindSpeedListFn
ending at
a time interval
in region
a geographic area
and
a function quantity
is a
member
of
the list
,
then there exist
the time interval
LIST and
another time interval
such that
equal
the time interval
LIST and
ConsecutiveTimeIntervalList
for at
the time interval
at 3
second duration
(s) is contained in
TimeIntervalListFn
and
the other time interval
is a
member
of
the time interval
LIST and
equal
the function quantity
and
Mean3SecondWindSpeedFn
for
the other time interval
in region
the geographic area
(=>
(
and
(
freeFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 847-868
If
a kind of physical
is
free
for customers renting
a kind of hotel function room
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
an agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the process
end
s up at
a cognitive agent
and
an object
is an
instance
of
a kind of physical
and
the agent
possess
es
the object
and
the agent
is a
customer
of
the cognitive agent
and
the object
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the object
or
the cognitive agent
experience
s
the object
or
the agent
possess
es
the object
and
the object
is an
instance
of
object
and
the cognitive agent
use
s
the object
,
then
the object
is
price
0
united states dollar
(s) for
the agent
(=>
(
and
(
freePropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 548-563
If use of
a kind of physical
is free for
an agent
and
a process
is an
instance
of
a kind of physical
and
the agent
is a
customer
of
a cognitive agent
and
the process
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the process
or
the cognitive agent
experience
s
the process
or
the agent
possess
es
the process
and
the process
is an
instance
of
object
and
the cognitive agent
use
s
the process
,
then
the process
is
price
0
united states dollar
(s) for
the agent
(=>
(
and
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?O
(
MeasureFn
0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 346-361
If use of
a kind of physical
is free for
a kind of hotel unit
and
a kind of physical
is a
subclass
of
object
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
an object
is an
instance
of
the kind of physical
and
the object
is
located
at
the temporary residence
and
a process
is an
instance
of
process
and
the human
is an
agent
of
the process
and
the object
is a
patient
of
the process
or
the object
is an
instrument
for
the process
or
the object
is a
resource
for
the process
,
then
the object
is
price
0
united states dollar
(s) for
the human
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
If use of
a kind of physical
is free for
a kind of hotel unit
and
a kind of physical
is a
subclass
of
process
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
the human
is a
patient
of
a process
and
the process
is an
instance
of
the kind of physical
or
another process
is an
instance
of
the kind of physical
and
the process
is a
subprocess
of
the other process
and
the process
is
located
at
the temporary residence
,
then
the process
is
price
0.0
united states dollar
(s) for
the human
(=>
(
and
(
graphMeasure
?G ?M)
(
instance
?AN
GraphNode
)
(
graphPart
?AN ?G)
(
graphPart
?AA ?G)
(
instance
?AA
GraphArc
)
(
abstractCounterpart
?AN ?PN)
(
abstractCounterpart
?AA ?PA)
(
arcWeight
?AA ?N))
(
measure
?PA
(
MeasureFn
?N ?M)))
Merge.kif 6190-6201
If
an unit of measure
is the
unit
in
a graph
and
a graph element
is an
instance
of
graph node
and
the graph element
is a
part
of
the graph
and
a graph arc
is a
part
of
the graph
and
the graph arc
is an
instance
of
graph arc
and the
abstract
counterpart
of
a physical
is
the graph element
and the
abstract
counterpart
of
another physical
is
the graph arc
and the
value
of
the graph arc
is
a real number
,
then the
measure
of
the other physical
is
the real number
the unit of measure
(s)
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 6856-6863
If
an entity
is an
attribute
of
another entity
holds
during
a time interval
and
the other entity
is an
instance
of
chronic disease
and
duration
of
the time interval
is
a real number
,
then
the real number
is
greater
than 3
month duration
(s)
(=>
(
and
(
immediateInstance
?BIG ?CLASS)
(
immediateInstance
?NORMAL ?CLASS)
(
attribute
?BIG
Oversized
))
(
exists
(?BIGSIZE ?NORMALSIZE ?U)
(
and
(
instance
?U
UnitOfMeasure
)
(
measure
?BIG
(
MeasureFn
?BIGSIZE ?U))
(
measure
?NORMAL
(
MeasureFn
?NORMALSIZE ?U))
(
greaterThan
?BIGSIZE ?NORMALSIZE))))
Hotel.kif 1180-1192
If
an object
is an
immediate
instance of
a class
and
a physical
is an
immediate
instance of
the class
and
oversized
is an
attribute
of
the object
,
then there exist
the object
SIZE,
the physical
SIZE and
an unit of measure
such that
the unit of measure
is an
instance
of
unit of measure
and the
measure
of
the object
is
the object
SIZE
the unit of measure
(s) and the
measure
of
the physical
is
the physical
SIZE
the unit of measure
(s) and
the object
SIZE is
greater
than
the physical
SIZE
(=>
(
and
(
immediateInstance
?X ?CLASS)
(
immediateInstance
?Y ?CLASS)
(
attribute
?X
ColdTemperature
)
(
attribute
?Y
HotTemperature
))
(
exists
(?TEMPX ?TEMPY ?UNIT)
(
and
(
measure
?X
(
MeasureFn
?TEMPX ?UNIT))
(
instance
?UNIT
UnitOfTemperature
)
(
instance
?TEMPX
TemperatureMeasure
)
(
measure
?Y
(
MeasureFn
?TEMPY ?UNIT))
(
instance
?TEMPY
TemperatureMeasure
)
(
greaterThan
?TEMPY ?TEMPX))))
Mid-level-ontology.kif 27620-27635
If
an object
is an
immediate
instance of
a class
and
another object
is an
immediate
instance of
the class
and
cold
is an
attribute
of
the object
and
hot
is an
attribute
of
the other object
,
then there exist
a real number
,
another real number
and
an unit of measure
such that the
measure
of
the object
is
the real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of temperature
and
the real number
is an
instance
of
temperature measure
and the
measure
of
the other object
is
the other real number
the unit of measure
(s) and
the other real number
is an
instance
of
temperature measure
and
the other real number
is
greater
than
the real number
(=>
(
and
(
incomeEarned
?Agent
(
MeasureFn
?Income ?CU) ?Activity)
(
amountCharged
?Tax
(
MeasureFn
?TaxAmount ?CU))
(
causes
?Activity ?Tax)
(
equal
?ATIncome
(
SubtractionFn
?Income ?TaxAmount)))
(
afterTaxIncome
?Agent
(
MeasureFn
?ATIncome ?CU) ?Activity))
FinancialOntology.kif 3348-3358
If
a human
is
income
earned
a real number
an unit of measure
(s) for
an organizational process
and
another real number
the unit of measure
(s) is the
amount
charged
in
a charging a fee
and
the organizational process
cause
s
the charging a fee
and
equal
a third real number
and (
the real number
and
the other real number
),
then the
after
tax
income
derived by
the human
from
the organizational process
is
the third real number
the unit of measure
(s)
(=>
(
and
(
instance
?A
AstronomicalBody
)
(
approximateDiameter
?A
(
MeasureFn
?D ?U))
(
instance
?U
UnitOfLength
)
(
instance
?P
PointInSpace
)
(
part
?P ?A))
(
exists
(?C)
(
and
(
equal
?C
(
CenterOfPlanetFn
?A))
(
distance
?C ?P
(
MeasureFn
(
DivisionFn
?D 2.0) ?U)))))
Mid-level-ontology.kif 27453-27467
If
a self connected object
is an
instance
of
astronomical body
and the
approximate
diameter
of
the self connected object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of length
and
an object
is an
instance
of
point in space
and
the object
is a
part
of
the self connected object
,
then there exists
a point in space
such that
equal
the point in space
and the centre of
AstronomicalBody
the self connected object
is and the
distance
between
the point in space
and
the object
is
the real number
and 2.0
the unit of measure
(s)
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