possesses
(=>
(
and
(
instance
?T
Trespassing
)
(
agent
?T ?H)
(
patient
?T ?P))
(
and
(
not
(
possesses
?H ?P))
(
modalAttribute
(
located
?H ?P)
Illegal
)))
Mid-level-ontology.kif 18291-18301
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 6871-6875
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 2138-2146
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 30956-30971
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 30898-30908
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 30923-30938
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 30973-30987
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 30912-30921
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 30940-30954
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 2777-2782
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 1786-1791
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 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 3691-3711
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 469-471
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 7432-7434
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 4280-4283
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 3735-3755
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 25142-25148
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 176-183
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 7453-7458
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 3323-3330
If
an agent
is an
instance
of
Airline
,
then there exist
a collection
and
a physical
such that
the collection
is an
instance
of
Fleet
and
the agent
possess
es
the collection
and
the physical
is an
instance
of
aircraft
and
the physical
is a
member
of
the collection
(=>
(
instance
?C
CruiseShip
)
(
hasPurpose
?C
(
exists
(?E ?A ?O)
(
and
(
instance
?E
RecreationOrExercise
)
(
possesses
?O ?C)
(
agent
?E ?A)
(
customer
?O ?A)
(
eventLocated
?E ?C)))))
Transportation.kif 2471-2480
If
a physical
is an
instance
of
cruise ship
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
recreation or exercise
and
the third entity
possess
es
the physical
and
the other entity
is an
agent
of
the entity
and
the other entity
is a
customer
of
the third entity
and
the entity
is
located
at
the physical
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