possesses
(=>
(
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 1157-1166
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 19862-19872
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 8032-8036
If
a permanent residence
is an
instance
of
apartment unit
and the
home
of
a human
is
the permanent residence
,
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 2149-2157
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
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 32892-32907
If there is a
shortage
of
a quantity
of
a kind of object
for
a cognitive agent
at
a currency measure
during
a time interval
and
the quantity
is an
instance
of
integer
,
then
the cognitive agent
desire
s there exist
an entity
and
another entity
such that
the entity
is an
instance
of
buying
and the
time
of existence of
the entity
takes place
during
the time interval
and the object transferred in
the entity
is
the other entity
and
the currency measure
is a
transaction
amount of
the entity
and
the cognitive agent
is an
agent
of
the entity
and
the other entity
is an
instance
of
collection
and
a kind of object
is a
member
type of
the other entity
and
the quantity
is a
member
count of
the other entity
and
the cognitive agent
possess
es
the other entity
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 32834-32844
If there is a
shortage
of
a quantity
of
a kind of object
for
a cognitive agent
at
a currency measure
during
a time interval
and
the quantity
is an
instance
of
integer
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
collection
and
a kind of object
is a
member
type of
the entity
and
the quantity
is a
member
count of
the entity
and
the cognitive agent
possess
es
the entity
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 32859-32874
If there is a
shortage
of
an integer
of
a kind of object
for
an agent
at
a currency measure
during
a time interval
and
the integer
is an
instance
of
integer
,
then there don't exist
a transfer
and
a collection
such that
the transfer
is an
instance
of
buying
and the
time
of existence of
the transfer
takes place
during
the time interval
and the object transferred in
the transfer
is
the collection
and
the currency measure
is a
transaction
amount of
the transfer
and
the agent
is an
agent
of
the transfer
and
the collection
is an
instance
of
collection
and
a kind of object
is a
member
type of
the collection
and
the integer
is a
member
count of
the collection
and
the agent
possess
es
the collection
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 32909-32923
If there is a
shortage
of
a quantity
of
a kind of object
for
a cognitive agent
at
a currency measure
during
a time interval
and
the quantity
is an
instance
of
physical quantity
,
then
the cognitive agent
desire
s there exist
an entity
and
another entity
such that
the entity
is an
instance
of
buying
and the
time
of existence of
the entity
takes place
during
the time interval
and the object transferred in
the entity
is
the other entity
and
the currency measure
is a
transaction
amount of
the entity
and
the cognitive agent
is an
agent
of
the entity
and
the other entity
is an
instance
of
a kind of object
and the
measure
of
the other entity
is
the quantity
and
the cognitive agent
possess
es
the other entity
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 32848-32857
If there is a
shortage
of
a quantity
of
a kind of object
for
a cognitive agent
at
a currency measure
during
a time interval
and
the quantity
is an
instance
of
physical quantity
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the quantity
and
the cognitive agent
possess
es
the entity
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 32876-32890
If there is a
shortage
of
a physical quantity
of
a kind of object
for
an agent
at
a currency measure
during
a time interval
and
the physical quantity
is an
instance
of
physical quantity
,
then there don't exist
a transfer
and
another object
such that
the transfer
is an
instance
of
buying
and the
time
of existence of
the transfer
takes place
during
the time interval
and the object transferred in
the transfer
is
the other object
and
the currency measure
is a
transaction
amount of
the transfer
and
the agent
is an
agent
of
the transfer
and
the other object
is an
instance
of
a kind of object
and the
measure
of
the other object
is
the physical quantity
and
the agent
possess
es
the other object
(=>
(
and
(
wants
?AGENT ?OBJ)
(
instance
?OBJ
Object
))
(
desires
?AGENT
(
possesses
?AGENT ?OBJ)))
Merge.kif 2788-2793
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 1803-1808
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
?ORG
Greedy
)
(
exists
(?OBJ)
(
and
(
instance
?ORG
Organism
)
(
instance
?OBJ
Physical
)
(
desires
?ORG
(
possesses
?ORG ?OBJ))
(
not
(
modalAttribute
(
possesses
?ORG ?OBJ)
Necessity
)))))
Mid-level-ontology.kif 21401-21409
If
greedy
is an
attribute
of
a cognitive agent
,
then there exists
an entity
such that
the cognitive agent
is an
instance
of
organism
and
the entity
is an
instance
of
physical
and
the cognitive agent
desire
s
the cognitive agent
possess
es
the entity
and the statement
the cognitive agent
possess
es
the entity
doesn't have the
modal
force
of
necessity
(=>
(
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 9711-9720
If
passenger car rental
is an
attribute
of
an object
,
then
the object
has the 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
(=>
(
dayPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 6)
(
lessThan
?Num 18)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3709-3729
If
an agent
is a
day
phone of
a symbolic string
,
then there exist
a telephone
,
an entity
and
a real number
such that
the telephone
is a
phone
number of
the symbolic string
and
the real number
is
greater
than 6 and
the real number
is
less
than 18 and there exists
another entity
such that
the other entity
is an
instance
of
telephoning
and
the other entity
end
s up at
the agent
and
the telephone
is a
patient
of
the other entity
and
the agent
possess
es
the telephone
and the statement there exists
a third entity
such that
the third entity
is an
instance
of
answering
and
the third entity
is a
subprocess
of
the other entity
and
the agent
is an
agent
of
the third entity
has the
modal
force
of
likely
holds
during
the entity
is an
instance
of the
hour
the real number
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
possesses
?COUNTRY ?AREA))
Government.kif 433-435
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 8597-8599
If
a cognitive agent
dislikes
an object
,
then
the cognitive agent
desire
s
the cognitive agent
doesn't
possess
the object
(=>
(
element
?OBJ
(
PropertyFn
?PERSON))
(
possesses
?PERSON ?OBJ))
Merge.kif 4308-4311
If
an object
is an
element
of
belongings
of
an agent
,
then
the agent
possess
es
the object
(=>
(
eveningPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 18)
(
lessThan
?Num 6)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3753-3773
If
an agent
is an
evening
phone of
a symbolic string
,
then there exist
a telephone
,
an entity
and
a real number
such that
the telephone
is a
phone
number of
the symbolic string
and
the real number
is
greater
than 18 and
the real number
is
less
than 6 and there exists
another entity
such that
the other entity
is an
instance
of
telephoning
and
the other entity
end
s up at
the agent
and
the telephone
is a
patient
of
the other entity
and
the agent
possess
es
the telephone
and the statement there exists
a third entity
such that
the third entity
is an
instance
of
answering
and
the third entity
is a
subprocess
of
the other entity
and
the agent
is an
agent
of
the third entity
has the
modal
force
of
likely
holds
during
the entity
is an
instance
of the
hour
the real number
(=>
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
instance
?DEVICE
MobileCellPhone
)
(
mobilePhoneNumber
?NUMBER ?AGENT)))
(
holdsDuring
?TIME
(
possesses
?AGENT ?DEVICE)))
Mid-level-ontology.kif 26804-26810
If
an entity
has
number
another entity
and
the entity
is an
instance
of
mobile cell phone
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 169-176
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
equal
the other entity
and
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 8620-8625
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 656-661
If
an agent
is an
instance
of
assault amphibian unit
,
then there exists
an object
such that
the object
is an
instance
of
AAV
and
the agent
possess
es
the object
(=>
(
instance
?AB
ArtilleryBattery
)
(
exists
(?COLL)
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
ArtilleryGun
)
(
memberCount
?COLL ?I)
(
greaterThan
?I 2)
(
possesses
?AB ?COLL))))
MilitaryPersons.kif 505-513
If
an agent
is an
instance
of
artillery battery
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and
artillery gun
is a
member
type of
the collection
and
an integer
is a
member
count of
the collection
and
the integer
is
greater
than 2 and
the agent
possess
es
the collection
(=>
(
instance
?AB
InfantryUnit
)
(
exists
(?AC)
(
and
(
or
(
instance
?AC
AutomaticGun
)
(
instance
?AC
Firearm
)
(
instance
?AC
MortarGun
)
(
instance
?AC
LandMine
))
(
possesses
?AB ?AC))))
Military.kif 753-762
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
land mine
and
the agent
possess
es
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 3.0 is
open source software
produced by
Articulate Software
and its partners