destination
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
not
(
desires
?DEST ?PROP)))
Mid-level-ontology.kif 860-865
If
a process
is an
instance
of
threatening
and
a formula
is a
patient
of
the process
and
the process
end
s up at
a cognitive agent
,
then
the cognitive agent
doesn't
desire
the formula
(=>
(
and
(
instance
?TRANSPORT
Vehicle
)
(
instance
?MOVE
Translocation
)
(
instrument
?MOVE ?TRANSPORT)
(
destination
?MOVE ?TO))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOVE))
(
located
?TRANSPORT ?TO)))
Merge.kif 15992-15998
If
an object
is an
instance
of
vehicle
and
a process
is an
instance
of
translocation
and
the object
is an
instrument
for
the process
and
the process
end
s up at
an entity
,
then
the object
is
located
at
the entity
holds
during
the
beginning
of the
time
of existence of
the process
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
destination
?Transaction ?Agent))
(
and
(
instance
?Service
CommercialService
)
(
agent
?Service ?Agent)
(
attribute
?Service
OpenService
)))
FinancialOntology.kif 3959-3966
If
a process
is an
instance
of
financial transaction
and
the process
end
s up at
an agent
,
then
another process
is an
instance
of
commercial service
and
the agent
is an
agent
of
the other process
and
open service
is an
attribute
of
the other process
(=>
(
and
(
instance
?Transfer
ExternalTransfer
)
(
origin
?Transfer ?Organization1)
(
instance
?Organization1
FinancialOrganization
)
(
destination
?Transfer ?Organization2)
(
instance
?Organization2
FinancialOrganization
))
(
equal
?Organization1 ?Organization2))
FinancialOntology.kif 4143-4150
If
a process
is an
instance
of
external transfer
and
the process
originate
s at
an object
and
the object
is an
instance
of
financial organization
and
the process
end
s up at
an entity
and
the entity
is an
instance
of
financial organization
,
then
the object
is
equal
to
the entity
(=>
(
and
(
instance
?Transfer
ExternalTransfer
)
(
origin
?Transfer ?Organization1)
(
instance
?Organization1
FinancialOrganization
)
(
destination
?Transfer ?Organization2)
(
instance
?Organization2
FinancialOrganization
))
(
not
(
equal
?Organization1 ?Organization2)))
FinancialOntology.kif 4129-4136
If
a process
is an
instance
of
external transfer
and
the process
originate
s at
an object
and
the object
is an
instance
of
financial organization
and
the process
end
s up at
an entity
and
the entity
is an
instance
of
financial organization
,
then
the object
is not
equal
to
the entity
(=>
(
and
(
instance
?U
UnitOfCurrency
)
(
reservePrice
?AUCTION
(
MeasureFn
?AMOUNT ?U))
(
destination
?AUCTION ?BUYER))
(
exists
(?OFFER ?ITEM)
(
and
(
bidPrice
?ITEM
(
MeasureFn
?OFFER ?U) ?BUYER)
(
greaterThan
?OFFER ?AMOUNT))))
UXExperimentalTerms.kif 415-423
If
an unit of measure
is an
instance
of
unit of currency
and the
reserve
price
of
an auctioning
is
a real number
the unit of measure
(s) and
the auctioning
end
s up at
an agent
,
then there exist
another real number
and
an object
such that
the agent
bids
the other real number
the unit of measure
(s) for
the object
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
If
an object
is an
instance
of
vented chest seal
and
a transfer
is an
instance
of
attaching
and the object transferred in
the transfer
is
the object
and
the transfer
end
s up at
an entity
,
then
the object
has the purpose there exist
the transfer
,
another entity
,, ,
a third entity
and
the entity
such that
the transfer
is an
instance
of
air
and
the other entity
is an
instance
of
lung
and
the third entity
is an
instance
of
chest
and
the other entity
is a
part
of
the entity
and
the third entity
is a
part
of
the entity
and
the transfer
is
between
the other entity
and
the third entity
holds
during
immediately
before
the
time
of existence of
the transfer
and
the object
has the purpose
the transfer
is
outside
to
the entity
holds
during
immediately
after
the
time
of existence of
the transfer
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
If
a collection
is an
instance
of
collection
and
another collection
is an
instance
of
collection
and
the other collection
is a proper
sub
-collection of
the collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
accessing web page
and for all
a process
,
an agent
,, ,
another process
,, ,
the process
and
an object
if
the agent
is an
instance
of
human
and
the process
is an
instance
of
buying
and
the other process
is an
instance
of
accessing web page
and
the object
is an
instance
of
web page
and
the other process
is a
member
of
the collection
and
the other process
end
s up at
the object
and
the agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the process
takes place
during
the
time
of existence of
the other process
and
the object
is an
instrument
for
the process
,
then
the process
is a
member
of
the other collection
,
then there exist
a time interval
,
an entity
_IN_INTERVAL and
another entity
_IN_INTERVAL such that
purchases
made in
the collection
during
the time interval
is
equal
to the number of
instances
in the
class
described by
the entity
_IN_INTERVAL and the number of
instances
in the
class
described by
the other entity
_IN_INTERVAL
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
destination
?Processing
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Deposit ?DepositTime)
(
and
(
instance
?Deposit
Deposit
)
(
instrument
?Deposit ?Check)
(
equal
(
WhenFn
?Deposit) ?DepositTime)
(
meetsTemporally
?ProcessingTime ?DepositTime)
(
transactionAmount
?Deposit ?Amount)
(
destination
?Deposit
(
CurrencyFn
?Account)))))
FinancialOntology.kif 120-135
If
value
of
an object
is
a currency measure
and
a process
is an
instance
of
processingA check
and
the object
is a
patient
of
the process
and
the process
end
s up at the
currency
of
a financial account
and
the financial account
is an
instance
of
financial account
and the
time
of existence of
the process
is
equal
to
the process
Time,
then there exist
a financial transaction
and
the financial transaction
Time such that
the financial transaction
is an
instance
of
deposit
and
the object
is an
instrument
for
the financial transaction
and the
time
of existence of
the financial transaction
is
equal
to
the financial transaction
Time and
the process
Time
meet
s
the financial transaction
Time and
the currency measure
is a
transaction
amount of
the financial transaction
and
the financial transaction
end
s up at the
currency
of
the financial account
(=>
(
and
(
origin
AntarcticCircumpolarCurrent
?START)
(
destination
AntarcticCircumpolarCurrent
?FINISH))
(
distance
?START ?FINISH
(
MeasureFn
21000.0
(
KiloFn
Meter
))))
Geography.kif 4697-4703
If
antarctic circumpolar current
originate
s at
an object
and
antarctic circumpolar current
end
s up at
a physical
,
then the
distance
between
the object
and
the physical
is 21000.0 1
thousand
meter
s(s)
(=>
(
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
(
path
?PROCESS ?PATH1)
(
origin
?PROCESS ?SOURCE)
(
destination
?PROCESS ?DEST)
(
length
?PATH1
(
MeasureFn
?MEASURE1 ?U))
(
distance
?SOURCE ?DEST
(
MeasureFn
?DISTANCE ?U))
(
not
(
greaterThan
?MEASURE1 ?DISTANCE))
(
part
?OBJ ?PATH1))
(
between
?SOURCE ?OBJ ?DEST))
Merge.kif 11082-11092
If
an object
is
path
along which
a motion
occurs and
the motion
originate
s at
another object
and
the motion
end
s up at
a third object
and the
length
of
the object
is
a real number
an unit of measure
(s) and the
distance
between
the other object
and
the third object
is
another real number
the unit of measure
(s) and
the real number
is not
greater
than
the other real number
and
a fourth object
is a
part
of
the object
,
then
the fourth object
is
between
the other object
and
the third object
(=>
(
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
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
instance
?Account
FinancialAccount
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
amountDue
?Account ?Amount ?DueDate)
(
before
(
EndFn
?Date)
(
BeginFn
?DueDate)))
(
instance
?Payment
Prepayment
))
FinancialOntology.kif 834-842
If
a currency measure
is a
transaction
amount of
a financial transaction
and
date
of
the financial transaction
is
a day
and
a financial account
is an
instance
of
financial account
and
the financial transaction
end
s up at the
currency
of
the financial account
and
the financial account
amount
due
the currency measure
for
a time interval
and the
end
of
the day
happens
before
the
beginning
of
the time interval
,
then
the financial transaction
is an
instance
of
prepayment
(=>
(
destination
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4113-4115
If
a process
end
s up at
an object
,
then
the process
is
partly
located
at
the object
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