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
rentalPrice
physique
,
function de quantit�
,
agent cognitif
and
PricingScheme
function de quantit�
est
PerFn
mesure de devise
and la
mesure
de
nombre r�el
est
unit� de mesure
unit� de mesure
est une
instance
de
UnitOfDuration
entit�
est une
instance
imm�diate de
physique
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
existe
pendant
nombre r�el
INT
interval temporel
nombre r�el
nombre r�el
INT prend place
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
financial transaction
financial transaction
est une
instance
de
Payment
financial transaction
aboutit
�
agent cognitif
financial transaction
est un
agent
de
AutonomousAgent
transactionAmount
financial transaction
and
mesure de devise
(=>
(
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
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
quantit�
est une
instance
de
nombre entier
agent cognitif
desire
entit�
entit�
entit�
est une
instance
de
acheter
temps
d'existence de
entit�
prend place
pendant
interval temporel
objectTransferred
entit�
and
entit�
transactionAmount
entit�
and
mesure de devise
entit�
est un
agent
de
agent cognitif
entit�
est une
instance
de
collection
memberType
entit�
and
objet
memberCount
entit�
and
quantit�
agent cognitif
poss
�de
entit�
(=>
(
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
shortage
AutonomousAgent
,
objet
,
mesure de devise
,
interval temporel
and
nombre entier
nombre entier
est une
instance
de
nombre entier
transf�re
collection
transf�re
est une
instance
de
acheter
temps
d'existence de
transf�re
prend place
pendant
interval temporel
objectTransferred
transf�re
and
collection
transactionAmount
transf�re
and
mesure de devise
transf�re
est un
agent
de
AutonomousAgent
collection
est une
instance
de
collection
memberType
collection
and
objet
memberCount
collection
and
nombre entier
AutonomousAgent
poss
�de
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
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
quantit�
est une
instance
de
quantit� physique
agent cognitif
desire
entit�
entit�
entit�
est une
instance
de
acheter
temps
d'existence de
entit�
prend place
pendant
interval temporel
objectTransferred
entit�
and
entit�
transactionAmount
entit�
and
mesure de devise
entit�
est un
agent
de
agent cognitif
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
quantit�
agent cognitif
poss
�de
entit�
(=>
(
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
shortage
AutonomousAgent
,
objet
,
mesure de devise
,
interval temporel
and
quantit� physique
quantit� physique
est une
instance
de
quantit� physique
transf�re
objet
transf�re
est une
instance
de
acheter
temps
d'existence de
transf�re
prend place
pendant
interval temporel
objectTransferred
transf�re
and
objet
transactionAmount
transf�re
and
mesure de devise
transf�re
est un
agent
de
AutonomousAgent
objet
est une
instance
de
objet
la
mesure
de
objet
est
quantit� physique
AutonomousAgent
poss
�de
objet
(=>
(
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
askPrice
objet
,
mesure de devise
and
AutonomousAgent
processus
processus
est une
instance
de
Offering
entit�
entit�
est une
instance
de
vendre
entit�
est un
agent
de
AutonomousAgent
objet
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
est un
patient
de
processus
(=>
(
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
bidPrice
objet
,
mesure de devise
and
AutonomousAgent
processus
processus
est une
instance
de
Offering
entit�
entit�
est une
instance
de
acheter
entit�
est un
agent
de
AutonomousAgent
objet
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
est un
patient
de
processus
(=>
(
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
Entit�
_OFFER est une
instance
de
BestOffering
entit�
_OFFER
contient
information
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
acheter
entit�
est un
agent
de
entit�
entit�
est un
patient
de
entit�
transactionAmount
entit�
and
entit�
entit�
(s)
ContentBearingPhysical
ContentBearingPhysical
contient
information
entit�
2
entit�
2 and
entit�
entit�
2 est une
instance
de
acheter
entit�
2 est un
agent
de
entit�
2
entit�
est un
patient
de
entit�
2
transactionAmount
entit�
2 and
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
(=>
(
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
Financial transaction
est une
instance
de
Repayment
classe
classe
_AMOUNT and
financial transaction
_AMOUNT
classe
est une
instance
de
classe
classe
est
financial transaction
transactionAmount
classe
and
classe
_AMOUNT
transactionAmount
financial transaction
and
financial transaction
_AMOUNT
classe
_AMOUNT est
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
Physique
est une
instance
de
TaxReturn
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
calculer
physique
est un
instrument
pour
entit�
entit�
est le
resultat
de
entit�
transactionAmount
entit�
and
entit�
entit�
est une
instance
de
Tax
(=>
(
instance
?Stock
PreferredStock
)
(
exists
(?Dividend ?Amount)
(
and
(
instance
?Dividend
Dividend
)
(
transactionAmount
?Dividend ?Amount))))
FinancialOntology.kif 2172-2177
Entit�
est une
instance
de
PreferredStock
financial transaction
mesure de devise
financial transaction
est une
instance
de
Dividend
transactionAmount
financial transaction
and
mesure de devise
(=>
(
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
periodicPayment
FinancialAccount
,
mesure de devise
and
dur�e temporel
financial transaction
processus
financial transaction
est une
instance
de
Payment
financial transaction
a pour
origine
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
mesure de devise
financial transaction
est une
instance
de
processus
processus
se
produit tous les
dur�e temporel
(=>
(
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
price
physique
,
mesure de devise
and
AutonomousAgent
financial transaction
financial transaction
est une
instance
de
acheter
financial transaction
est un
agent
de
AutonomousAgent
physique
est un
patient
de
financial transaction
transactionAmount
financial transaction
and
mesure de devise
(=>
(
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
productPrice
entit�
,
mesure de devise
and
agent cognitif
l'argument
entit�
est une
instance
de
vendre
entit�
est une
instance
imm�diate de
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
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