possesses
(=>
(
and
(
instance
?S
Saving
)
(
patient
?S ?O)
(
agent
?S ?A))
(
exists
(?Q1 ?Q2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?S))
(
monetaryValue
?O ?Q1))
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
monetaryValue
?O ?Q2))
(
possesses
?A ?O)
(
lessThan
?Q1 ?Q2))))
Mid-level-ontology.kif 21765-21779
If
a process
is an
instance
of
saving
and
an object
is a
patient
of
the process
and
an agent
is an
agent
of
the process
,
then there exist
a quantity
and
another quantity
such that
value
of
the object
is
the quantity
holds
during
the
beginning
of the
time
of existence of
the process
and
value
of
the object
is
the other quantity
holds
during
the
end
of the
time
of existence of
the process
and
the agent
possess
es
the object
and
the quantity
is
less
than
the other quantity
(=>
(
and
(
instance
?SHIP
Ship
)
(
instance
?AREA
GeopoliticalArea
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
exists
(?REGISTRATION)
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
possesses
?SHIP ?REGISTRATION)
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))))
Transportation.kif 1146-1155
If
an agent
is an
instance
of
ship
and
a geopolitical area
is an
instance
of
geopolitical area
and
the agent
is a
member
of the
merchant
marine of
the geopolitical area
,
then there exists
an object
such that
the object
is an
instance
of
ship registration
and
the agent
possess
es
the object
and the
ship
register of
the geopolitical area
subsume
s the content of
the object
(=>
(
and
(
instance
?T
Trespassing
)
(
agent
?T ?H)
(
patient
?T ?P))
(
and
(
not
(
possesses
?H ?P))
(
modalAttribute
(
located
?H ?P)
Illegal
)))
Mid-level-ontology.kif 15992-16002
If
a process
is an
instance
of
trespassing
and
an agent
is an
agent
of
the process
and
an object
is a
patient
of
the process
,
then
the agent
doesn't
possess
the object
and the statement
the agent
is
located
at
the object
has the
modal
force
of
illegal
(=>
(
and
(
instance
?UNIT
ApartmentUnit
)
(
home
?PERSON ?UNIT))
(
not
(
possesses
?PERSON ?UNIT)))
Mid-level-ontology.kif 6544-6548
If
a permanent residence
is an
instance
of
apartment unit
and
a human
の
home
は
the permanent residence
では %n,
then
the human
doesn't
possess
the permanent residence
(=>
(
and
(
instance
?X
PhotocopyingService
)
(
serviceProvider
?X ?AGENT))
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
Photocopier
)
(
possesses
?AGENT ?DEVICE)
(
instrument
?X ?DEVICE))))
Hotel.kif 2084-2092
If
a service
is an
instance
of
photocopying service
and
a cognitive agent
provides a service during
the service
,
then there exists
an object
such that
the object
is an
instance
of
Photocopier
and
the cognitive agent
possess
es
the object
and
the object
is an
instrument
for
the service
(=>
(
and
(
wants
?AGENT ?OBJ)
(
instance
?OBJ
Object
))
(
desires
?AGENT
(
possesses
?AGENT ?OBJ)))
Merge.kif 2678-2683
If
a cognitive agent
want
s
a physical
and
the physical
is an
instance
of
object
,
then
the cognitive agent
desire
s
the cognitive agent
possess
es
the physical
(=>
(
attribute
?Agent
Investor
)
(
exists
(?Investment)
(
and
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))))
FinancialOntology.kif 1721-1726
If
investor
is an
attribute
of
an agent
,
then there exists
an object
such that
the object
is an
instance
of
investment
and
the agent
possess
es
the object
(=>
(
attribute
?X
PassengerCarRental
)
(
hasPurpose
?X
(
exists
(?RENT ?CAR ?CUST)
(
and
(
customer
?CUST ?X)
(
instance
?CAR
Automobile
)
(
instance
?RENT
Renting
)
(
possesses
?X ?CAR)
(
agent
?RENT ?CUST)))))
naics.kif 9634-9643
If
passenger car rental
is an
attribute
of
an object
,
then
the object
purpose there exist
an entity
,
another entity
and
a third entity
such that
the object
is a
customer
of
the third entity
and
the other entity
is an
instance
of
automobile
and
the entity
is an
instance
of
renting
and
the object
possess
es
the other entity
and
the third entity
is an
agent
of
the entity
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
possesses
?COUNTRY ?AREA))
Government.kif 458-460
If
a geopolitical area
is a
dependent
of
another geopolitical area
,
then
the other geopolitical area
possess
es
the geopolitical area
(=>
(
dislikes
?AGENT ?OBJECT)
(
desires
?AGENT
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7137-7139
If
a cognitive agent
dislikes
an object
,
then
the cognitive agent
desire
s
the cognitive agent
doesn't
possess
the object
(=>
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
mobilePhoneNumber
?NUMBER ?AGENT)))
(
holdsDuring
?TIME
(
possesses
?AGENT ?DEVICE)))
Mid-level-ontology.kif 23044-23049
If
an entity
has
number
another entity
and the
mobile
number
of
a third entity
is
the other entity
holds
during
a time position
,
then
the third entity
possess
es
the entity
holds
during
the time position
(=>
(
holdsDuring
?TIME
(
attribute
?SLAVE
HumanSlave
))
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
not
(
equal
?PERSON ?SLAVE))
(
holdsDuring
?TIME
(
possesses
?PERSON ?SLAVE)))))
Mid-level-ontology.kif 307-314
If
human slave
is an
attribute
of
an entity
holds
during
a time position
,
then there exists
another entity
such that
the other entity
is an
instance
of
human
and
the other entity
is not
equal
to
the entity
and
the other entity
possess
es
the entity
holds
during
the time position
(=>
(
holdsDuring
?TIME
(
lacks
?AGENT ?OBJECT))
(
holdsDuring
?TIME
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7158-7160
If
an entity
lacks
another entity
holds
during
a time position
,
then
the entity
doesn't
possess
the other entity
holds
during
the time position
(=>
(
instance
?AAU
AssaultAmphibianUnit
)
(
exists
(?AAV)
(
and
(
instance
?AAV
AAV
)
(
possesses
?AAU ?AAV))))
MilitaryPersons.kif 642-647
If
an agent
is an
instance
of
assault amphibian unit
,
then there exists
an object
such that
the object
is an
instance
of
Amphibious Assault Vehicle
and
the agent
possess
es
the object
(=>
(
instance
?AB
ArtilleryBattery
)
(
exists
(?AC)
(
and
(
instance
?AC
ArtilleryCannon
)
(
possesses
?AB ?AC))))
MilitaryPersons.kif 494-499
If
an agent
is an
instance
of
artillery battery
,
then there exists
an object
such that
the object
is an
instance
of
artillery cannon
and
the agent
possess
es
the object
(=>
(
instance
?AB
InfantryUnit
)
(
exists
(?AC)
(
and
(
or
(
instance
?AC
AutomaticGun
)
(
instance
?AC
Firearm
)
(
instance
?AC
MortarGun
)
(
instance
?AC
ExplosiveMine
))
(
possesses
?AB ?AC))))
Military.kif 676-685
If
an agent
is an
instance
of
infantry unit
,
then there exists
an object
such that
the object
is an
instance
of
automatic gun
or
the object
is an
instance
of
firearm
or
the object
is an
instance
of
mortar gun
or
the object
is an
instance
of
explosive mine
and
the agent
possess
es
the object
(=>
(
instance
?AIRLINE
Airline
)
(
exists
(?FLEET ?AIRCRAFT)
(
and
(
instance
?FLEET
Fleet
)
(
possesses
?AIRLINE ?FLEET)
(
instance
?AIRCRAFT
Aircraft
)
(
member
?AIRCRAFT ?FLEET))))
Transportation.kif 3301-3308
If
an agent
is an
instance
of
Airline
,
then there exist
a collection
and
an object
such that
the collection
is an
instance
of
Fleet
and
the agent
possess
es
the collection
and
the object
is an
instance
of
aircraft
and
the object
is a
member
of
the collection
(=>
(
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 6879-6887
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 6975-6985
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
Agent
)
(
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 305-320
If
a process
is an
instance
of
final fee
,
then there exist
a web listing
,
a financial transaction
,, ,
an agent
,, ,
an entity
and
a WebSite
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 WebSite
and
the agent
possess
es
the WebSite
and
the agent
facilitates
the financial transaction
(=>
(
instance
?CHARGE
InsertionFee
)
(
exists
(?SITE ?OWNER ?ADVERT)
(
and
(
instance
?SITE
WebSite
)
(
instance
?OWNER
Agent
)
(
instance
?ADVERT
WebListing
)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
agent
?CHARGE ?OWNER))))
UXExperimentalTerms.kif 269-278
If
a process
is an
instance
of
insertion fee
,
then there exist
a WebSite
,
an agent
and
a web listing
such that
the WebSite
is an
instance
of
WebSite
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 WebSite
and
the agent
possess
es
the WebSite
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 6644-6649
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
?Investment
Investment
)
(
exists
(?Investing ?Agent)
(
and
(
agent
?Investing ?Agent)
(
possesses
?Agent ?Investment))))
FinancialOntology.kif 1706-1711
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 8192-8199
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
LibraryBuilding
and
the physical
is an
instance
of
text
and
the physical
is
located
at
the object
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
