DivisionFn
(=>
(
and
(
instance
?QUANTITY1
Quantity
)
(
instance
?QUANTITY2
Quantity
))
(
equal
(
LiftFn
?QUANTITY1 ?QUANTITY2)
(
DivisionFn
(
SubtractionFn
?QUANTITY1 ?QUANTITY2) ?QUANTITY2)))
UXExperimentalTerms.kif 4563-4571
If
a real number
is an
instance
of
quantity
and
another real number
is an
instance
of
quantity
,
then
equal
the
financial
improvement
percentage of
the real number
over
the other real number
and (
the real number
and
the other real number
) and
the other real number
(=>
(
and
(
instance
?R
RadiatingElectromagnetic
)
(
carrierFrequency
?R
(
MeasureFn
?HZ
Hertz
))
(
wavelength
?R
(
MeasureFn
?L
Meter
)))
(
equal
(
MeasureFn
?L
Meter
)
(
MeasureFn
(
DivisionFn
299792458 ?HZ)
Meter
)))
ComputingBrands.kif 1570-1577
If
a radiating
is an
instance
of
radiating electromagnetic
and the frequency of the carrier of
the radiating
is
a real number
hertz
(s) and the
wavelength
of
the radiating
is
another real number
meter
(s),
then
equal
the other real number
meter
(s) and 299792458 and
the real number
meter
(s)
(=>
(
and
(
instance
?SELLINGS
Collection
)
(
instance
?GMV
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMV
(
GMVFn
?SELLINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?SELLING)
(
and
(
member
?SELLING ?SELLINGS)
(
patient
?SELLING ?ITEM))))))))
(
equal
(
ASPFn
?SELLINGS)
(
DivisionFn
?GMV ?TOTAL)))
UXExperimentalTerms.kif 3282-3302
If
a collection
is an
instance
of
collection
and
a real number
is an
instance
of
currency measure
and
an integer
is an
instance
of
real number
and
equal
the real number
and the
value
of
the collection
and
equal
the integer
and the number of
instances
in the
class
described by
a symbolic string
,
then
equal
the
average
selling
price
of
the collection
and
the real number
and
the integer
(=>
(
and
(
instance
?T
ElectricalTransformer
)
(
instance
?WC1
WireCoil
)
(
instance
?WC2
WireCoil
)
(
coilCount
?WC1 ?N1)
(
coilCount
?WC2 ?N2)
(
holdsDuring
?T
(
measure
?WC1
(
MeasureFn
Volt
?V1))))
(
and
(
holdsDuring
?T
(
measure
?WC2
(
MeasureFn
Volt
?V2)))
(
equal
?V2
(
MultiplicationFn
?V1
(
DivisionFn
?N2 ?N1)))))
Cars.kif 3155-3169
If
a time position
is an
instance
of
transformer
and
a wire coil
is an
instance
of
wire coil
and
another wire coil
is an
instance
of
wire coil
and the number of coils in
the wire coil
is
an integer
and the number of coils in
the other wire coil
is
another integer
and the
measure
of
the wire coil
is
volt
a real number
(s) holds
during
the time position
,
then the
measure
of
the other wire coil
is
volt
another real number
(s) holds
during
the time position
and
equal
the other real number
and
the real number
and
the other integer
and
the integer
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?HYPERLINK
HypertextLink
)
(
forall
(?ACCESSING)
(
and
(
member
?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
component
?PAGE ?HYPERLINK)))))
(
exists
(?CLICKS)
(
and
(
instance
?CLICKS
Collection
)
(
forall
(?CLICK)
(=>
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?HYPERLINK))
(
member
?CLICK ?CLICKS)))
(
equal
(
ClickThroughRateFn
?VISITS ?HYPERLINK)
(
DivisionFn
(
CardinalityFn
?CLICKS)
(
CardinalityFn
?VISITS))))))
UXExperimentalTerms.kif 3333-3356
If
a collection
is an
instance
of
collection
and
a corpuscular object
is an
instance
of
hyperlink
and for all
a physical
the physical
is a
member
of
another collection
and
the physical
is an
instance
of
accessing web page
and
the other collection
is a
component
of
the corpuscular object
,
then there exists
a third collection
such that
the third collection
is an
instance
of
collection
and for all
a process
if
the process
is an
instance
of
requesting hyperlink
and
the corpuscular object
is a
patient
of
the process
,
then
the process
is a
member
of
the third collection
and
equal
the
rate
of clicking through
the corpuscular object
in
the collection
and the number of
instances
in
the third collection
and the number of
instances
in
the collection
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
If
a collection
is an
instance
of
collection
and
another collection
is an
instance
of
collection
and
the other collection
is a proper
sub
-collection of
the collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
accessing web page
and for all
a process
,
an agent
,, ,
another process
,, ,
the process
and
an object
if
the agent
is an
instance
of
human
and
the process
is an
instance
of
buying
and
the other process
is an
instance
of
accessing web page
and
the object
is an
instance
of
web page
and
the other process
is a
member
of
the collection
and
the other process
end
s up at
the object
and
the agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the process
takes place
during
the
time
of existence of
the other process
and
the object
is an
instrument
for
the process
,
then
the process
is a
member
of
the other collection
,
then there exist
a time interval
,
an entity
_IN_INTERVAL and
another entity
_IN_INTERVAL such that
equal
purchases
made in
the collection
during
the time interval
and the number of
instances
in the
class
described by
the entity
_IN_INTERVAL and the number of
instances
in the
class
described by
the other entity
_IN_INTERVAL
(=>
(
and
(
measure
?P1
(
MeasureFn
?N1
Lumen
))
(
measure
?P2
(
MeasureFn
?N2
Lumen
))
(
part
?P1 ?O)
(
part
?P2 ?O)
(
not
(
equal
?P1 ?P2))
(
greaterThan
?N1 ?N2)
(
equal
(
DivisionFn
?N1 ?N2) ?R)
(
contrastRatio
?O ?R))
(
not
(
exists
(?P3 ?P4 ?N3 ?N4)
(
and
(
measure
?P3
(
MeasureFn
?N3
Lumen
))
(
measure
?P4
(
MeasureFn
?N4
Lumen
))
(
part
?P3 ?O)
(
part
?P4 ?O)
(
not
(
equal
?P3 ?P4))
(
greaterThan
?N3 ?N4)
(
greaterThan
(
DivisionFn
?N3 ?N4) ?R)))))
ComputingBrands.kif 3730-3751
If the
measure
of
an object
is
a real number
lumen
(s) and the
measure
of
another object
is
another real number
lumen
(s) and
the object
is a
part
of
a third object
and
the other object
is a
part
of
the third object
and
equal
the object
and
the other object
and
the real number
is
greater
than
the other real number
and
equal
the real number
and
the other real number
and
a third real number
and the contrast ratio of
the third object
is
the third real number
,
then there don't exist
a fourth object
,
a fifth object
,, ,
a fourth real number
and
a fifth real number
such that the
measure
of
the fourth object
is
the fourth real number
lumen
(s) and the
measure
of
the fifth object
is
the fifth real number
lumen
(s) and
the fourth object
is a
part
of
the third object
and
the fifth object
is a
part
of
the third object
and
equal
the fourth object
and
the fifth object
and
the fourth real number
is
greater
than
the fifth real number
and
the fourth real number
and
the fifth real number
is
greater
than
the third real number
(=>
(
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 2246-2256
If
an agent
possess
es
an object
and the
measure
of
the object
is
a real number
share unit
(s) and
a stock split
is
split
for
an integer
for
another integer
,
then
equal
an entity
and
the real number
and
the other integer
and
equal
another entity
and
the entity
and
the integer
and the
measure
of
the object
is
the other entity
share unit
(s) holds
during
immediately
after
the
time
of existence of
the stock split
(=>
(
and
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 18089-18114
If the relative
angle
between
an object
and
another object
is
a real number
and one end of
the object
is
a third object
and one end of
the object
is
a fourth object
and
equal
the third object
and
the fourth object
and the
length
of
the object
is
the real number
1
an unit of measure
(s) and the
length
of
the other object
is
the real number
2
the unit of measure
(s) and the
distance
between
the third object
and
a fifth object
is
the real number
3
the unit of measure
(s) and one end of
the other object
is
the fifth object
and one end of
the other object
is
a sixth object
and
equal
the fifth object
and
the sixth object
and
the third object
doesn't
meet
the fifth object
,
then
equal
the real number
and the
arccosine
of ((
the real number
3 and
the real number
3 and
the real number
1 and
the real number
1) and
the real number
2 and
the real number
2) and 2.0 and
the real number
1 and
the real number
2
(=>
(
and
(
resourceConsumption
?PROC ?QUANT)
(
instance
?QUANT
FunctionQuantity
)
(
resource
?PROC ?RES)
(
equal
?QUANT
(
PerFn
(
MeasureFn
?Q ?U)
(
MeasureFn
?DC ?DU)))
(
duration
(
WhenFn
?PROC)
(
MeasureFn
?T ?DU))
(
holdsDuring
(
BeginFn
(
WhenFn
?PROC))
(
measure
?RES
(
MeasureFn
?X ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?PROC))
(
measure
?RES
(
MeasureFn
?Y ?U))))
(
equal
?Y
(
MeasureFn
(
SubtractionFn
?X
(
MultiplicationFn
?T
(
DivisionFn
?Q ?DC))) ?U)))
Mid-level-ontology.kif 18748-18774
If
a function quantity
amount as
resource
for the
Process
a process
and
the function quantity
is an
instance
of
function quantity
and
an object
is a
resource
for
the process
and
equal
the function quantity
and the
per
of
a real number
an unit of measure
(s) and
another real number
another unit of measure
(s) and
duration
of the
time
of existence of
the process
is
a third real number
the other unit of measure
(s) and the
measure
of
the object
is
a fourth real number
the unit of measure
(s) holds
during
the
beginning
of the
time
of existence of
the process
and the
measure
of
the object
is
a physical quantity
the unit of measure
(s) holds
during
the
end
of the
time
of existence of
the process
,
then
equal
the physical quantity
and (
the fourth real number
and
the third real number
and
the real number
and
the other real number
)
the unit of measure
(s)
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N1 ?N2))
Unlikely
))
Mid-level-ontology.kif 31739-31745
If the approximate value of
a real number
is
another real number
,
then the statement 0.9 is
greater
than
the real number
and
the other real number
has the
modal
force
of
unlikely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N2 ?N1))
Unlikely
))
Mid-level-ontology.kif 31747-31753
If the approximate value of
a real number
is
another real number
,
then the statement 0.9 is
greater
than
the other real number
and
the real number
has the
modal
force
of
unlikely
(=>
(
equal
(
PerCapitaFn
(
MeasureFn
?QUANTITY1 ?U) ?AREA)
(
MeasureFn
?QUANTITY2 ?U))
(
exists
(?POPULATION)
(
and
(
equal
?POPULATION
(
CardinalityFn
(
ResidentFn
?AREA)))
(
equal
?QUANTITY2
(
DivisionFn
?QUANTITY1 ?POPULATION)))))
Mid-level-ontology.kif 9229-9242
If
equal
the
per
capita
1 of %2 and
a real number
an unit of measure
(s),
then there exists
an integer
such that
equal
the integer
and the number of
instances
in the
resident
of
a geopolitical area
and
equal
the real number
and
another real number
and
the integer
(=>
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?DISTANCE
NauticalMile
)
(
MeasureFn
?TIME
HourDuration
)))
(
equal
?SPEED
(
MeasureFn
(
DivisionFn
?DISTANCE ?TIME)
KnotUnitOfSpeed
)))
Geography.kif 4180-4188
If
equal
a function quantity
and
a real number
nautical mile
(s)
per
another real number
hour duration
(s),
then
equal
the function quantity
and
the real number
and
the other real number
knot unit of speed
(s)
(=>
(
instance
?DEGREE
RealNumber
)
(
equal
(
TangentFn
?DEGREE)
(
DivisionFn
(
SineFn
?DEGREE)
(
CosineFn
?DEGREE))))
Merge.kif 5267-5273
If
a real number
is an
instance
of
real number
,
then
equal
the
tangent
of
the real number
and the
sine
of
the real number
and the
cosine
of
the real number
(=>
(
property
?PROCESS
ChemicalEquilibrium
)
(
exists
(?RATIO ?TIME ?RESOURCE ?RESULT)
(=>
(
and
(
holdsDuring
?TIME
(
resource
?PROCESS ?RESOURCE))
(
holdsDuring
?TIME
(
result
?PROCESS ?RESULT)))
(
equal
?RATIO
(
DivisionFn
?RESOURCE ?RESULT)))))
Mid-level-ontology.kif 21206-21213
If
an entity
the
attribute
chemical equilibrium
,
then there exist
a real number
,
a time position
,, ,
another real number
and
a third real number
such that
if
the other real number
is a
resource
for
the entity
holds
during
the time position
and
the third real number
is a
result
of
the entity
holds
during
the time position
,
then
equal
the real number
and
the other real number
and
the third real number
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
