possesses
(=>
(
and
(
instance
?P
Passport
)
(
possesses
?A ?P))
(
confersNorm
?P
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Translocation
)
(
agent
?T ?A)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))))
Permission
))
Mid-level-ontology.kif 16561-16575
If
an object
is an
instance
of
passport
and
an agent
possess
es
the object
,
then
the object
confers
norm there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
translocation
and
the agent
is an
agent
of
the entity
and
the entity
originate
s at
the other entity
and
the entity
end
s up at
the third entity
and
the other entity
is an
instance
of
nation
and
the third entity
is an
instance
of
nation
and
the other entity
is not
equal
to
the third entity
for
permission
(=>
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
instance
?SHIP
Ship
)
(
possesses
?SHIP ?REGISTRATION)
(
instance
?AREA
GeopoliticalArea
)
(
flagState
?SHIP ?AREA))
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))
Transportation.kif 1097-1104
If
an object
is an
instance
of
ship registration
and
an agent
is an
instance
of
ship
and
the agent
possess
es
the object
and
a geopolitical area
is an
instance
of
geopolitical area
and
the geopolitical area
is a
flag
state of
the agent
,
then the
ship
register of
the geopolitical area
subsume
s the content of
the object
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
If
an agent
is an
instance
of
restaurant
and
an object
is an
instance
of
dining room
and
private attribute
is an
attribute
of
the object
and
the agent
possess
es
the object
and
the agent
is a
customer
of
a cognitive agent
and
a process
is an
instance
of
eating
and
the cognitive agent
is an
agent
of
the process
and
the cognitive agent
is an
instance
of
group of people
,
then the statement there don't exist
an entity
and
another entity
such that
the agent
is a
customer
of
the entity
and
the cognitive agent
is not
equal
to
the entity
and
the other entity
is an
instance
of
eating
and
the entity
is an
agent
of
the other entity
and
the other entity
is
located
at
the object
holds
during
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
If
an agent
is an
instance
of
ticket
and
the agent
possess
es
an object
and
a cognitive agent
is an
issued
by of
the agent
and
amusement gambling and recreation industries
is an
attribute
of
the cognitive agent
and
the cognitive agent
is
located
at
another object
,
then
the cognitive agent
confers
norm there exists
an entity
such that
the entity
is an
instance
of
recreation or exercise
and
the object
experience
s
the entity
and
the entity
is
located
at
the other object
for
permission
(=>
(
and
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
?TIME
(
possesses
?AGENT2 ?OBJ)))
(
equal
?AGENT1 ?AGENT2))
Merge.kif 4265-4270
If
a time position
is an
instance
of
time position
and
an entity
possess
es
another entity
holds
during
the time position
and
a third entity
possess
es
the other entity
holds
during
the time position
,
then
the entity
is
equal
to
the third entity
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6921-6927
If
a permanent residence
is an
instance
of
single family residence
and the
home
of
a human
is
the permanent residence
and
the human
possess
es
the permanent residence
and
the permanent residence
is not an
instance
of
building
,
then
the permanent residence
is an
instance
of
condominium unit
(=>
(
and
(
instance
?WEAPON
BiochemicalWeapon
)
(
possesses
?AGENT ?WEAPON))
(
capability
BiochemicalAttack
agent
?AGENT))
WMD.kif 51-55
If
an object
is an
instance
of
biochemical weapon
and
an agent
possess
es
the object
,
then
the agent
is
capable
of doing
biochemical attack
as a
agent
(=>
(
and
(
issuedBy
?TICKET ?AGENT)
(
instance
?TICKET
Ticket
)
(
possesses
?CUST ?TICKET))
(
confersNorm
?AGENT
(
exists
(?T)
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
agent
?P ?AGENT)
(
experiencer
?P ?CUST)))))
Permission
))
Mid-level-ontology.kif 16542-16554
If
a cognitive agent
is an
issued
by of
a certificate
and
the certificate
is an
instance
of
ticket
and
an agent
possess
es
the certificate
,
then
the cognitive agent
confers
norm there exists
an entity
such that there exists
another entity
such that
the other entity
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the other entity
and
the agent
experience
s
the other entity
holds
during
the entity
for
permission
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
If renters of
a kind of hotel function room
can
pay
to use
a kind of physical
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
an agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the process
end
s up at
a cognitive agent
and
an object
is an
instance
of
a kind of physical
and
the agent
possess
es
the object
and
the agent
is a
customer
of
the cognitive agent
and
the object
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the object
or
the cognitive agent
experience
s
the object
or
the agent
possess
es
the object
and
the object
is an
instance
of
object
and
the cognitive agent
use
s
the object
,
then there exist
a real number
and
an unit of measure
such that
the object
is
price
the real number
the unit of measure
(s) for
the agent
and
the unit of measure
is an
instance
of
unit of currency
and
the real number
is
greater
than 0
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
If renters of
an agent
can
pay
to use
a kind of physical
and
a process
is an
instance
of
a kind of physical
and
the agent
is a
customer
of
a cognitive agent
and
the process
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the process
or
the cognitive agent
experience
s
the process
or
the agent
possess
es
the process
and
the process
is an
instance
of
object
and
the cognitive agent
use
s
the process
,
then there exist
a real number
and
an unit of measure
such that
the process
is
price
the real number
the unit of measure
(s) for
the agent
and
the unit of measure
is an
instance
of
unit of currency
and
the real number
is
greater
than 0
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
If
an agent
possess
es
an object
and the
measure
of
the object
is
a real number
share unit
(s) and
a stock split
is
split
for
an integer
for
another integer
,
then
an entity
is
equal
to
the real number
and
the other integer
and
another entity
is
equal
to
the entity
and
the integer
and the
measure
of
the object
is
the other entity
share unit
(s) holds
during
immediately
after
the
time
of existence of
the stock split
(=>
(
and
(
possesses
?BUS ?PARK)
(
instance
?BUS
CommercialAgent
)
(
instance
?PARK
ParkingLot
)
(
instance
?BLDG
Building
)
(
located
?BUS ?BLDG)
(
customer
?BUS ?CUST)
(
holdsDuring
?T
(
located
?CUST ?BLDG))
(
instance
?DRIVE
Driving
)
(
patient
?DRIVE ?VEHICLE)
(
agent
?DRIVE ?CUST)
(
destination
?DRIVE ?BLDG))
(
holdsDuring
?T
(
confersRight
(
and
(
instance
?PUT
Keeping
)
(
destination
?PUT ?PARK)
(
patient
?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-121
If
a cognitive agent
possess
es
an object
and
the cognitive agent
is an
instance
of
commercial agent
and
the object
is an
instance
of
parking lot
and
another object
is an
instance
of
building
and
the cognitive agent
is
located
at
the other object
and
an agent
is a
customer
of
the cognitive agent
and
the agent
is
located
at
the other object
holds
during
a time position
and
a process
is an
instance
of
driving
and
an entity
is a
patient
of
the process
and
the agent
is an
agent
of
the process
and
the process
end
s up at
the other object
,
then
the cognitive agent
allow
s
the agent
to perform task of the type
another entity
is an
instance
of
keeping
and
the other entity
end
s up at
the object
and
the entity
is a
patient
of
the other entity
holds
during
the time position
(=>
(
and
(
riskTolerance
?Agent ?Level)
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))
(
riskLevel
?Investment ?Level))
FinancialOntology.kif 3490-3495
If
a risk attribute
is a
risk
tolerance of
an agent
and
an object
is an
instance
of
investment
and
the agent
possess
es
the object
,
then the
risk
level
of
the object
is
the risk attribute
(=>
(
possesses
?PERSON ?OBJ)
(
element
?OBJ
(
PropertyFn
?PERSON)))
Merge.kif 4285-4288
If
an agent
possess
es
an object
,
then
the object
is an
element
of
belongings
of
the agent
(=>
(
possesses
?PERSON ?OBJ)
(
modalAttribute
(
uses
?OBJ ?PERSON)
Permission
))
Merge.kif 4253-4255
If
an agent
possess
es
an object
,
then the statement
the agent
use
s
the object
has the
modal
force
of
permission
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