equal
(=>
(
and
(
concentration
(
MeasureFn
?N1 ?U) ?S
(
MeasureFn
?N2 ?U2) ?M)
(
instance
?SI ?S)
(
part
?SI ?M)
(
measure
?SI
(
MeasureFn
?N3 ?U3))
(
part
?SI ?M)
(
not
(
instance
?SI2 ?S))
(
not
(
equal
?SI ?SIE2))
(
part
?SI2 ?M)
(
measure
?M
(
MeasureFn
?N2 ?U2)))
(
approximateValue
?N1 ?N3))
Medicine.kif 234-249
If the
concentration
of
a kind of substance
in
a mixture
is
a real number
an unit of measure
(s) per
another real number
the unit of measure
2(s) and
a kind of substance
I is an
instance
of
the kind of substance
and
the kind of substance
I is a
part
of
the mixture
and the
measure
of
the kind of substance
I is
a third real number
the unit of measure
3(s) and
the kind of substance
I is a
part
of
the mixture
and
the kind of substance
I2 is not an
instance
of
the kind of substance
and
the kind of substance
I is not
equal
to
the kind of substance
IE2 and
the kind of substance
I2 is a
part
of
the mixture
and the
measure
of
the mixture
is
the other real number
the unit of measure
2(s),
then the approximate value of
the real number
is
the third real number
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?CONFIDENCE 100))
(
truth
?FORMULA
False
))
UXExperimentalTerms.kif 549-556
If
a real number
is the
confidence
in
an experimenting
and
the experimenting
is an
instance
of
experimenting
and
a sentence
is an
instance
of
formula
and
the sentence
is a
patient
of
the experimenting
and
the real number
is
equal
to 100,
then
the sentence
is
false
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?CONFIDENCE 100))
(
truth
?FORMULA
True
))
UXExperimentalTerms.kif 540-547
If
a real number
is the
confidence
in
an experimenting
and
the experimenting
is an
instance
of
experimenting
and
a sentence
is an
instance
of
formula
and
the sentence
is a
patient
of
the experimenting
and
the real number
is
equal
to 100,
then
the sentence
is
true
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
If @ROW is the
opposite
of and
an attribute
is
equal
to
another entity
element
of (@ROW) and
another attribute
is
equal
to
a third entity
element
of (@ROW) and
a positive integer
is not
equal
to
another positive integer
and
a fourth entity
the
attribute
the attribute
,
then
the fourth entity
does not have the
attribute
the other attribute
(=>
(
and
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Balance
UnitedStatesDollar
))
(
lessThan
?Balance 0)
(
equal
?Overdraft
(
SubtractionFn
0 ?Balance)))
(
overdraft
?Account
(
MeasureFn
?Overdraft
UnitedStatesDollar
) ?Date))
FinancialOntology.kif 783-788
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
another real number
is
equal
to (0 and
the real number
),
then
the financial account
is
overdraft
the other real number
united states dollar
(s) for
the day
(=>
(
and
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Merge.kif 2623-2628
If
a formula
decrease
s likelihood of
another formula
and the
probability
of
the other formula
is
equal
to
a real number
and
probability
of
the formula
provided that
the other formula
holds is
another real number
,
then
the other real number
is
less
than
the real number
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18446-18451
If The
defalutMaxValue
of
a predicate
with
a positive integer
arguments is
a quantity
. and
the predicate
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then the statement
the quantity
is
greater
than
the other entity
has the
modal
force
of
likely
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18429-18434
If The
defaultMinValue
of
a predicate
with
a positive integer
arguments is
a quantity
. and
the predicate
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then the statement
the other entity
is
greater
than
the quantity
has the
modal
force
of
likely
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18463-18468
If The
defaultValue
of
a predicate
with
a positive integer
arguments is
a quantity
. and
the predicate
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then the statement
the quantity
is
equal
to
the other entity
has the
modal
force
of
likely
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4675-4680
If
an agent
diplomatic
representation type
consul general
for
a government
and
a geopolitical area
is an
instance
of
city
and
the government
is
equal
to the
government
of
the geopolitical area
,
then
the agent
is
diplomatic
organization type
consulate general
for
the government
(=>
(
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 818-828
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
a third real number
is
equal
to (
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
(
engineeringSubcomponent
?DEVICE1
Internet
)
(
engineeringSubcomponent
?DEVICE2
Internet
)
(
not
(
equal
?DEVICE1 ?DEVICE2)))
(
hasPurpose
Internet
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
agent
?COMM ?DEVICE1)
(
destination
?COMM ?DEVICE2)
(
instrument
?COMM
Internet
)))))
Hotel.kif 1347-1358
If
an engineering component
is a
component
of
internet
and
another engineering component
is a
component
of
internet
and
the engineering component
is not
equal
to
the other engineering component
,
then
internet
has the purpose there exists
an entity
such that
the entity
is an
instance
of
communication
and
the engineering component
is an
agent
of
the entity
and
the entity
end
s up at
the other engineering component
and
internet
is an
instrument
for
the entity
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8054-8062
If the
beginning
of
a time interval
is
equal
to the
beginning
of
another time interval
and the
end
of
the time interval
happens
before
the
end
of
the other time interval
,
then
the time interval
start
s
the other time interval
(=>
(
and
(
equal
(
BeginNodeFn
?GRAPH) ?NODE)
(
equal
(
EndNodeFn
?GRAPH) ?NODE))
(
instance
?GRAPH
GraphCircuit
))
Merge.kif 5765-5769
If the
beginning
of
a graph path
is
equal
to
a graph node
and the
end
of
the graph path
is
equal
to
the graph node
,
then
the graph path
is an
instance
of
graph circuit
(=>
(
and
(
equal
(
CenterOfCircleFn
?C) ?P)
(
pointOfFigure
?P2 ?C)
(
geometricDistance
?P2 ?P ?R))
(
equal
(
RadiusFn
?C) ?R))
Mid-level-ontology.kif 4966-4971
If the
center
of circle of
a circle
is
equal
to
a geometric point
and
the geometric point
2 is a
vertex
of
the circle
and
the geometric point
2 is
geometric
distance
the geometric point
for
a length measure
,
then the
radius
of
the circle
is
equal
to
the length measure
(=>
(
and
(
equal
(
EditionFn
?TEXT ?INT1) ?EDITION1)
(
equal
(
EditionFn
?TEXT ?INT2) ?EDITION2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?EDITION1)
(
instance
?CBO2 ?EDITION2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Merge.kif 15515-15532
If
edition
a positive integer
of
a kind of content bearing object
is
equal
to
another kind of content bearing object
and
edition
another positive integer
of
a kind of content bearing object
is
equal
to
a third kind of content bearing object
and
the other positive integer
is
greater
than
the positive integer
and
a process
is an
instance
of
publication
and
another process
is an
instance
of
publication
and
an entity
is an
instance
of
another kind of content bearing object
and
another entity
is an
instance
of
a third kind of content bearing object
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the other process
and
date
of
the process
is
a day
and
date
of
the other process
is
another day
,
then the
end
of
the day
happens
before
the
end
of
the other day
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4861-4872
If the
greatest
common divisor of @ROW is
equal
to
an integer
and
the integer
is not
equal
to 0,
then for all
another integer
if
the other integer
is a
member
of (@ROW),
then
the other integer
mod
the integer
is
equal
to 0
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4874-4888
If the
greatest
common divisor of @ROW is
equal
to
an integer
and
the integer
is not
equal
to 0,
then there doesn't exist
another integer
such that
the other integer
is
greater
than
the integer
and for all
a third integer
if
the third integer
is a
member
of (@ROW),
then
the third integer
mod
the other integer
is
equal
to 0
(=>
(
and
(
equal
(
InitialNodeFn
?ARC) ?NODE)
(
equal
(
TerminalNodeFn
?ARC) ?NODE))
(
instance
?ARC
GraphLoop
))
Merge.kif 5866-5870
If the
starting
node of
a graph arc
is
equal
to
a graph node
and the
terminal
node of
the graph arc
is
equal
to
the graph node
,
then
the graph arc
is an
instance
of
graph loop
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4946-4956
If the
least
common multiple of @ROW is
equal
to
an integer
and
the integer
is not
equal
to 0,
then for all
another integer
if
the other integer
is a
member
of (@ROW),
then
the integer
mod
the other integer
is
equal
to 0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
If the
least
common multiple of @ROW is
equal
to
an integer
and
the integer
is not
equal
to 0,
then there doesn't exist
another integer
such that
the other integer
is
less
than
the integer
and for all
a third integer
if
the third integer
is a
member
of (@ROW),
then
the other integer
mod
the third integer
is
equal
to 0
(=>
(
and
(
equal
(
ListLengthFn
?LIST) ?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM))
(
equal
(
LastFn
?LIST) ?ITEM))
Merge.kif 3219-3223
If
length
of
a list
is
equal
to
a positive integer
and
the positive integer
th
element
of
the list
is
equal
to
another entity
,
then the
last
of
the list
is
equal
to
the other entity
(=>
(
and
(
equal
(
MaximalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
equal
(
PathWeightFn
?PATH) ?NUMBER1)
(
instance
?PATH2
(
GraphPathFn
?NODE1 ?NODE2))
(
equal
(
PathWeightFn
?PATH2) ?NUMBER2))
(
lessThanOrEqualTo
?NUMBER2 ?NUMBER1))
Merge.kif 6044-6050
If the
highest
cost
path
between
a graph node
and
another graph node
is
equal
to
a graph path
and the
value
of
the graph path
is
equal
to
a real number
and
the graph path
2 is an
instance
of the
set
of paths between
the graph node
and
the other graph node
and the
value
of
the graph path
2 is
equal
to
another real number
,
then
the other real number
is
less
than or equal to
the real number
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfAngularMeasure
))
(
instance
?QUANT
AngleMeasure
))
Merge.kif 6394-6398
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
unit of angular measure
,
then
the physical quantity
is an
instance
of
angle measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfArea
))
(
instance
?QUANT
AreaMeasure
))
Merge.kif 6370-6374
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
unit of area
,
then
the physical quantity
is an
instance
of
area measure
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