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
Physical
由
CognitiveAgent
定的
price
根據
PricingScheme
是
FunctionQuantity
等於
FunctionQuantity
and
測量
RealNumber
and
UnitOfMeasure
是
CurrencyMeasure
的
per
例
UnitOfMeasure
and
UnitOfDuration
立即實例
Entity
and
Physical
例
Process
and
租
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
時間
Process
and
RealNumber
INT
TimeInterval
RealNumber
期間
RealNumber
INT and
TimeInterval
例
TimeInterval
and
TimeInterval
持續時間
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
FinancialTransaction
例
FinancialTransaction
and
付款
目的地
FinancialTransaction
and
CognitiveAgent
agent
FinancialTransaction
and
AutonomousAgent
CurrencyMeasure
是
FinancialTransaction
的
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 30944-30959
shortage
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
Integer
慾望
CognitiveAgent
and
entity
entity
例
entity
and
Buying
期間
何時
entity
and
TimeInterval
objectTransferred
entity
and
entity
CurrencyMeasure
是
entity
的
transaction
總額
agent
entity
and
CognitiveAgent
例
entity
and
Collection
Object
是
entity
的
member
類別
Quantity
是
entity
的
member
計數
擁有
CognitiveAgent
and
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 30911-30926
shortage
AutonomousAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Integer
例
Integer
and
Integer
Transfer
Collection
例
Transfer
and
Buying
期間
何時
Transfer
and
TimeInterval
objectTransferred
Transfer
and
Collection
CurrencyMeasure
是
Transfer
的
transaction
總額
agent
Transfer
and
AutonomousAgent
例
Collection
and
Collection
Object
是
Collection
的
member
類別
Integer
是
Collection
的
member
計數
擁有
AutonomousAgent
and
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 30961-30975
shortage
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
PhysicalQuantity
慾望
CognitiveAgent
and
entity
entity
例
entity
and
Buying
期間
何時
entity
and
TimeInterval
objectTransferred
entity
and
entity
CurrencyMeasure
是
entity
的
transaction
總額
agent
entity
and
CognitiveAgent
例
entity
and
Object
測量
entity
and
Quantity
擁有
CognitiveAgent
and
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 30928-30942
shortage
AutonomousAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
PhysicalQuantity
例
PhysicalQuantity
and
PhysicalQuantity
Transfer
Object
例
Transfer
and
Buying
期間
何時
Transfer
and
TimeInterval
objectTransferred
Transfer
and
Object
CurrencyMeasure
是
Transfer
的
transaction
總額
agent
Transfer
and
AutonomousAgent
例
Object
and
Object
測量
Object
and
PhysicalQuantity
擁有
AutonomousAgent
and
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
AutonomousAgent
為了
Object
asks
CurrencyMeasure
Process
例
Process
and
提供
患者
Process
and
entity
例
entity
and
Selling
agent
entity
and
AutonomousAgent
患者
entity
and
Object
CurrencyMeasure
是
entity
的
transaction
總額
(=>
(
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
AutonomousAgent
bids
CurrencyMeasure
對於
Object
Process
例
Process
and
提供
患者
Process
and
entity
例
entity
and
Buying
agent
entity
and
AutonomousAgent
患者
entity
and
Object
CurrencyMeasure
是
entity
的
transaction
總額
(=>
(
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
例
entity
_OFFER and
BestOffering
包含信息
entity
_OFFER and
entity
entity
,
entity
,
entity
and
entity
例
entity
and
Buying
agent
entity
and
entity
患者
entity
and
entity
測量
entity
and
entity
是
entity
的
transaction
總額
內容承載物理
包含信息
內容承載物理
and
entity
2
entity
and
entity
例
entity
2 and
Buying
agent
entity
2 and
entity
患者
entity
2 and
entity
測量
entity
and
entity
是
entity
2 的
transaction
總額
比較多
entity
and
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
例
FinancialTransaction
and
Repayment
Class
Class
_AMOUNT and
FinancialTransaction
_AMOUNT
例
Class
and
Class
等於
Class
and
FinancialTransaction
Class
_AMOUNT 是
Class
的
transaction
總額
FinancialTransaction
_AMOUNT 是
FinancialTransaction
的
transaction
總額
等於
Class
_AMOUNT and
FinancialTransaction
_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
例
Physical
and
退稅
有目的
Physical
and
entity
entity
and
entity
例
entity
and
Calculating
儀器
entity
and
Physical
結果
entity
and
entity
entity
是
entity
的
transaction
總額
例
entity
and
稅
(=>
(
instance
?Stock
PreferredStock
)
(
exists
(?Dividend ?Amount)
(
and
(
instance
?Dividend
Dividend
)
(
transactionAmount
?Dividend ?Amount))))
FinancialOntology.kif 2172-2177
例
Entity
and
優先股
FinancialTransaction
CurrencyMeasure
例
FinancialTransaction
and
股利
CurrencyMeasure
是
FinancialTransaction
的
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
金融賬戶
是 對於
TimeDuration
的
periodic
費用
CurrencyMeasure
FinancialTransaction
Process
例
FinancialTransaction
and
付款
起源
FinancialTransaction
and
金融賬戶
的
currency
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
例
FinancialTransaction
and
Process
頻率
Process
and
TimeDuration
(=>
(
price
?Obj ?Money ?Agent)
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money))))
Mid-level-ontology.kif 7741-7748
Physical
是 對於
AutonomousAgent
的
price
CurrencyMeasure
FinancialTransaction
例
FinancialTransaction
and
Buying
agent
FinancialTransaction
and
AutonomousAgent
患者
FinancialTransaction
and
Physical
CurrencyMeasure
是
FinancialTransaction
的
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
CognitiveAgent
sells
Entity
對於
CurrencyMeasure
模態屬性
例
entity
and
Selling
立即實例
entity
and
Entity
患者
entity
and
entity
agent
entity
and
CognitiveAgent
CurrencyMeasure
是
entity
的
transaction
總額
and
容易
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