agent
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?FE)
(
and
(
instance
?FE
FacialExpression
)
(
agent
?FE ?A)
(
causes
?EBP ?FE))))
emotion.kif 129-137
If
a process
is an
instance
of
emotional behavioral process
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
facial expression
and
the agent
is an
agent
of
the other process
and
the process
cause
s
the other process
(=>
(
and
(
instance
?EF
Exfiltration
)
(
agent
?EF ?AGENT))
(
exists
(?PRET ?ENEMY)
(
and
(
instance
?PRET
Pretending
)
(
agent
?PRET ?AGENT)
(
patient
?PRET ?ENEMY)
(
hasPurpose
?PRET
(
believes
?ENEMY
(
not
(
exists
(?EF0)
(
equal
?EF0 ?EF))))))))
MilitaryProcesses.kif 257-270
If
a process
is an
instance
of
exfiltration
and
an agent
is an
agent
of
the process
,
then there exist
another process
and
an entity
such that
the other process
is an
instance
of
pretending
and
the agent
is an
agent
of
the other process
and
the entity
is a
patient
of
the other process
and
the other process
has the purpose
the entity
believe
s there doesn't exist
the process
0 such that
the process
0 is
equal
to
the process
(=>
(
and
(
instance
?ELT
ExperiencingALumpInTheThroat
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Throat
)
(
part
?T ?A))))
emotion.kif 1710-1721
If
a process
is an
instance
of
experiencing a lump in the throat
and
an agent
experience
s
the process
,
then there exist
another process
and
an object
such that
the other process
is an
instance
of
perception
and
the other process
is a
subprocess
of
the process
and
the agent
is an
agent
of
the other process
and
the object
is a
patient
of
the other process
and
the object
is an
instance
of
throat
and
the object
is a
part
of
the agent
(=>
(
and
(
instance
?ELT
ExperiencingDiscomfortInTheStomach
)
(
experiencer
?ELT ?A))
(
exists
(?P ?PAIN ?T)
(
and
(
instance
?P
Perception
)
(
during
(
WhenFn
?P)
(
WhenFn
?PAIN))
(
instance
?PAIN
Pain
)
(
experiencer
?PAIN ?A)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Stomach
)
(
part
?T ?A))))
emotion.kif 1583-1597
If
a process
is an
instance
of
experiencing discomfort in the stomach
and
an agent
experience
s
the process
,
then there exist
another process
,
the other process
AIN and
an object
such that
the other process
is an
instance
of
perception
and the
time
of existence of
the other process
takes place
during
the
time
of existence of
the other process
AIN and
the other process
AIN is an
instance
of
pain
and
the agent
experience
s
the other process
AIN and
the other process
is a
subprocess
of
the process
and
the agent
is an
agent
of
the other process
and
the object
is a
patient
of
the other process
and
the object
is an
instance
of
stomach
and
the object
is a
part
of
the agent
(=>
(
and
(
instance
?ELT
ExperiencingHeatInCheeksOrChest
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
or
(
instance
?T
Torso
)
(
instance
?T
Face
))
(
part
?T ?A))))
emotion.kif 1738-1751
If
a process
is an
instance
of
experiencing heat in cheeks or chest
and
an agent
experience
s
the process
,
then there exist
another process
and
an object
such that
the other process
is an
instance
of
perception
and
the other process
is a
subprocess
of
the process
and
the agent
is an
agent
of
the other process
and
the object
is a
patient
of
the other process
and
the object
is an
instance
of
torso
or
the object
is an
instance
of
face
and
the object
is a
part
of
the agent
(=>
(
and
(
instance
?ENTER
Matriculation
)
(
agent
?ENTER ?COLLEGE)
(
patient
?ENTER ?STUDENT)
(
instance
?COLLEGE
College
))
(
exists
(?GRAD ?SCHOOL)
(
and
(
instance
?GRAD
Graduation
)
(
agent
?GRAD ?SCHOOL)
(
patient
?GRAD ?STUDENT)
(
instance
?SCHOOL
HighSchool
)
(
earlier
(
WhenFn
?GRAD)
(
WhenFn
?ENTER)))))
Mid-level-ontology.kif 16671-16683
If
a process
is an
instance
of
matriculation
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the agent
is an
instance
of
college
,
then there exist
another process
and
another agent
such that
the other process
is an
instance
of
graduation
and
the other agent
is an
agent
of
the other process
and
the entity
is a
patient
of
the other process
and
the other agent
is an
instance
of
high school
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
experiencer
?EV ?P))
(
exists
(?C ?CA)
(
and
(
instance
?C
Classifying
)
(
subProcess
?C ?EV)
(
experiencer
?C ?P)
(
or
(
subOrganization
?CA ?A)
(
member
?CA ?A)
(
equal
?CA ?A))
(
agent
?C ?CA))))
MilitaryProcesses.kif 2609-2623
If
a process
is an
instance
of
evacuating
and
an organization
is an
agent
of
the process
and
an agent
experience
s
the process
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
classifying
and
the other process
is a
subprocess
of
the process
and
the agent
experience
s
the other process
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
and
the other process
A is an
agent
of
the other process
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
origin
?EV ?O))
(
exists
(?T ?TA)
(
and
(
instance
?T
Translocation
)
(
subProcess
?T ?EV)
(
origin
?T ?O)
(
or
(
experiencer
?T ?TA)
(
agent
?T ?TA))
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A)))))
MilitaryProcesses.kif 2627-2643
If
a process
is an
instance
of
evacuating
and
an organization
is an
agent
of
the process
and
the process
originate
s at
an object
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
translocation
and
the other process
is a
subprocess
of
the process
and
the other process
originate
s at
the object
and
the other process
A
experience
s
the other process
or
the other process
A is an
agent
of
the other process
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
(=>
(
and
(
instance
?EV
Evacuation
)
(
experiencer
?EV ?P)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
TherapeuticProcess
)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA)
(
experiencer
?M ?P))))
MilitaryProcesses.kif 2591-2605
If
a process
is an
instance
of
evacuating
and
an agent
experience
s
the process
and
an organization
is an
agent
of
the process
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
therapeutic process
and
the other process
is a
subprocess
of
the process
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
and
the other process
A is an
agent
of
the other process
and
the agent
experience
s
the other process
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2573-2587
If
a process
is an
instance
of
evacuating
and
the process
originate
s at
an object
and
an organization
is an
agent
of
the process
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
maintaining
and
the other process
is
located
at
the object
and
the other process
is a
subprocess
of
the process
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
and
the other process
A is an
agent
of
the other process
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2554-2569
If
a process
is an
instance
of
evacuating
and
the process
originate
s at
an object
and
an organization
is an
agent
of
the process
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
transportation
and
the other process
end
s up at
the object
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
and
the other process
A is an
agent
of
the other process
or
the other process
A is a
patient
of
the other process
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT))
(
during
(
WhenFn
?PURCHASE) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
during
(
WhenFn
?ACCESSING) ?INTERVAL)
(
agent
?ACCESSING ?USER)))))
(
PPIFn
?EXPERIMENT ?INTERVAL)))
UXExperimentalTerms.kif 3095-3114
If
an experimenting
is an
instance
of
experimenting
and
a time interval
is an
instance
of
time interval
,
then the number of
instances
in the
class
described by
a symbolic string
and the number of
instances
in the
class
described by
another symbolic string
is
equal
to
purchases
per
user
in
the experimenting
during
the time interval
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT)))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
agent
?ACCESSING ?USER)))))
(
PPSFn
?EXPERIMENT)))
UXExperimentalTerms.kif 3056-3073
If
an experimenting
is an
instance
of
experimenting
and
an entity
is an
instance
of
time interval
,
then the number of
instances
in the
class
described by
a symbolic string
and the number of
instances
in the
class
described by
another symbolic string
is
equal
to
purchases
per
user
in
the experimenting
(=>
(
and
(
instance
?F
(
FailureFn
?C))
(
agent
?F ?A))
(
and
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?C)
(
agent
?I ?A))))
(
not
(
exists
(?I)
(
and
(
instance
?I ?C)
(
during
(
WhenFn
?I)
(
WhenFn
?F))
(
agent
?I ?A))))))
ComputingBrands.kif 4517-4532
If
a process
is an
instance
of
failure fn
a kind of intentional process
and
a cognitive agent
is an
agent
of
the process
,
then
the cognitive agent
desire
s there exists
another process
such that
the other process
is an
instance
of
a kind of intentional process
and
the cognitive agent
is an
agent
of
the other process
and there doesn't exist
the other process
such that
the other process
is an
instance
of
the kind of intentional process
and the
time
of existence of
the other process
takes place
during
the
time
of existence of
the process
and
the cognitive agent
is an
agent
of
the other process
(=>
(
and
(
instance
?F
Flexion
)
(
agent
?F ?A)
(
moves
?F ?BP))
(
not
(
exists
(?E)
(
and
(
instance
?E
Extension
)
(
equal
(
WhenFn
?E)
(
WhenFn
?F))
(
agent
?E ?A)
(
moves
?E ?BP)))))
Mid-level-ontology.kif 10634-10645
If
a motion
is an
instance
of
flexion
and
an agent
is an
agent
of
the motion
and
an object
moves during
the motion
,
then there doesn't exist
another motion
such that
the other motion
is an
instance
of
extension
and the
time
of existence of
the other motion
is
equal
to the
time
of existence of
the motion
and
the agent
is an
agent
of
the other motion
and
the object
moves during
the other motion
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
If
a process
is an
instance
of
foreign internal defense
and
an agent
is an
agent
of
the process
and
another agent
experience
s
the process
,
then
the process
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
learning
and
the entity
experience
s
the other entity
and
the agent
is an
agent
of
the other entity
and
the other agent
is a
military
of area of
the entity
or
the entity
is an
instance
of
military force
and
the entity
is
located
at
the other agent
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
militaryOfArea
?MIL ?NATION))
(
exists
(?HN ?MAINTAIN)
(
and
(
experiencer
?FID ?HN)
(
instance
?HN
HostNation
)
(
not
(
equal
?HN ?NATION))
(
instance
?MAINTAIN
Maintaining
)
(
agent
?MAINTAIN ?HN))))
MilitaryProcesses.kif 1943-1955
If
a process
is an
instance
of
foreign internal defense
and
a military organization
is an
agent
of
the process
and
a geopolitical area
is a
military
of area of
the military organization
,
then there exist
an agent
and
another process
such that
the agent
experience
s
the process
and
the agent
is an
instance
of
host nation
and
the agent
is not
equal
to
the geopolitical area
and
the other process
is an
instance
of
maintaining
and
the agent
is an
agent
of
the other process
(=>
(
and
(
instance
?GIVE
Giving
)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2)
(
instance
?AGENT2
AutonomousAgent
)
(
patient
?GIVE ?OBJ))
(
exists
(?GET)
(
and
(
instance
?GET
Getting
)
(
agent
?GET ?AGENT2)
(
origin
?GET ?AGENT1)
(
patient
?GET ?OBJ))))
Merge.kif 11673-11685
If
a process
is an
instance
of
giving
and
an agent
is an
agent
of
the process
and
the process
end
s up at
another agent
and
the other agent
is an
instance
of
agent
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
getting
and
the other agent
is an
agent
of
the other process
and
the other process
originate
s at
the agent
and
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
If
an agent
is an
instance
of
man
and
mausaharati
is an
attribute
of
the agent
and
a process
is an
instance
of
drumming
and
the agent
is an
agent
of
the process
and
the process
AY is an
instance
of
day
and
another time interval
is an
instance
of
sunrise
and
the other time interval
takes place
during
the process
AY and the
time
of existence of
the process
happens
earlier
than
the other time interval
,
then
the process
has the purpose there exist
an entity
,
the other time interval
UHUR and
a third entity
such that
the third entity
is an
instance
of
waking up
and
the entity
experience
s
the third entity
and
the other time interval
UHUR is an
instance
of
suhur
and
the entity
is an
agent
of
the other time interval
UHUR and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the other time interval
UHUR and the
time
of existence of
the third entity
takes place
during
the process
AY and the
time
of existence of
the other time interval
UHUR takes place
during
the process
AY
(=>
(
and
(
instance
?HS
HeavySurf
)
(
instance
?PLACE
WaterArea
)
(
eventLocated
?HS ?PLACE))
(
exists
(?SWIM ?A)
(
and
(
instance
?SWIM
Swimming
)
(
instance
?A
Human
)
(
agent
?SWIM ?A)
(
eventLocated
?SWIM ?PLACE)
(
holdsDuring
(
WhenFn
?HS)
(
hazardous
?HS ?A)))))
Weather.kif 1579-1592
If
a process
is an
instance
of
heavy zone
and
an object
is an
instance
of
water area
and
the process
is
located
at
the object
,
then there exist
another process
and
an agent
such that
the other process
is an
instance
of
swimming
and
the agent
is an
instance
of
human
and
the agent
is an
agent
of
the other process
and
the other process
is
located
at
the object
and
the process
is
hazardous
to
the agent
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?I
HealthInsuranceCompany
)
(
customer
?I ?C))
(
hasPurposeForAgent
?I
(
exists
(?D ?P)
(
and
(
or
(
instance
?D
DiagnosticProcess
)
(
instance
?D
TherapeuticProcess
))
(
experiencer
?D ?C)
(
instance
?P
Payment
)
(
agent
?P ?I)
(
refers
?P ?D))) ?C))
Mid-level-ontology.kif 7159-7172
If
a cognitive agent
is an
instance
of
health insurance company
and
an agent
is a
customer
of
the cognitive agent
,
then
the cognitive agent
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
diagnostic process
or
the entity
is an
instance
of
therapeutic process
and
the agent
experience
s
the entity
and
the other entity
is an
instance
of
payment
and
the cognitive agent
is an
agent
of
the other entity
and
the other entity
includes a
reference
to
the entity
for
the agent
(=>
(
and
(
instance
?I
InfectiousDisease
)
(
attribute
?A ?I))
(
exists
(?P ?O)
(
and
(
instance
?P
PathologicProcess
)
(
agent
?P ?O)
(
instance
?O
Microorganism
)
(
experiencer
?P ?A))))
Mid-level-ontology.kif 5830-5839
If
an attribute
is an
instance
of
infectious disease
and
the attribute
is an
attribute
of
an agent
,
then there exist
a process
and
another agent
such that
the process
is an
instance
of
pathologic process
and
the other agent
is an
agent
of
the process
and
the other agent
is an
instance
of
microorganism
and
the agent
experience
s
the process
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWBUYERS)
(
and
(
instance
?NEWBUYERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWBUYERS)
(
and
(
exists
(?BUYING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
instrument
?BUYING ?SITE)
(
during
?BUYING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?BUYING_BEFORE)
(
and
(
instance
?BUYING_BEFORE
Buying
)
(
agent
?BUYING_BEFORE ?AGENT)
(
instrument
?BUYING_BEFORE ?SITE)
(
during
?BUYING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewBuyersFn
?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3376-3408
If
a time interval
is an
instance
of
time interval
and
a web site
is an
instance
of
web site
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
an agent
if
the agent
is a
member
of
the collection
,
then there exists
another time interval
such that
the agent
is an
instance
of
agent
and
the other time interval
is an
instance
of
buying
and
the agent
is an
agent
of
the other time interval
and
the web site
is an
instrument
for
the other time interval
and
the other time interval
takes place
during
the time interval
and there doesn't exist
the time interval
_BEFORE such that
the time interval
_BEFORE is an
instance
of
time interval
and
the time interval
_BEFORE happens
earlier
than
the time interval
and there exists
the other time interval
_BEFORE such that
the other time interval
_BEFORE is an
instance
of
buying
and
the agent
is an
agent
of
the other time interval
_BEFORE and
the web site
is an
instrument
for
the other time interval
_BEFORE and
the other time interval
_BEFORE takes place
during
the time interval
holds
during
the time interval
_BEFORE
and
new
buyers
at
the web site
during
the time interval
is
equal
to
the collection
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWSELLERS)
(
and
(
instance
?NEWSELLERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWSELLERS)
(
and
(
exists
(?SELLING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
instrument
?SELLING ?SITE)
(
during
?SELLING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?SELLING_BEFORE)
(
and
(
instance
?SELLING_BEFORE
Selling
)
(
agent
?SELLING_BEFORE ?AGENT)
(
instrument
?SELLING_BEFORE ?SITE)
(
during
?SELLING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewSellersFn
?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3475-3507
If
a time interval
is an
instance
of
time interval
and
a web site
is an
instance
of
web site
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
an agent
if
the agent
is a
member
of
the collection
,
then there exists
another time interval
such that
the agent
is an
instance
of
agent
and
the other time interval
is an
instance
of
selling
and
the agent
is an
agent
of
the other time interval
and
the web site
is an
instrument
for
the other time interval
and
the other time interval
takes place
during
the time interval
and there doesn't exist
the time interval
_BEFORE such that
the time interval
_BEFORE is an
instance
of
time interval
and
the time interval
_BEFORE happens
earlier
than
the time interval
and there exists
the other time interval
_BEFORE such that
the other time interval
_BEFORE is an
instance
of
selling
and
the agent
is an
agent
of
the other time interval
_BEFORE and
the web site
is an
instrument
for
the other time interval
_BEFORE and
the other time interval
_BEFORE takes place
during
the time interval
holds
during
the time interval
_BEFORE
and
new
sellers
at
the web site
during
the time interval
is
equal
to
the collection
(=>
(
and
(
instance
?J
Jailbreaking
)
(
instance
?D
Computer
)
(
instance
?D ?CLASS)
(
patient
?J ?D)
(
manufacturer
?CLASS ?C))
(
not
(
desires
?C
(
exists
(?A)
(
agent
?J ?A)))))
ComputingBrands.kif 3476-3486
If
a process
is an
instance
of
cracking
and
an entity
is an
instance
of
computer
and
the entity
is an
instance
of
a kind of object
and
the entity
is a
patient
of
the process
and the maker of
a kind of object
is
a cognitive agent
,
then
the cognitive agent
doesn't
desire
there exists
another entity
such that
the other entity
is an
agent
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