possesses
(=>
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
instance
?SHIP
Ship
)
(
possesses
?SHIP ?REGISTRATION)
(
instance
?AREA
GeopoliticalArea
)
(
flagState
?SHIP ?AREA))
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))
Transportation.kif 1086-1093
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)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1174-1193
If
a cognitive agent
is an
instance
of
restaurant
and
an object
is an
instance
of
dining room
and
PrivateAttribute
is an
attribute
of
the object
and
the cognitive agent
possess
es
the object
and
the cognitive agent
is a
customer
of
another cognitive agent
and
a process
is an
instance
of
eating
and
the other cognitive agent
is an
agent
of
the process
and
the other cognitive agent
is an
instance
of
group of people
,
then the statement there doesn't exist
an entity
such that
the cognitive agent
is a
customer
of
the entity
and
the other cognitive agent
is not
equal
to
the entity
and
another entity
is an
instance
of
eating
and
the entity
is an
agent
of
the other entity
and
the other entity
is
located
at
2
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 11379-11391
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
2
for
permission
(=>
(
and
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
?TIME
(
possesses
?AGENT2 ?OBJ)))
(
equal
?AGENT1 ?AGENT2))
Merge.kif 4064-4069
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 6594-6600
If
a permanent residence
is an
instance
of
single family residence
and
a human
の
home
は
the permanent residence
では %n 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 14143-14155
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
?CUST ?X))))
(
and
(
price
?X ?PRICE ?AGENT)
(
greaterThan
?PRICE
(
MeasureFn
0
UnitedStatesDollar
))))
Hotel.kif 844-867
If renters of
a kind of hotel function room
can
pay
to use
a set or class
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
a cognitive 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
another cognitive agent
and
an agent
is an
instance
of
the set or class
and
the cognitive agent
possess
es
the agent
and
the cognitive agent
is a
customer
of
the other cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
a currency measure
for
the cognitive agent
and
the currency measure
is
greater
than 0
united states dollar
(s)
(=>
(
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
?CUST ?X))))
(
and
(
price
?X ?PRICE ?AGENT)
(
greaterThan
?PRICE
(
MeasureFn
0
UnitedStatesDollar
))))
Hotel.kif 545-562
If renters of
a cognitive agent
can
pay
to use
a set or class
and
an agent
is an
instance
of
the set or class
and
the cognitive agent
is a
customer
of
another cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
a currency measure
for
the cognitive agent
and
the currency measure
is
greater
than 0
united states dollar
(s)
(=>
(
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 2160-2170
If
an agent
possess
es
an object
and the
measure
of
the object
is
a real number
ShareUnit
(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
ShareUnit
(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
another cognitive agent
is a
customer
of
the cognitive agent
and
the other cognitive 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 other cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the other object
,
then
the cognitive agent
allow
s
the other cognitive 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
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE ?TIME))
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
possesses
?OBJ ?AGENT)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X ?DURATION)
(
lessThanOrEqualTo
?DURATION ?TIME))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 450-472
If the
price
of
a kind of physical
set by
a cognitive agent
according to
a pricing scheme
is
a function quantity
and
the function quantity
is
equal
to the
per
of
a currency measure
and
a physical quantity
and
an entity
is an
immediate
instance of
a kind of physical
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the kind of physical
possess
es
the cognitive agent
and
an agent
is an
agent
of
the process
and
the process
exists
during
the physical quantity
INT,
then for all
another time interval
if
the physical quantity
INT takes place
during
the other time interval
and
the other time interval
is an
instance
of
time interval
and
duration
of
the other time interval
is
a time duration
and
the time duration
is
less
than or equal to
the physical quantity
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
payment
and
the financial transaction
end
s up at
the cognitive agent
and
the agent
is an
agent
of
the financial transaction
and
the currency measure
is a
transaction
amount of
the financial transaction
(=>
(
and
(
riskTolerance
?Agent ?Level)
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))
(
riskLevel
?Investment ?Level))
FinancialOntology.kif 3388-3393
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)
(
modalAttribute
(
uses
?OBJ ?PERSON)
Permission
))
Merge.kif 4060-4062
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
