possesses
(=>
(
instance
?C
MedicalClinic
)
(
not
(
exists
(?B)
(
and
(
possesses
?C ?B)
(
instance
?B
TemporaryResidence
)))))
Mid-level-ontology.kif 7658-7664
If
an agent
is an
instance
of
medical clinic
,
then there doesn't exist
an object
such that
the agent
possess
es
the object
and
the object
is an
instance
of
temporary residence
(=>
(
instance
?C
Partnership
)
(
exists
(?H1 ?H2)
(
and
(
instance
?H1
Human
)
(
instance
?H2
Human
)
(
not
(
equal
?H1 ?H2))
(
possesses
?H1 ?C)
(
possesses
?H2 ?C))))
Mid-level-ontology.kif 7216-7224
If
an object
is an
instance
of
partnership
,
then there exist
an agent
and
another agent
such that
the agent
is an
instance
of
human
and
the other agent
is an
instance
of
human
and
the agent
is not
equal
to
the other agent
and
the agent
possess
es
the object
and
the other agent
possess
es
the object
(=>
(
instance
?C
Proprietorship
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
possesses
?H ?C)
(
not
(
exists
(?H2)
(
and
(
not
(
equal
?H ?H2))
(
possesses
?H2 ?C)))))))
Mid-level-ontology.kif 7308-7318
If
an object
is an
instance
of
proprietorship
,
then there exists
an agent
such that
the agent
is an
instance
of
human
and
the agent
possess
es
the object
and there doesn't exist
the agent
2 such that
the agent
is not
equal
to
the agent
2 and
the agent
2
possess
es
the object
(=>
(
instance
?CHARGE
FinalValueFee
)
(
exists
(?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?SELLING
Selling
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ITEM
Physical
)
(
instance
?ADVERT
WebListing
)
(
patient
?ADVERT ?ITEM)
(
patient
?SELLING ?ITEM)
(
causes
?SELLING ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
eCommerceSite
?SELLING ?OWNER))))
UXExperimentalTerms.kif 240-255
If
a process
is an
instance
of
final fee
,
then there exist
a web listing
,
a financial transaction
,, ,
an agent
,, ,
an entity
and
a web site
such that
the web listing
is an
instance
of
web listing
and
the financial transaction
is an
instance
of
selling
and
the agent
is an
instance
of
agent
and
the entity
is an
instance
of
physical
and
the web listing
is an
instance
of
web listing
and
the entity
is a
patient
of
the web listing
and
the entity
is a
patient
of
the financial transaction
and
the financial transaction
cause
s
the process
and
the agent
is an
agent
of
the process
and
the web listing
is
hosted
on
the web site
and
the agent
possess
es
the web site
and
the agent
facilitates
the financial transaction
(=>
(
instance
?CHARGE
InsertionFee
)
(
exists
(?SITE ?OWNER ?ADVERT)
(
and
(
instance
?SITE
WebSite
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ADVERT
WebListing
)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
agent
?CHARGE ?OWNER))))
UXExperimentalTerms.kif 209-218
If
a process
is an
instance
of
insertion fee
,
then there exist
a web site
,
an agent
and
a web listing
such that
the web site
is an
instance
of
web site
and
the agent
is an
instance
of
agent
and
the web listing
is an
instance
of
web listing
and
the web listing
is
hosted
on
the web site
and
the agent
possess
es
the web site
and
the agent
is an
agent
of
the process
(=>
(
instance
?D
Dormitory
)
(
exists
(?S)
(
and
(
instance
?S
School
)
(
possesses
?S ?D))))
Mid-level-ontology.kif 6984-6989
If
an object
is an
instance
of
dormitory
,
then there exists
an agent
such that
the agent
is an
instance
of
school
and
the agent
possess
es
the object
(=>
(
instance
?FD
FoodDistributionOperation
)
(
exists
(?FOOD ?CA)
(
and
(
instance
?FOOD
(
FoodForFn
Animal
))
(
instance
?CA
CognitiveAgent
)
(
patient
?FD ?FOOD)
(
destination
?FD ?CA)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?FD))
(
possesses
?CA ?FOOD)))))
Military.kif 62-71
If
a process
is an
instance
of
food distribution operation
,
then there exist
an entity
and
another entity
such that
the entity
is an
instance
of
food
for
animal
and
the other entity
is an
instance
of
cognitive agent
and
the entity
is a
patient
of
the process
and
the process
end
s up at
the other entity
and
the other entity
possess
es
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
instance
?G
PublicGarden
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
possesses
?GOV ?G))))
Mid-level-ontology.kif 8199-8204
If
an object
is an
instance
of
public garden
,
then there exists
the object
OV such that
the object
OV is an
instance
of
government
and
the object
OV
possess
es
the object
(=>
(
instance
?Investment
Investment
)
(
exists
(?Investing ?Agent)
(
and
(
agent
?Investing ?Agent)
(
possesses
?Agent ?Investment))))
FinancialOntology.kif 1771-1776
If
an object
is an
instance
of
investment
,
then there exist
a process
and
an agent
such that
the agent
is an
agent
of
the process
and
the agent
possess
es
the object
(=>
(
instance
?L
Library
)
(
exists
(?B ?T)
(
and
(
possesses
?L ?B)
(
instance
?B
LibraryBuilding
)
(
instance
?T
Text
)
(
located
?T ?B))))
Mid-level-ontology.kif 8467-8474
If
an agent
is an
instance
of
library
,
then there exist
an object
and
a physical
such that
the agent
possess
es
the object
and
the object
is an
instance
of
library building
and
the physical
is an
instance
of
text
and
the physical
is
located
at
the object
(=>
(
instance
?LAR
LARUnit
)
(
exists
(?LAV)
(
and
(
instance
?LAV
LAV
)
(
possesses
?LAR ?LAV))))
MilitaryPersons.kif 532-537
If
an agent
is an
instance
of
LAR unit
,
then there exists
an object
such that
the object
is an
instance
of
LAV
and
the agent
possess
es
the object
(=>
(
instance
?LIST
ListOnSite
)
(
exists
(?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER)
(
and
(
instance
?SITE
WebSite
)
(
instance
?ADVERT
WebListing
)
(
instance
?EARLIER
TimeInterval
)
(
instance
?AFTER
TimeInterval
)
(
patient
?LIST ?ADVERT)
(
equal
(
EndFn
?EARLIER)
(
EndFn
?LIST))
(
earlier
?LIST ?AFTER)
(
meetsTemporally
?LIST ?AFTER)
(
holdsDuring
?EARLIER
(
not
(
hostedOn
?ADVERT ?SITE)))
(
holdsDuring
?AFTER
(
hostedOn
?ADVERT ?SITE))
(
agent
?LIST ?OWNER)
(
possesses
?OWNER ?SITE))))
UXExperimentalTerms.kif 266-286
If
a time interval
is an
instance
of
list on site
,
then there exist
an object
,
an entity
,, ,
another time interval
,, ,
a third time interval
and
an agent
such that
the object
is an
instance
of
web site
and
the entity
is an
instance
of
web listing
and
the other time interval
is an
instance
of
time interval
and
the third time interval
is an
instance
of
time interval
and
the entity
is a
patient
of
the time interval
and the
end
of
the other time interval
is
equal
to the
end
of
the time interval
and
the time interval
happens
earlier
than
the third time interval
and
the time interval
meet
s
the third time interval
and not
the entity
is
hosted
on
the object
holds
during
the other time interval
and
the entity
is
hosted
on
the object
holds
during
the third time interval
and
the agent
is an
agent
of
the time interval
and
the agent
possess
es
the object
(=>
(
instance
?M
ArtMuseum
)
(
exists
(?B ?A)
(
and
(
possesses
?M ?B)
(
instance
?B
Building
)
(
instance
?A
ArtWork
)
(
located
?A ?B))))
Mid-level-ontology.kif 8499-8506
If
an agent
is an
instance
of
art museum
,
then there exist
an object
and
a physical
such that
the agent
possess
es
the object
and
the object
is an
instance
of
building
and
the physical
is an
instance
of
art work
and
the physical
is
located
at
the object
(=>
(
instance
?MM
(
MerchantMarineFn
?AREA))
(
exists
(?REGISTER)
(
and
(
instance
?REGISTER
ShipRegister
)
(
possesses
?AREA ?REGISTER)
(
marineInventory
?MM ?REGISTER))))
Transportation.kif 1113-1119
If
a merchant marine
is an
instance
of the
merchant
marine of
a geopolitical area
,
then there exists
a ship register
such that
the ship register
is an
instance
of
ship register
and
the geopolitical area
possess
es
the ship register
and
the ship register
is a
marine
inventory of
the merchant marine
(=>
(
instance
?MP
AntiArmorPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
AntiArmorWeapon
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 603-608
If
an agent
is an
instance
of
anti armor platoon
,
then there exists
an object
such that
the object
is an
instance
of
anti armor weapon
and
the agent
possess
es
the object
(=>
(
instance
?MP
HeavyMGPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
HeavyMachineGun
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 619-624
If
an agent
is an
instance
of
heavyMG platoon
,
then there exists
an object
such that
the object
is an
instance
of
heavy machine gun
and
the agent
possess
es
the object
(=>
(
instance
?MP
HeavyMGPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
MK19
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 628-633
If
an agent
is an
instance
of
heavyMG platoon
,
then there exists
an object
such that
the object
is an
instance
of
Mk19
and
the agent
possess
es
the object
(=>
(
instance
?MP
MortarPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
MortarGun
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 556-561
If
an agent
is an
instance
of
mortar platoon
,
then there exists
an object
such that
the object
is an
instance
of
mortar gun
and
the agent
possess
es
the object
(=>
(
instance
?MV
MilitaryVehicle
)
(
and
(
instance
?A
MilitaryForce
)
(
possesses
?A ?MV)
(
capability
MilitaryProcess
patient
?MV)))
Military.kif 197-202
If
an object
is an
instance
of
military vehicle
,
then
an agent
is an
instance
of
military force
and
the agent
possess
es
the object
and
the object
is
capable
of doing
military process
as a
patient
(=>
(
instance
?N
BroadcastNetwork
)
(
exists
(?O)
(
and
(
instance
?O
Organization
)
(
forall
(?M)
(=>
(
member
?M ?N)
(
possesses
?O ?M))))))
Communications.kif 369-377
If
a collection
is an
instance
of
broadcast network
,
then there exists
an agent
such that
the agent
is an
instance
of
organization
and for all
an object
if
the object
is a
member
of
the collection
,
then
the agent
possess
es
the object
(=>
(
instance
?P
PublicPark
)
(
exists
(?G)
(
and
(
instance
?G
Government
)
(
possesses
?G ?P))))
Mid-level-ontology.kif 8128-8133
If
an object
is an
instance
of
public park
,
then there exists
an agent
such that
the agent
is an
instance
of
government
and
the agent
possess
es
the object
(=>
(
instance
?R
Restaurant
)
(
exists
(?D)
(
and
(
possesses
?R ?D)
(
instance
?D
DiningArea
))))
Mid-level-ontology.kif 7297-7302
If
an agent
is an
instance
of
restaurant
,
then there exists
an object
such that
the agent
possess
es
the object
and
the object
is an
instance
of
dining area
(=>
(
instance
?STORE
WebStore
)
(
exists
(?OWNER)
(
and
(
instance
?OWNER
Human
)
(
possesses
?OWNER ?STORE))))
UXExperimentalTerms.kif 2148-2153
If
an object
is an
instance
of
web store
,
then there exists
an agent
such that
the agent
is an
instance
of
human
and
the agent
possess
es
the object
(=>
(
instance
?SVC
SafetyDepositService
)
(
exists
(?SAFE ?KEEP ?OBJ ?AGENT)
(
and
(
serviceProvider
?SVC ?AGENT)
(
instance
?SAFE
SafeContainer
)
(
instance
?KEEP
Keeping
)
(
located
?KEEP ?SAFE)
(
possesses
?AGENT ?SAFE)
(
patient
?KEEP ?OBJ)
(
subProcess
?KEEP ?SVC)
(
not
(
possesses
?AGENT ?OBJ)))))
Hotel.kif 2262-2273
If
a service
is an
instance
of
safety deposit box
,
then there exist
an object
,
a process
,, ,
another object
and
a cognitive agent
such that
the cognitive agent
provides a service during
the service
and
the object
is an
instance
of
safe container
and
the process
is an
instance
of
keeping
and
the process
is
located
at
the object
and
the cognitive agent
possess
es
the object
and
the other object
is a
patient
of
the process
and
the process
is a
subprocess
of
the service
and
the cognitive agent
doesn't
possess
the other object
(=>
(
instance
?SVC
ShuttleService
)
(
exists
(?LIST ?VEHICLE ?AGENT)
(
and
(
agent
?SVC ?AGENT)
(
possesses
?AGENT ?VEHICLE)
(
instance
?VEHICLE
Automobile
)
(
instance
?LIST
List
)
(
forall
(?X)
(=>
(
inList
?X ?LIST)
(
and
(
instance
?X
PostalPlace
)
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Transportation
)
(
agent
?TRANSPORT ?AGENT)
(
instrument
?TRANSPORT ?VEHICLE)
(
destination
?TRANSPORT ?X)))))))))
Hotel.kif 2035-2053
If
a process
is an
instance
of
shuttle
,
then there exist
a list
,
an object
and
an agent
such that
the agent
is an
agent
of
the process
and
the agent
possess
es
the object
and
the object
is an
instance
of
automobile
and
the list
is an
instance
of
list
and for all
an entity
if
the entity
is a
member
of
the list
,
then
the entity
is an
instance
of
postal place
and there exists
another process
such that
the other process
is an
instance
of
transportation
and
the agent
is an
agent
of
the other process
and
the object
is an
instrument
for
the other process
and
the other process
end
s up at
the entity
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