transactionAmount
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
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 the
measure
of
a real number
is
an unit of measure
and
the unit of measure
is an
instance
of
unit of duration
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
an agent
is an
agent
of
the process
and
the process
exists
during
the real number
INT,
then for all
another time interval
if there exists
another real number
such that
the real number
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
the other real number
the unit of measure
(s) and
the other real number
is
less
than or equal to
the real number
,
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
(
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
))
(
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
))
(
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
(=>
(
askPrice
?Obj ?Money ?Agent)
(
exists
(?Offering)
(
and
(
instance
?Offering
Offering
)
(
patient
?Offering
(
exists
(?Selling)
(
and
(
instance
?Selling
Selling
)
(
agent
?Selling ?Agent)
(
patient
?Selling ?Obj)
(
transactionAmount
?Selling ?Money)))))))
FinancialOntology.kif 1933-1943
If
an agent
asks
for
a currency measure
for
an object
,
then there exists
a process
such that
the process
is an
instance
of
offering
and there exists
an entity
such that
the entity
is an
instance
of
selling
and
the agent
is an
agent
of
the entity
and
the object
is a
patient
of
the entity
and
the currency measure
is a
transaction
amount of
the entity
is a
patient
of
the process
(=>
(
bidPrice
?Obj ?Money ?Agent)
(
exists
(?Offering)
(
and
(
instance
?Offering
Offering
)
(
patient
?Offering
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money)))))))
FinancialOntology.kif 1912-1922
If
an agent
bids
a currency measure
for
an object
,
then there exists
a process
such that
the process
is an
instance
of
offering
and there exists
an entity
such that
the entity
is an
instance
of
buying
and
the agent
is an
agent
of
the entity
and
the object
is a
patient
of
the entity
and
the currency measure
is a
transaction
amount of
the entity
is a
patient
of
the process
(=>
(
instance
?BEST_OFFER
BestOffering
)
(
and
(
containsInformation
?BEST_OFFER
(
exists
(?BUYING ?AGENT ?OBJECT ?MONEY1 ?U)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
patient
?BUYING ?OBJECT)
(
transactionAmount
?BUYING
(
MeasureFn
?MONEY1 ?U)))))
(
not
(
exists
(?OFFER2)
(
containsInformation
?OFFER2
(
exists
(?BUYING2 ?AGENT2 ?MONEY2)
(
and
(
instance
?BUYING2
Buying
)
(
agent
?BUYING2 ?AGENT2)
(
patient
?BUYING2 ?OBJECT)
(
transactionAmount
?BUYING2
(
MeasureFn
?MONEY2 ?U))
(
greaterThan
?MONEY2 ?MONEY1))))))))
UXExperimentalTerms.kif 1654-1675
If
an entity
_OFFER is an
instance
of
best offer
,
then
the entity
_OFFER
contain
s information there exist
another entity
,
a third entity
,, ,
a fourth entity
,, ,
a fifth entity
and
a sixth entity
such that
the other entity
is an
instance
of
buying
and
the third entity
is an
agent
of
the other entity
and
the fourth entity
is a
patient
of
the other entity
and
the fifth entity
the sixth entity
(s) is a
transaction
amount of
the other entity
and there doesn't exist
a content bearing physical
such that
the content bearing physical
contain
s information there exist
the other entity
2,
the third entity
2 and
a ninth entity
such that
the other entity
2 is an
instance
of
buying
and
the third entity
2 is an
agent
of
the other entity
2 and
the fourth entity
is a
patient
of
the other entity
2 and
the ninth entity
the sixth entity
(s) is a
transaction
amount of
the other entity
2 and
the ninth entity
is
greater
than
the fifth entity
(=>
(
instance
?REPAYMENT
Repayment
)
(
exists
(?PAYMENT ?PAYMENT_AMOUNT ?REPAYMENT_AMOUNT)
(
and
(
instance
?PAYMENT ?PAYMENT)
(
not
(
equal
?PAYMENT ?REPAYMENT))
(
transactionAmount
?PAYMENT ?PAYMENT_AMOUNT)
(
transactionAmount
?REPAYMENT ?REPAYMENT_AMOUNT)
(
equal
?PAYMENT_AMOUNT ?REPAYMENT_AMOUNT))))
UXExperimentalTerms.kif 1872-1881
If
a financial transaction
is an
instance
of
repayment
,
then there exist
a class
,
the class
_AMOUNT and
the financial transaction
_AMOUNT such that
the class
is an
instance
of
the class
and
the class
is not
equal
to
the financial transaction
and
the class
_AMOUNT is a
transaction
amount of
the class
and
the financial transaction
_AMOUNT is a
transaction
amount of
the financial transaction
and
the class
_AMOUNT is
equal
to
the financial transaction
_AMOUNT
(=>
(
instance
?RETURN
TaxReturn
)
(
hasPurpose
?RETURN
(
exists
(?CALCULATE ?AMOUNT ?TAX)
(
and
(
instance
?CALCULATE
Calculating
)
(
instrument
?CALCULATE ?RETURN)
(
result
?CALCULATE ?AMOUNT)
(
transactionAmount
?TAX ?AMOUNT)
(
instance
?TAX
Tax
)))))
FinancialOntology.kif 933-942
If
a physical
is an
instance
of
tax return
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
calculating
and
the physical
is an
instrument
for
the entity
and
the other entity
is a
result
of
the entity
and
the other entity
is a
transaction
amount of
the third entity
and
the third entity
is an
instance
of
tax
(=>
(
instance
?Stock
PreferredStock
)
(
exists
(?Dividend ?Amount)
(
and
(
instance
?Dividend
Dividend
)
(
transactionAmount
?Dividend ?Amount))))
FinancialOntology.kif 2172-2177
If
an entity
is an
instance
of
preferred stock
,
then there exist
a financial transaction
and
a currency measure
such that
the financial transaction
is an
instance
of
dividend
and
the currency measure
is a
transaction
amount of
the financial transaction
(=>
(
periodicPayment
?Account ?Amount ?Period)
(
exists
(?Payment ?Class)
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment ?Amount)
(
instance
?Payment ?Class)
(
frequency
?Class ?Period))))
FinancialOntology.kif 742-750
If
a financial account
is
periodic
payment
a currency measure
for
a time duration
,
then there exist
a financial transaction
and
a kind of process
such that
the financial transaction
is an
instance
of
payment
and
the financial transaction
originate
s at the
currency
of
the financial account
and
the currency measure
is a
transaction
amount of
the financial transaction
and
the financial transaction
is an
instance
of
a kind of process
and
the kind of process
occur
s every
the time duration
(=>
(
price
?Obj ?Money ?Agent)
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money))))
Mid-level-ontology.kif 7742-7749
If
a physical
is
price
a currency measure
for
an agent
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
buying
and
the agent
is an
agent
of
the financial transaction
and
the physical
is a
patient
of
the financial transaction
and
the currency measure
is a
transaction
amount of
the financial transaction
(=>
(
productPrice
?ENT ?PRICE ?AGENT)
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
immediateInstance
?I ?ENT)
(
patient
?S ?I)
(
agent
?S ?AGENT))
(
transactionAmount
?S ?PRICE))
Likely
))
Catalog.kif 419-428
If
a cognitive agent
sells
a kind of entity
for
a currency measure
,
then the statement
if
another entity
is an
instance
of
selling
and
a third entity
is an
immediate
instance of
a kind of entity
and
the third entity
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
,
then
the currency measure
is a
transaction
amount of
the other entity
has the
modal
force
of
likely
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