(=>
(instance ?Account TraditionalSavingsAccount)
(liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1130-1132 |
If X is an instance of traditional savings account, then the liqudity of X is high liquidity |
(=>
(instance ?Account TraditionalSavingsAccount)
(not
(exists (?Date)
(maturityDate ?Account ?Date)))) |
FinancialOntology.kif 1134-1138 |
If X is an instance of traditional savings account, then there doesn't exist Y such that Y is a maturity date of X |
(=>
(and
(instance ?Account TraditionalSavingsAccount)
(instance ?Withdrawal Withdrawal)
(origin ?Withdrawal
(CurrencyFn ?Account)))
(not
(exists (?Penalty)
(and
(instance ?Penalty Penalty)
(destination ?Penalty
(CurrencyFn ?Account))
(causes ?Withdrawal ?Penalty))))) |
FinancialOntology.kif 1140-1149 |
If X is an instance of traditional savings account, Y is an instance of withdrawing from an account, and Y originates at the currency of X, then there doesn't exist Z such that Z is an instance of penalizing, Z ends up at the currency of X, and Y causes Z |
(=>
(and
(instance ?Account TraditionalSavingsAccount)
(instance ?Withdrawal Withdrawal))
(exists (?A)
(and
(patient ?Withdrawal ?Account)
(agent ?Withdrawal ?A)
(not
(exists (?Penalty)
(and
(instance ?Penalty Penalty)
(patient ?Penalty ?A))))))) |
FinancialOntology.kif 1151-1163 |
If X is an instance of traditional savings account and Y is an instance of withdrawing from an account, then there exists Z such that X is a patient of Y, Z is an agent of Y, there doesn't exist W such that W is an instance of penalizing, and Z is a patient of W |
