located
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
a geopolitical area
is an
instance
of
geopolitical area
and
the entity
is
located
at
the geopolitical area
holds
during
the
beginning
of the
time
of existence of
the process
,
then there exists
another geopolitical area
such that
the other geopolitical area
is an
instance
of
geopolitical area
and
the geopolitical area
is not a
geopolitical
part of
the other geopolitical area
and
the other geopolitical area
is not a
geopolitical
part of
the geopolitical area
and
the entity
is
located
at
the other geopolitical area
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
an object
is an
instance
of
geopolitical area
and
a physical
is an
instance
of
geopolitical area
and
the entity
is
located
at
the object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is
located
at
the physical
holds
during
the
end
of the
time
of existence of
the process
,
then
the physical
is not
located
at
the object
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2478-2486
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
an object
is an
instance
of
geopolitical area
and
the process
originate
s at
the object
and
a physical
is an
instance
of
geopolitical area
and
the process
end
s up at
the physical
,
then
the physical
is not
located
at
the object
(=>
(
and
(
instance
?FARMING
Farming
)
(
agent
?FARMING ?FARMER))
(
exists
(?FARM)
(
and
(
instance
?FARM
Farm
)
(
holdsDuring
(
WhenFn
?FARMING)
(
located
?FARMER ?FARM)))))
Mid-level-ontology.kif 20507-20514
If
a process
is an
instance
of
farming
and
an agent
is an
agent
of
the process
,
then there exists
an entity
such that
the entity
is an
instance
of
farm
and
the agent
is
located
at
the entity
holds
during
the
time
of existence of
the process
(=>
(
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
?FLYING
Flying
)
(
patient
?FLYING ?ALM)
(
instance
?ALM
AirLaunchMissile
))
(
exists
(?REGION)
(
and
(
instance
?REGION
AtmosphericRegion
)
(
holdsDuring
(
BeginFn
(
WhenFn
?FLYING))
(
located
?ALM ?REGION)))))
MilitaryDevices.kif 944-955
If
a process
is an
instance
of
flying
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
air launch missile
,
then there exists
another entity
such that
the other entity
is an
instance
of
atmospheric region
and
the entity
is
located
at
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 655-669
If
an object
is an
instance
of
gene
and
the object
is
located
at
another object
and
the other object
is an
instance
of
cell
,
then there exist
a process
,
a third object
and
a fourth object
such that
the process
is an
instance
of
biological process
and
the process
is
located
at
the other object
and
the process
originate
s at
the object
and
the third object
is a
result
of
the process
and
the third object
is an
instance
of
Nucleotide
and
the third object
is a
part
of
the fourth object
and
the fourth object
is an
instance
of
RNA molecule
and
the fourth object
is
located
at
the other object
(=>
(
and
(
instance
?GOAL
GameGoal
)
(
instrument
?GAME ?GOAL)
(
instance
?GAME
Game
)
(
subProcess
?SCORE ?GAME)
(
instance
?SCORE
Score
))
(
exists
(?PIECE ?TIME)
(
and
(
instance
?PIECE
GamePiece
)
(
patient
?SCORE ?PIECE)
(
temporalPart
?TIME
(
WhenFn
?SCORE))
(
holdsDuring
?TIME
(
located
?PIECE ?GOAL)))))
Mid-level-ontology.kif 17051-17063
If
an object
is an
instance
of
game goal
and
the object
is an
instrument
for
a process
and
the process
is an
instance
of
game
and
another process
is a
subprocess
of
the process
and
the other process
is an
instance
of
score
,
then there exist
an entity
and
a time position
such that
the entity
is an
instance
of
game piece
and
the entity
is a
patient
of
the other process
and
the time position
is a
part
of the
time
of existence of
the other process
and
the entity
is
located
at
the object
holds
during
the time position
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5725-5736
If
a process
is an
instance
of
pruritus
and
the process
is
located
at
an object
and
the object
is a
part
of
a cognitive agent
and
the cognitive agent
experience
s
the process
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
scratching
and the
time
of existence of
the entity
takes place
during
the
time
of existence of
the process
and
the entity
is
located
at
the object
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12190-12198
If
a process
is an
instance
of
keeping
and
an entity
is a
patient
of
the process
,
then there exists
another entity
such that for all
a time position
if
the time position
is a
part
of the
time
of existence of
the process
,
then
the entity
is
located
at
the other entity
holds
during
the time position
(=>
(
and
(
instance
?LOCATING
Locating
)
(
patient
?LOCATING ?THING)
(
agent
?LOCATING ?AGENT))
(
hasPurpose
?LOCATING
(
exists
(?LOCATION)
(
and
(
instance
?LOCATION
Region
)
(
knows
?AGENT
(
located
?THING ?LOCATION))))))
MilitaryProcesses.kif 577-587
If
a process
is an
instance
of
locating
and
an entity
is a
patient
of
the process
and
an agent
is an
agent
of
the process
,
then
the process
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
region
and
the agent
know
s
the entity
is
located
at
the other entity
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11052-11057
If
a motion
is an
instance
of
motion
and
an object
moves during
the motion
and
the motion
end
s up at
an entity
,
then
the object
is
located
at
the entity
holds
during
the
end
of the
time
of existence of
the motion
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11036-11041
If
a motion
is an
instance
of
motion
and
an object
moves during
the motion
and
the motion
originate
s at
another object
,
then
the object
is
located
at
the other object
holds
during
the
beginning
of the
time
of existence of
the motion
(=>
(
and
(
instance
?MOVEMENT
Translocation
)
(
origin
?MOVEMENT ?PLACE1))
(
exists
(?PLACE2 ?STAGE)
(
and
(
instance
?PLACE2
Region
)
(
not
(
equal
?PLACE1 ?PLACE2))
(
subProcess
?STAGE ?MOVEMENT)
(
located
?STAGE ?PLACE2))))
Merge.kif 11558-11567
If
a process
is an
instance
of
translocation
and
the process
originate
s at
an object
,
then there exist
another object
and
another process
such that
the other object
is an
instance
of
region
and
the object
is not
equal
to
the other object
and
the other process
is a
subprocess
of
the process
and
the other process
is
located
at
the other object
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
exists
(?SUB)
(
and
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4061-4068
If
an object
is an
instance
of
object
and
the object
is
partly
located in
another object
,
then there exists
a third object
such that
the third object
is a
part
of
the object
and
the third object
is
located
at
the other object
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WarehousingAndStorage
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?B ?T)
(
and
(
instance
?T
TimeInterval
)
(
instance
?B
Building
)
(
possesses
?P ?OBJ)
(
holdsDuring
?T
(
located
?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8776-8797
If
a collection
is an
instance
of
organization
and
warehousing and storage
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
a cognitive agent
and
an entity
such that
the agent
is an
instance
of
selling
and
the entity
is an
instance
of
object
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the process
allow
s
the cognitive agent
to perform task of the type there exist
another entity
and
a third entity
such that
the third entity
is an
instance
of
time interval
and
the other entity
is an
instance
of
building
and
the cognitive agent
possess
es
the entity
and
the other entity
is
located
at
the entity
holds
during
the third entity
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
If
a process
is an
instance
of
coeliac disease
and
an agent
experience
s
the process
and
an object
is an
instance
of
small intestine
and
the object
is a
part
of
the agent
,
then the statement
the process
is
located
at
the object
has the
modal
force
of
likely
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 610-627
If
a process
is an
instance
of
food pickup
and
an agent
is an
agent
of
the process
and
the process
end
s up at
another agent
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
food
for
human
and there exist
an object
,
another process
and
a third process
such that
the agent
is
located
at
the object
and
the other process
is an
instance
of
translocation
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the object
and
the third process
is an
instance
of
getting
and
the third process
originate
s at
the agent
and
the third process
end
s up at
the other agent
and
the entity
is a
patient
of
the third process
(=>
(
and
(
instance
?P
HeartPalpitations
)
(
experiencer
?P ?H))
(
exists
(?HEART)
(
and
(
instance
?HEART
Heart
)
(
part
?HEART ?H)
(
located
?P ?HEART))))
Medicine.kif 2072-2080
If
a process
is an
instance
of
palpitations
and
an agent
experience
s
the process
,
then there exists
the agent
EART such that
the agent
EART is an
instance
of
heart
and
the agent
EART is a
part
of
the agent
and
the process
is
located
at
the agent
EART
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16582-16589
If
an object
is an
instance
of
pass certificate
and
an agent
possess
es
the object
,
then there exists
an entity
such that
the object
confers
norm
the agent
is
located
at
the entity
for
permission
(=>
(
and
(
instance
?POLICY
NoChildrenPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?CHILD)
(
and
(
instance
?CHILD
HumanChild
)
(
located
?CHILD ?LOC)))
Permission
))
Hotel.kif 2626-2635
If
a policy
is an
instance
of
no children allowed
and
the policy
covers
an object
and
an organization
enacts
policy
the policy
,
then
the organization
deprives
norm there exists
an entity
such that
the entity
is an
instance
of
human child
and
the entity
is
located
at
the object
for
permission
(=>
(
and
(
instance
?POLICY
NoPetsPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?PET)
(
and
(
instance
?PET
DomesticAnimal
)
(
located
?PET ?LOC)))
Permission
))
Hotel.kif 2577-2586
If
a policy
is an
instance
of
no pets allowed
and
the policy
covers
an object
and
an organization
enacts
policy
the policy
,
then
the organization
deprives
norm there exists
an entity
such that
the entity
is an
instance
of
domestic animal
and
the entity
is
located
at
the object
for
permission
(=>
(
and
(
instance
?POLICY
NoSmokingPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?SMOKE)
(
and
(
instance
?SMOKE
Smoking
)
(
located
?SMOKE ?LOC)))
Permission
))
Hotel.kif 2593-2602
If
a policy
is an
instance
of
no smoking policy
and
the policy
covers
an object
and
an organization
enacts
policy
the policy
,
then
the organization
deprives
norm there exists
an entity
such that
the entity
is an
instance
of
smoking
and
the entity
is
located
at
the object
for
permission
(=>
(
and
(
instance
?POLICY
PetPolicy
)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET1)
(
and
(
instance
?PET1
DomesticAnimal
)
(
located
?PET1 ?LOC)))
Permission
))
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET2)
(
and
(
instance
?PET2
DomesticAnimal
)
(
located
?PET2 ?LOC)))
Prohibition
))))
Hotel.kif 2512-2528
If
a policy
is an
instance
of
pet policy
and
the policy
covers
an object
,
then
the policy
contain
s information the statement there exists
an entity
such that
the entity
is an
instance
of
domestic animal
and
the entity
is
located
at
the object
has the
modal
force
of
permission
or
the policy
contain
s information the statement there exists
another entity
such that
the other entity
is an
instance
of
domestic animal
and
the other entity
is
located
at
the object
has the
modal
force
of
prohibition
(=>
(
and
(
instance
?POLICY
PetsAllowedPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
confersNorm
?AGENT
(
exists
(?PET)
(
and
(
instance
?PET
DomesticAnimal
)
(
located
?PET ?LOC)))
Permission
))
Hotel.kif 2561-2570
If
a policy
is an
instance
of
pets allowed
and
the policy
covers
an object
and
an organization
enacts
policy
the policy
,
then
the organization
confers
norm there exists
an entity
such that
the entity
is an
instance
of
domestic animal
and
the entity
is
located
at
the object
for
permission
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