patient
(=>
(
and
(
instance
?C
CuringFood
)
(
instance
?F
Food
)
(
patient
?C ?F))
(
exists
(?D)
(
and
(
instance
?D
Drying
)
(
subProcess
?D ?C)
(
patient
?D ?F))))
Food.kif 96-105
If
a process
is an
instance
of
curing food
and
an entity
is an
instance
of
food
and
the entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
drying
and
the other process
is a
subprocess
of
the process
and
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?CA
ChemicalAcid
)
(
instance
?CB
ChemicalBase
)
(
instance
?C
ChemicalProcess
)
(
patient
?C ?CA)
(
patient
?C ?CB))
(
exists
(?CS)
(
and
(
instance
?CS
ChemicalSalt
)
(
result
?C ?CS))))
Mid-level-ontology.kif 8726-8736
If
an entity
is an
instance
of
chemical acid
and
another entity
is an
instance
of
chemical base
and
a process
is an
instance
of
chemical process
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the process
,
then there exists
the process
S such that
the process
S is an
instance
of
salt
and
the process
S is a
result
of
the process
(=>
(
and
(
instance
?CARNIVORE
Carnivore
)
(
instance
?EAT
Eating
)
(
agent
?EAT ?CARNIVORE)
(
patient
?EAT ?PREY))
(
instance
?PREY
Animal
))
Merge.kif 14603-14609
If
an agent
is an
instance
of
carnivore
and
a process
is an
instance
of
eating
and
the agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
animal
(=>
(
and
(
instance
?CATCH
Catching
)
(
agent
?CATCH ?AGENT)
(
patient
?CATCH ?BALL))
(
holdsDuring
(
EndFn
(
WhenFn
?CATCH))
(
grasps
?AGENT ?BALL)))
Mid-level-ontology.kif 17112-17117
If
a process
is an
instance
of
catching
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
grasp
s
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?CATCH
Catching
)
(
patient
?CATCH ?BALL))
(
instance
?BALL
Ball
))
Mid-level-ontology.kif 17106-17110
If
a process
is an
instance
of
catching
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
ball
(=>
(
and
(
instance
?CATEG
WebListingCategory
)
(
instance
?LISTING1
WebListing
)
(
instance
?LISTING2
WebListing
)
(
instance
?ITEM1
Object
)
(
instance
?ITEM2
Object
)
(
member
?LISTING1 ?CATEG)
(
member
?LISTING2 ?CATEG)
(
patient
?ITEM1 ?LISTING1)
(
patient
?ITEM2 ?LISTING2))
(
exists
(?CLASS)
(
and
(
instance
?CLASS
Class
)
(
instance
?ITEM1 ?CLASS)
(
instance
?ITEM2 ?CLASS))))
UXExperimentalTerms.kif 145-160
If
a collection
is an
instance
of
web listing category
and
a physical
is an
instance
of
web listing
and
another physical
is an
instance
of
web listing
and
a process
is an
instance
of
object
and
another process
is an
instance
of
object
and
the physical
is a
member
of
the collection
and
the other physical
is a
member
of
the collection
and
the physical
is a
patient
of
the process
and
the other physical
is a
patient
of
the other process
,
then there exists
a class
such that
the class
is an
instance
of
class
and
the process
is an
instance
of
the class
and
the other process
is an
instance
of
the class
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
origin
?CHANGE ?AGENT1)
(
destination
?CHANGE ?AGENT2)
(
instance
?AGENT1
AutonomousAgent
)
(
instance
?AGENT2
AutonomousAgent
)
(
patient
?CHANGE ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ))))
Merge.kif 11656-11666
If
a process
is an
instance
of
change of possession
and
the process
originate
s at
an object
and
the process
end
s up at
an entity
and
the object
is an
instance
of
agent
and
the entity
is an
instance
of
agent
and
another entity
is a
patient
of
the process
,
then
the object
possess
es
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
possess
es
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
patient
?CHANGE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ)))
(
not
(
equal
?AGENT1 ?AGENT2)))
Merge.kif 11647-11654
If
a process
is an
instance
of
change of possession
and
an entity
is a
patient
of
the process
and
another entity
possess
es
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
a third entity
possess
es
the entity
holds
during
the
end
of the
time
of existence of
the process
,
then
the other entity
is not
equal
to
the third entity
(=>
(
and
(
instance
?CHANGE
InternalChange
)
(
patient
?CHANGE ?OBJ))
(
exists
(?PROPERTY)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))))))
Merge.kif 12599-12610
If
a process
is an
instance
of
internal change
and
an entity
is a
patient
of
the process
,
then there exists
another entity
such that
the other entity
is an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
is not an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
or
the other entity
is not an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
is an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?CLOSE
ClosingGraphicalWindow
)
(
patient
?CLOSE ?WINDOW))
(
and
(
instance
?WINDOW
InterfaceWindow
)
(
time
?WINDOW
(
BeginFn
(
WhenFn
?OPEN)))
(
not
(
time
?WINDOW
(
EndFn
(
WhenFn
?OPEN))))))
ComputerInput.kif 2438-2445
If
a process
is an
instance
of
closing graphical window
and
a physical
is a
patient
of
the process
,
then
the physical
is an
instance
of
interface window
and
the physical
exists
during
the
beginning
of the
time
of existence of
another physical
and
the physical
doesn't exist
during
the
end
of the
time
of existence of
the other physical
(=>
(
and
(
instance
?COLORING
Coloring
)
(
patient
?COLORING ?OBJ))
(
exists
(?PROPERTY ?PART)
(
and
(
part
?PART ?OBJ)
(
instance
?PROPERTY
ColorAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12636-12650
If
a process
is an
instance
of
coloring
and
an object
is a
patient
of
the process
,
then there exist
an entity
and
another object
such that
the other object
is a
part
of
the object
and
the entity
is an
instance
of
color attribute
and
the entity
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
or
the entity
is not an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?COMM
LinguisticCommunication
)
(
agent
?COMM ?AGENT)
(
patient
?COMM ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
holdsDuring
(
WhenFn
?COMM)
(
states
?AGENT ?SENTENCE)))
Media.kif 1836-1842
If
a process
is an
instance
of
linguistic communication
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
sentence
,
then
the agent
states
the entity
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?COMMENTING
Commenting
)
(
instance
?PROCESS
Process
)
(
patient
?COMMENTING ?PROCESS))
(
exists
(?AGENT ?SPEAKING ?LOOKING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SPEAKING
Speaking
)
(
instance
?LOOKING
Looking
)
(
agent
?SPEAKING ?AGENT)
(
agent
?LOOKING ?AGENT)
(
patient
?LOOKING ?PROCESS)
(
refers
?SPEAKING ?PROCESS))))
Mid-level-ontology.kif 15887-15900
If
a process
is an
instance
of
commenting
and
an entity
is an
instance
of
process
and
the entity
is a
patient
of
the process
,
then there exist
an agent
,
another process
and
a third process
such that
the agent
is an
instance
of
agent
and
the other process
is an
instance
of
speaking
and
the third process
is an
instance
of
looking
and
the agent
is an
agent
of
the other process
and
the agent
is an
agent
of
the third process
and
the entity
is a
patient
of
the third process
and
the other process
includes a
reference
to
the entity
(=>
(
and
(
instance
?COMMIT
Committing
)
(
patient
?COMMIT ?FORMULA)
(
instance
?FORMULA
Formula
))
(
modalAttribute
?FORMULA
Promise
))
Merge.kif 13226-13231
If
a process
is an
instance
of
committing
and
a formula
is a
patient
of
the process
and
the formula
is an
instance
of
formula
,
then the statement
the formula
has the
modal
force
of
promise
(=>
(
and
(
instance
?COND
Condensing
)
(
patient
?COND ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?COND))
(
attribute
?PART
Gas
))
(
holdsDuring
(
EndFn
(
WhenFn
?COND))
(
attribute
?PART
Liquid
)))))
Merge.kif 13979-13987
If
a process
is an
instance
of
condensing
and
an object
is a
patient
of
the process
,
then there exists
another object
such that
the other object
is a
part
of
the object
and
gas
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
liquid
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?CONDUCT
MusicalConducting
)
(
patient
?CONDUCT ?PATIENT)
(
instance
?M
Musician
))
(
or
(
instance
?PATIENT
MusicalGroup
)
(
holdsDuring
(
WhenFn
?CONDUCT)
(
attribute
?PATIENT ?M))))
Mid-level-ontology.kif 18506-18515
If
a process
is an
instance
of
musical conducting
and
an entity
is a
patient
of
the process
and
another entity
is an
instance
of
musician
,
then
the entity
is an
instance
of
musical group
or
the other entity
is an
attribute
of
the entity
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?CONDUCT
OrchestralConducting
)
(
patient
?CONDUCT ?GRP))
(
instance
?CONDUCT
Orchestra
))
Mid-level-ontology.kif 18521-18525
If
a process
is an
instance
of
orchestral conducting
and
an entity
is a
patient
of
the process
,
then
the process
is an
instance
of
orchestra
(=>
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
desires
?PERSON
(
patient
?CONFINE ?PERSON))))
Merge.kif 12212-12217
If
a process
is an
instance
of
confining
and
a cognitive agent
is a
patient
of
the process
and
the cognitive agent
is an
instance
of
human
,
then
the cognitive agent
doesn't
desire
the cognitive agent
is a
patient
of
the 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 10961-10974
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
?COUNT
Counting
)
(
agent
?COUNT ?AGENT)
(
patient
?COUNT ?ENTITY))
(
exists
(?NUMBER)
(
knows
?AGENT
(
equal
(
CardinalityFn
?ENTITY) ?NUMBER))))
Merge.kif 12136-12142
If
a process
is an
instance
of
counting
and
a cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then there exists
another entity
such that
the cognitive agent
know
s the number of
instances
in
the entity
is
equal
to
the other entity
(=>
(
and
(
instance
?COVERING
CoveringGUIElement
)
(
agent
?COVERING ?GUIE_TOP)
(
patient
?COVERING ?GUIE_BOTTOM)
(
instance
?GUIE_TOP
GUIElement
)
(
instance
?GUIE_BOTTOM
GUIElement
))
(
holdsDuring
(
EndFn
?COVERING)
(
or
(
guiElementCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)
(
guiElementPartiallyCoveredBy
?GUIE_BOTTOM ?GUIE_TOP))))
ComputerInput.kif 2597-2607
If
a time interval
is an
instance
of
covering GUI element
and
an entity
_TOP is an
agent
of
the time interval
and
the entity
_BOTTOM is a
patient
of
the time interval
and
the entity
_TOP is an
instance
of
GUI element
and
the entity
_BOTTOM is an
instance
of
GUI element
,
then
the entity
_BOTTOM is
covered
by
the entity
_TOP or
the entity
_BOTTOM is
partially
covered
by
the entity
_TOP holds
during
the
end
of
the time interval
(=>
(
and
(
instance
?COVERING
PartiallyCoveringGraphicalWindow
)
(
agent
?COVERING ?GUIE_TOP)
(
patient
?COVERING ?GUIE_BOTTOM)
(
instance
?GUIE_TOP
GUIElement
)
(
instance
?GUIE_BOTTOM
GUIElement
))
(
holdsDuring
(
EndFn
?COVERING)
(
guiElementPartiallyCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)))
ComputerInput.kif 2609-2617
If
a time interval
is an
instance
of
partially covering graphical window
and
an entity
_TOP is an
agent
of
the time interval
and
the entity
_BOTTOM is a
patient
of
the time interval
and
the entity
_TOP is an
instance
of
GUI element
and
the entity
_BOTTOM is an
instance
of
GUI element
,
then
the entity
_BOTTOM is
partially
covered
by
the entity
_TOP holds
during
the
end
of
the time interval
(=>
(
and
(
instance
?Check
Check
)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check))
(
exists
(?Depositing)
(
and
(
instance
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
time
?Depositing
(
ImmediatePastFn
(
WhenFn
?Processing))))))
FinancialOntology.kif 137-146
If
an entity
is an
instance
of
check
and
a process
is an
instance
of
processingA check
and
the entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
depositingA check
and
the entity
is a
patient
of
the other process
and
the other process
exists
during
immediately
before
the
time
of existence of
the process
(=>
(
and
(
instance
?Check
VerifyingCardCode
)
(
patient
?Check ?Code)
(
cardCode
?Code ?Card))
(
exists
(?Decode)
(
and
(
instance
?Decode
Decoding
)
(
subProcess
?Decode ?Check)
(
patient
?Decode ?Code))))
FinancialOntology.kif 3572-3581
If
a process
is an
instance
of
verifying card code
and
a content bearing object
is a
patient
of
the process
and
a bank card
is a
card
code of
the content bearing object
,
then there exists
another process
such that
the other process
is an
instance
of
decoding
and
the other process
is a
subprocess
of
the process
and
the content bearing object
is a
patient
of
the other process
(=>
(
and
(
instance
?Closing
ClosingAnAccount
)
(
patient
?Closing ?Account))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Closing))
(
instance
?Account
FinancialAccount
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Closing))
(
not
(
instance
?Account
FinancialAccount
)))))
FinancialOntology.kif 391-401
If
a process
is an
instance
of
closing an account
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
financial account
holds
during
immediately
before
the
time
of existence of
the process
and
the entity
is not an
instance
of
financial account
holds
during
immediately
after
the
time
of existence of
the process
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