exists
(=>
(
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
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 6014-6034
If
a time interval
is an
instance
of
TimePeriod
and
duration
of
the time interval
is
a real number
minute duration
(s) and
the real number
is
greater
than 5.0 and
an entity
is an
instance
of
human
and there doesn't exist
a process
such that
the process
is an
instance
of
breathing
and the
time
of existence of
the process
takes place
during
the time interval
and
the entity
is a
patient
of
the process
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
death
and
the entity
experience
s
the other entity
and
the time interval
meet
s the
time
of existence of
the other entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENT ?EVENT)
(=>
(
exists
(?CLASS)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
instance
?EVENT ?CLASS)
(
capability
?CLASS
experiencer
?VISITOR)))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP ?PROCESS)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
instance
?PROC ?PROCESS)
(
capability
?PROCESS
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4241-4267
If
a human
is an
instance
of
human
and
a collection
is an
instance
of
collection
and for all
an experimenting
and
a physical
if there exists
a kind of process
such that
the experimenting
is an
instance
of
experimenting
and
the physical
is an
instance
of
process
and
the physical
is a
member
of
events
in
the experimenting
and
the physical
is an
instance
of
a kind of process
and
the human
is
capable
of doing
the kind of process
as a
experiencer
,
then
the physical
is a
member
of
the collection
and
if
another physical
is a
member
of
the collection
,
then
the other physical
is an
instance
of
process
and there exist
another experimenting
and
the other physical
ESS such that
the other experimenting
is an
instance
of
experimenting
and
the other physical
is a
member
of
events
in
the other experimenting
and
the other physical
is an
instance
of
the other physical
ESS and
the human
is
capable
of doing
the other physical
ESS as a
experiencer
,
then
equal
all the processes
the human
is
qualified
for and
the collection
(=>
(
and
(
instance
?X
Pasta
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Pasta
)
(
part
?Y ?X)))))
(
attribute
?X
LongAndThin
))
Food.kif 2629-2637
If
an object
is an
instance
of
pasta
and there doesn't exist
another object
such that
the other object
is an
instance
of
pasta
and
the other object
is a
part
of
the object
,
then
long and thin
is an
attribute
of
the object
(=>
(
and
(
instance
?X
Penne
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Penne
)
(
part
?Y ?X)))))
(
and
(
exists
(?HOLE2)
(
and
(
instance
?HOLE2
HoleRegion
)
(
part
?X ?HOLE2)))
(
attribute
?X
Fillable
)))
Food.kif 2770-2783
If
an object
is an
instance
of
penne
and there doesn't exist
another object
such that
the other object
is an
instance
of
penne
and
the other object
is a
part
of
the object
,
then there exists
a third object
such that
the third object
is an
instance
of
hole
and
the object
is a
part
of
the third object
and
fillable
is an
attribute
of
the object
(=>
(
and
(
instance
?X
Spaghetti
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Spaghetti
)
(
part
?Y ?X)))))
(
attribute
?X
LongAndThin
))
Food.kif 3471-3479
If
an object
is an
instance
of
spaghetti
and there doesn't exist
another object
such that
the other object
is an
instance
of
spaghetti
and
the other object
is a
part
of
the object
,
then
long and thin
is an
attribute
of
the object
(=>
(
and
(
typicalAction
?PROCESS ?AGENT)
(
instance
?A ?AGENT)
(
equal
?PPROB
(
ProbabilityFn
(
exists
(?X)
(
and
(
instance
?X ?PROCESS)
(
agent
?X ?A)))))
(
equal
?NOTPPROB
(
ProbabilityFn
(
not
(
exists
(?Y)
(
and
(
instance
?Y ?PROCESS)
(
agent
?Y ?A)))))))
(
greaterThan
?PPROB ?NOTPPROB))
Mid-level-ontology.kif 24473-24490
If
a kind of process
is a
typical
action
of a
a kind of agent
and
an entity
is an
instance
of
a kind of agent
and
equal
a real number
and the
probability
of there exists
another entity
such that
the other entity
is an
instance
of
a kind of process
and
the entity
is an
agent
of
the other entity
and
equal
another real number
and the
probability
of there doesn't exist
a third entity
such that
the third entity
is an
instance
of
the kind of process
and
the entity
is an
agent
of
the third entity
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
typicalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
part
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
part
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Mid-level-ontology.kif 25281-25298
If a
a kind of object
is
typically
a
part
of a
another kind of object
and
an entity
is an
instance
of
a kind of object
and
equal
the kind of object
PROB and the
probability
of there exists
another entity
such that
the other entity
is an
instance
of
another kind of object
and
the entity
is a
part
of
the other entity
and
equal
another real number
and the
probability
of there doesn't exist
a third entity
such that
the third entity
is an
instance
of
the other kind of object
and
the entity
is a
part
of
the third entity
,
then
the kind of object
PROB is
greater
than
the other real number
(=>
(
and
(
typicalTemporalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
temporalPart
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
temporalPart
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1453-1470
If a
a kind of process
is typically a part of a
another kind of process
and
an entity
is an
instance
of
a kind of process
and
equal
the kind of process
PROB and the
probability
of there exists
another entity
such that
the other entity
is an
instance
of
another kind of process
and
the entity
is a
part
of
the other entity
and
equal
another real number
and the
probability
of there doesn't exist
a third entity
such that
the third entity
is an
instance
of
the other kind of process
and
the entity
is a
part
of
the third entity
,
then
the kind of process
PROB is
greater
than
the other real number
(=>
(
and
(
typicallyContainsPart
?PART ?WHOLE)
(
instance
?Y ?WHOLE)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?X1)
(
and
(
instance
?X1 ?PART)
(
part
?X1 ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?X2)
(
and
(
instance
?X2 ?PART)
(
part
?X2 ?Y)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Mid-level-ontology.kif 25319-25336
If a
a kind of object
typically
has a
part
another kind of object
and
an entity
is an
instance
of
a kind of object
and
equal
another kind of object
PROB and the
probability
of there exists
another entity
such that
the other entity
is an
instance
of
the other kind of object
and
the other entity
is a
part
of
the entity
and
equal
another real number
and the
probability
of there doesn't exist
a third entity
such that
the third entity
is an
instance
of
the other kind of object
and
the third entity
is a
part
of
the entity
,
then
the other kind of object
PROB is
greater
than
the other real number
(=>
(
and
(
typicallyContainsTemporalPart
?PART ?WHOLE)
(
instance
?Y ?WHOLE)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?X1)
(
and
(
instance
?X1 ?PART)
(
temporalPart
?X1 ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?X2)
(
and
(
instance
?X2 ?PART)
(
temporalPart
?X2 ?Y)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1493-1510
If a
a kind of process
typically contains a
another kind of process
and
an entity
is an
instance
of
a kind of process
and
equal
another kind of process
PROB and the
probability
of there exists
another entity
such that
the other entity
is an
instance
of
the other kind of process
and
the other entity
is a
part
of
the entity
and
equal
another real number
and the
probability
of there doesn't exist
a third entity
such that
the third entity
is an
instance
of
the other kind of process
and
the third entity
is a
part
of
the entity
,
then
the other kind of process
PROB is
greater
than
the other real number
(=>
(
and
(
unitNumber
?UNITSTR ?PLACE)
(
not
(
exists
(?FLR)
(
floorCode
?FLR ?PLACE))))
(
exists
(?UNIT)
(
and
(
instance
?UNIT
Room
)
(
names
?UNITSTR ?UNIT)
(
located
?UNIT ?PLACE))))
Mid-level-ontology.kif 26307-26317
If the
unit
number of
a postal place
is
a symbolic string
and there doesn't exist
another symbolic string
such that
the other symbolic string
is the
floor
of
the postal place
,
then there exists
a physical
such that
the physical
is an
instance
of
room
and
the physical
has &ames$"name"
the symbolic string
and
the physical
is
located
at
the postal place
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
ShutdownBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
finishes
?Time ?Time1)
(
equal
(
WhenFn
?Process2) ?Time2)
(
equal
(
BeginFn
?Time)
(
EndFn
?Time2))))
(
duration
?Time ?Delay))
QoSontology.kif 1379-1393
If there exist
a time interval
and
another time interval
such that
a time duration
is a
dependency
delay of
a computer program
and
shutdown block
is a
dependency
type of
the computer program
and
another computer program
has a
dependency
on
the computer program
and
a computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the computer process
and
another computer process
is an
instance
of
computer process
and
the other computer program
is a
program
running of
the other computer process
and
equal
the
time
of existence of
the other computer process
and
the other time interval
and
a third time interval
finish
es
the time interval
and
equal
the
time
of existence of
the other computer process
and
the other time interval
and
equal
the
beginning
of
the third time interval
and the
end
of
the other time interval
,
then
duration
of
the third time interval
is
the time duration
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
StartupBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
starts
?Time2 ?Time)
(
equal
(
WhenFn
?Process1) ?Time1)
(
equal
(
EndFn
?Time)
(
BeginFn
?Time1))))
(
duration
?Time ?Delay))
QoSontology.kif 1363-1377
If there exist
a time interval
and
another time interval
such that
a time duration
is a
dependency
delay of
a computer program
and
startup block
is a
dependency
type of
the computer program
and
another computer program
has a
dependency
on
the computer program
and
a computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the computer process
and
another computer process
is an
instance
of
computer process
and
the other computer program
is a
program
running of
the other computer process
and
equal
the
time
of existence of
the other computer process
and
the other time interval
and
the other time interval
start
s
a third time interval
and
equal
the
time
of existence of
the computer process
and
the time interval
and
equal
the
end
of
the third time interval
and the
beginning
of
the time interval
,
then
duration
of
the third time interval
is
the time duration
(=>
(
holdsDuring
?T
(
and
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
covers
?C ?F))))
(
instance
?F
Foot
)
(
part
?F ?A)))
(
holdsDuring
?T
(
attribute
?A
Barefoot
)))
Mid-level-ontology.kif 32037-32048
If there doesn't exist
an entity
such that
the entity
is an
instance
of
clothing
and
the entity
covers
another entity
and
the other entity
is an
instance
of
foot
and
the other entity
is a
part
of
a third entity
holds
during
a time position
,
then
barefoot
is an
attribute
of
the third entity
holds
during
the time position
(=>
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?A ?C)))))
(
holdsDuring
?T
(
attribute
?A
Naked
)))
Mid-level-ontology.kif 32063-32071
If there doesn't exist
an entity
such that
the entity
is an
instance
of
clothing
and
another entity
wear
s
the entity
holds
during
a time position
,
then
naked
is an
attribute
of
the other entity
holds
during
the time position
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
