located
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
)))))))
Mid-level-ontology.kif 22218-22240
If
waiter
is an
attribute
of
a cognitive agent
and
the cognitive agent
is an
instance
of
human
and
an agent
employ
s
the cognitive agent
and
the agent
is an
instance
of
restaurant
and
the agent
is a
customer
of
another cognitive agent
and
the other cognitive agent
is
located
at
an object
and
the object
is an
instance
of
table
,
then there exist
another object
,
an entity
,, ,
another entity
and
a third object
such that
the agent
possess
es
the third object
and
the third object
is an
instance
of
kitchen area
and
the other object
is an
instance
of
dining area
and
the object
is
located
at
the other object
and
the cognitive agent
has the purpose
the entity
is an
instance
of
carrying
and
the cognitive agent
is an
agent
of
the entity
and
the entity
originate
s at
the third object
and
the entity
end
s up at
the object
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
food
for
human
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
If
an agent
is a
customer
of
a cognitive agent
and
the agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
process
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the other entity
is an
element
of
belongings
of
the agent
and
the agent
is an
agent
of
the entity
and
the cognitive agent
is a
patient
of
the entity
and
the entity
is an
instance
of
the kind of physical
or
the third entity
is an
instance
of
the kind of physical
and
the entity
is a
subprocess
of
the third entity
and
the entity
is
located
at
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1)))))
Government.kif 4609-4618
If
a geopolitical area
is
diplomatic
organization type
a kind of organization
for
an agent
and
the geopolitical area
is an
instance
of
nation
and
the agent
is an
instance
of
geopolitical area
,
then there exists
another organization
such that
the other organization
is an
instance
of
a kind of organization
and
the other organization
is
located
at
the agent
and
the other organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG ?AGENT1))))
Government.kif 4619-4628
If
an organization
is
diplomatic
organization type
another kind of organization
for
an agent
and
the organization
is an
instance
of
organization
and
the agent
is an
instance
of
geopolitical area
,
then there exists
a third organization
such that
the third organization
is an
instance
of
another kind of organization
and
the third organization
is
located
at
the agent
and
the third organization
is a part of the organization
the organization
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1135-1148
If
an object
is an
element
of
belongings
of
an organization
and
annex room
is an
attribute
of
the object
and
the object
is an
instance
of
hotel room
,
then there exist
another object
,
a third object
and
another organization
such that
the other organization
is a part of the organization
the organization
and
the other organization
is an
instance
of
front desk
and
the other organization
is
located
at
the other object
and
the other object
is an
element
of
belongings
of
the organization
and
the third object
is an
element
of
belongings
of
the organization
and
the object
is a
part
of
the third object
and
equal
the other object
and
the third object
(=>
(
and
(
employs
?HOTEL ?ATHLETE)
(
attribute
?HOTEL
TravelerAccommodation
)
(
attribute
?ATHLETE
TennisProfessional
)
(
guest
?CUST ?HOTEL))
(
modalAttribute
(
exists
(?TENNIS ?LOC)
(
and
(
instance
?TENNIS
Tennis
)
(
contestParticipant
?TENNIS ?ATHLETE)
(
contestParticipant
?TENNIS ?CUST)
(
located
?TENNIS ?LOC)
(
located
?HOTEL ?LOC)))
Possibility
))
Hotel.kif 1533-1546
If
an agent
employ
s
a cognitive agent
and
traveler accommodation
is an
attribute
of
the agent
and
tennis pro
is an
attribute
of
the cognitive agent
and
another cognitive agent
is a
guest
at
the agent
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
tennis
and
the cognitive agent
participates
in
the entity
and
the other cognitive agent
participates
in
the entity
and
the entity
is
located
at
the other entity
and
the agent
is
located
at
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
experiencer
?ORGANISM ?PAIN)
(
instance
?PAIN
(
PainFn
?P)))
(
exists
(?PART)
(
and
(
part
?PART ?ORGANISM)
(
located
?PART ?P))))
Mid-level-ontology.kif 7294-7301
If
an agent
experience
s
a process
and
the agent
is an
instance
of
pain
in the
a body part
,
then there exists
the body part
ART such that
the body part
ART is a
part
of
the process
and
the body part
ART is
located
at
the body part
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
If
a human
is a
guest
at
an agent
and
the human
stays
at
a temporary residence
and
the temporary residence
is an
element
of
belongings
of
the agent
and
the temporary residence
is an
instance
of
the temporary residence
OOM and
a kind of physical
is an
amenity
in
the temporary residence
OOM and
a kind of physical
is a
subclass
of
object
,
then there exists
another physical
such that
the other physical
is an
instance
of
the kind of physical
and
the other physical
is
located
at
the temporary residence
and
the agent
allow
s
the human
to perform task of the type there exists
an entity
such that
the human
is an
agent
of
the entity
and
the other physical
is an
instrument
for
the entity
or
the other physical
is a
patient
of
the entity
or
the other physical
is a
resource
for
the entity
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR_PLACE ?PRIOR_RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR_RES
Object
)
(
instance
?PRIOR_PLACE
GeopoliticalArea
)
(
located
?PRIOR_RES ?PRIOR_PLACE)
(
not
(
equal
?PLACE ?PRIOR_PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR_RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR_PLACE))
(
not
(
geographicSubregion
?PRIOR_PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR_RES)))))
MilitaryPersons.kif 26-47
If
dislocated civilian
is an
attribute
of
an entity
and
the entity
live
s in
another entity
and
the other entity
is
located
at
a geographic area
holds
during
a time interval
and
the geographic area
is an
instance
of
geographic area
and
the time interval
is an
instance
of
time interval
,
then there exist
another time interval
,
a third entity
_PLACE and
the third entity
_RES such that
the other time interval
is an
instance
of
time interval
and
the other time interval
happens
earlier
than
the time interval
and
the third entity
_RES is an
instance
of
object
and
the third entity
_PLACE is an
instance
of
geopolitical area
and
the third entity
_RES is
located
at
the third entity
_PLACE and
equal
the geographic area
and
the third entity
_PLACE and
equal
the other entity
and
the third entity
_RES and
the geographic area
is not a
geographic
subregion of
the third entity
_PLACE and
the third entity
_PLACE is not a
geographic
subregion of
the geographic area
and
the entity
live
s in
the third entity
_RES holds
during
the other time interval
(=>
(
and
(
instance
?AREA
(
MaritimeClaimsTerritorialSeaFn
?PLACE))
(
width
?AREA
(
MeasureFn
?WIDTH ?UNIT))
(
distance
?OBJ ?PLACE
(
MeasureFn
?DISTANCE ?UNIT))
(
lessThanOrEqualTo
?DISTANCE ?WIDTH))
(
located
?OBJ ?AREA))
Geography.kif 1006-1012
If
an object
is an
instance
of the
maritime
claims territorial sea of
a region
and the
width
of
the object
is
a real number
an unit of measure
(s) and the
distance
between
a physical
and
the region
is
another real number
the unit of measure
(s) and
the other real number
is
less
than or equal to
the real number
,
then
the physical
is
located
at
the object
(=>
(
and
(
instance
?B
Birth
)
(
origin
?B ?F))
(
exists
(?Z ?T)
(
and
(
instance
?Z
Zygote
)
(
earlier
?T
(
WhenFn
?B))
(
holdsDuring
?T
(
located
?Z ?F)))))
Mid-level-ontology.kif 25665-25674
If
a process
is an
instance
of
birth
and
the process
originate
s at
an object
,
then there exist
an entity
and
a time interval
such that
the entity
is an
instance
of
zygote
and
the time interval
happens
earlier
than the
time
of existence of
the process
and
the entity
is
located
at
the object
holds
during
the time interval
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?O ?T ?L)
(
and
(
instance
?O
Object
)
(
instance
?T
Trachea
)
(
instance
?L
Lung
)
(
part
?T ?H)
(
part
?L ?H)
(
holdsDuring
(
WhenFn
?C)
(
or
(
located
?O ?T)
(
located
?O ?L))))))
Mid-level-ontology.kif 13085-13100
If
a process
is an
instance
of
choking
and
an agent
experience
s
the process
,
then there exist
an entity
,
an object
and
another object
such that
the entity
is an
instance
of
object
and
the object
is an
instance
of
trachea
and
the other object
is an
instance
of
lung
and
the object
is a
part
of
the agent
and
the other object
is a
part
of
the agent
and
the entity
is
located
at
the object
or
the entity
is
located
at
the other object
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6993-7012
If
a process
is an
instance
of
coughing
and
an agent
experience
s
the process
,
then
the process
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the other entity
is an
instance
of
lung
and
the fourth entity
is an
instance
of
throat
and
the third entity
is an
instance
of
object
and
the entity
is an
instance
of
removing
and
the other entity
is a
part
of
the agent
and
the fourth entity
is a
part
of
the agent
and the object transferred in
the entity
is
the third entity
and
the third entity
is
located
at
the fourth entity
or
the third entity
is
located
at
the other entity
holds
during
immediately
before
the
time
of existence of
the process
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 7059-7077
If
a process
is an
instance
of
sneezing
and
an agent
experience
s
the process
,
then
the process
has the purpose there exist
an entity
,
another entity
,, ,
the other entity
OSE and
a fourth entity
such that
the other entity
is an
instance
of
nasal cavity
and
the other entity
OSE is an
instance
of
nose
and
equal
the other entity
OSE and the
host
of the hole
the other entity
and
the fourth entity
is an
instance
of
object
and
the entity
is an
instance
of
removing
and
the other entity
OSE is a
part
of
the agent
and the object transferred in
the entity
is
the fourth entity
and
the fourth entity
is
located
at
the other entity
holds
during
immediately
before
the
time
of existence of
the process
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT_MIL_THIS ?CAA)
(
instance
?AGENT_MIL_THIS
MilitaryOrganization
)
(
militaryOfArea
?AGENT_MIL_THIS ?NATION_THIS)
(
instance
?NATION_THIS
Nation
)
(
located
?AGENT_MIL_THIS ?NATION_FRIENDLY)
(
instance
?NATION_FRIENDLY
Nation
))
(
and
(
not
(
equal
?NATION_THIS ?NATION_FRIENDLY))
(
not
(
enemy
?NATION_THIS ?NATION_FRIENDLY))
(
exists
(?AGENT_FRIENDLY)
(
and
(
located
?AGENT_FRIENDLY ?NATION_FRIENDLY)
(
partyToAgreement
?AGENT_FRIENDLY ?CAA)
(
not
(
instance
?AGENT_FRIENDLY
MilitaryOrganization
))))))
MilitaryProcesses.kif 2309-2328
If
an agreement
is an
instance
of
civil affairs agreement
and
the agreement
is a
party
to agreement of
an entity
_MIL_THIS and
the entity
_MIL_THIS is an
instance
of
military organization
and
another entity
_THIS is a
military
of area of
the entity
_MIL_THIS and
the other entity
_THIS is an
instance
of
nation
and
the entity
_MIL_THIS is
located
at
the other entity
_FRIENDLY and
the other entity
_FRIENDLY is an
instance
of
nation
,
then
equal
the other entity
_THIS and
the other entity
_FRIENDLY and
the other entity
_THIS and
the other entity
_FRIENDLY are not enemies of each other and there exists
the entity
_FRIENDLY such that
the entity
_FRIENDLY is
located
at
the other entity
_FRIENDLY and
the agreement
is a
party
to agreement of
the entity
_FRIENDLY and
the entity
_FRIENDLY is not an
instance
of
military organization
(=>
(
and
(
instance
?CELL
MonoploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
exists
(?COLL)
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
located
?COLL ?N)
(
not
(
exists
(?SET)
(
and
(
instance
?SET
MonoploidChromosomeSet
)
(
not
(
equal
?SET ?COLL))
(
located
?SET ?N)))))))
VirusProteinAndCellPart.kif 762-777
If
an object
is an
instance
of
monoploid cell
and
another object
is an
instance
of
cell nucleus
and
the other object
is a
part
of
the object
,
then there exists
a physical
such that
the physical
is an
instance
of
monoploid chromosome set
and
the physical
is
located
at
the other object
and there doesn't exist
another physical
such that
the other physical
is an
instance
of
monoploid chromosome set
and
equal
the other physical
and
the physical
and
the other physical
is
located
at
the other object
(=>
(
and
(
instance
?CLOTHING
OutdoorClothing
)
(
holdsDuring
?TIME
(
wears
?PERSON ?CLOTHING)))
(
not
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
holdsDuring
?TIME
(
located
?PERSON ?BUILDING))))))
Mid-level-ontology.kif 5980-5988
If
an entity
is an
instance
of
outdoor clothing
and
another entity
wear
s
the entity
holds
during
a time position
,
then there doesn't exist
a third entity
such that
the third entity
is an
instance
of
building
and
the other entity
is
located
at
the third entity
holds
during
the time position
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 12123-12132
If
a process
is an
instance
of
discovering
and
an entity
is a
patient
of
the process
and
the entity
is
located
at
another entity
holds
during
the
time
of existence of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
learning
and
the other process
is a
subprocess
of
the process
and
the entity
is
located
at
the other entity
is a
patient
of
the other process
(=>
(
and
(
instance
?E
(
EdemaFn
?P))
(
experiencer
?E ?A))
(
exists
(?PI)
(
and
(
instance
?PI
BodyPart
)
(
part
?PI ?A)
(
located
?E ?PI))))
Mid-level-ontology.kif 11315-11323
If
a process
is an
instance
of
edema
in
a kind of body part
and
an agent
experience
s
the process
,
then there exists
a kind of body part
I such that
the kind of body part
I is an
instance
of
body part
and
the kind of body part
I is a
part
of
the agent
and
the process
is
located
at
the kind of body part
I
(=>
(
and
(
instance
?EARPHONE
Earphone
)
(
wears
?PERSON ?EARPHONE)
(
instance
?HEAD
Head
)
(
part
?HEAD ?PERSON))
(
located
?EARPHONE ?HEAD))
ComputerInput.kif 510-516
If
a wearable item
is an
instance
of
earphone
and
an animal
wear
s
the wearable item
and
an object
is an
instance
of
head
and
the object
is a
part
of
the animal
,
then
the wearable item
is
located
at
the object
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1927-1949
If
a process
is an
instance
of
engine cycle
and
an engine
is an
instance
of
internal combustion engine
and
an object
is an
instance
of
piston
and
an unit of measure
is an
instance
of
unit of length
and
the object
is a
part
of
the engine
and
the object
is a
patient
of
the process
and
the process
is
located
at
the engine
and the maximum distance that the pistons of engine
the engine
travel is
a real number
the unit of measure
(s),
then there don't exist
a time interval
,
another time interval
,, ,
a physical
,, ,
another physical
and
another real number
such that
the time interval
takes place
during
the
time
of existence of
the process
and
the other time interval
takes place
during
the
time
of existence of
the process
and
the object
is
located
at
the physical
holds
during
the time interval
and
the object
is
located
at
the other physical
holds
during
the other time interval
and the
distance
between
the physical
and
the other physical
is
the other real number
the unit of measure
(s) and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2687-2694
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
another entity
is an
instance
of
geopolitical area
and
the process
end
s up at
the other entity
,
then
the entity
is
located
at
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2661-2670
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
another entity
is an
instance
of
geopolitical area
and
the entity
is
located
at
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
,
then
the entity
is not
located
at
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
origin
?EXPORT ?AREA))
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2652-2659
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
,
then
the entity
is
located
at
the object
holds
during
the
beginning
of the
time
of existence of
the process
(=>
(
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 2672-2685
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
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
