(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option CallOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StockPrice ?StrikePrice)))
(outOfTheMoney ?Option ?Time)) |
FinancialOntology.kif 3051-3062 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von CallOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** FinancialInstrumentPrice ist kleinerAls ** ** RealNumber %n{nicht} genau dann wenn outOfTheMoney ** Agreement and ** AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option CallOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StrikePrice ?StockPrice)))
(inTheMoney ?Option ?Time)) |
FinancialOntology.kif 3002-3013 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von CallOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** ** RealNumber ist kleinerAls ** FinancialInstrumentPrice %n{nicht} genau dann wenn inTheMoney ** Agreement and ** AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option PutOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StockPrice ?StrikePrice)))
(inTheMoney ?Option ?Time)) |
FinancialOntology.kif 3015-3026 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von PutOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** FinancialInstrumentPrice ist kleinerAls ** ** RealNumber %n{nicht} genau dann wenn inTheMoney ** Agreement and ** AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option PutOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StrikePrice ?StockPrice)))
(outOfTheMoney ?Option ?Time)) |
FinancialOntology.kif 3064-3075 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von PutOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** ** RealNumber ist kleinerAls ** FinancialInstrumentPrice %n{nicht} genau dann wenn outOfTheMoney ** Agreement and ** AutonomousAgent |
(=>
(and
(attribute ?Order LimitOrder)
(partyToAgreement ?Order ?Broker)
(attribute ?Broker Broker)
(orderFor ?Order Buying ?Object)
(measure ?Object ?Quantity)
(limitPrice ?Order
(MeasureFn ?LimitPrice ?U))
(instance ?U UnitOfCurrency)
(askPrice ?Object
(MeasureFn ?Price ?U) ?Time)
(lessThanOrEqualTo ?Price ?LimitPrice))
(holdsObligation
(KappaFn ?Buy
(and
(instance ?Buy Buying)
(patient ?Buy ?Object)
(measure ?Object ?Quantity)
(equal
(WhenFn ?Buy) ?BuyingTime)
(overlapsTemporally ?Time ?BuyingTime))) ?Broker)) |
FinancialOntology.kif 2008-2029 |
|
(=>
(and
(attribute ?Order LimitOrder)
(partyToAgreement ?Order ?Broker)
(attribute ?Broker Broker)
(orderFor ?Order Selling ?Object)
(measure ?Object ?Quantity)
(limitPrice ?Order
(MeasureFn ?LimitPrice ?U))
(bidPrice ?Object
(MeasureFn ?Price ?U) ?Time)
(instance ?U UnitOfCurrency)
(greaterThanOrEqualTo ?Price ?LimitPrice))
(holdsObligation
(KappaFn ?Sell
(and
(instance ?Sell Selling)
(patient ?Sell ?Object)
(measure ?Object ?Quantity)
(equal
(WhenFn ?Sell) ?SellingTime)
(overlapsTemporally ?SellingTime ?Time))) ?Broker)) |
FinancialOntology.kif 2031-2052 |
|
(=>
(and
(equal
(MeasureFn ?NUMBER ?UNIT) ?QUANT)
(instance ?UNIT UnitOfCurrency))
(instance ?QUANT CurrencyMeasure)) |
Merge.kif 6389-6393 |
|
(=>
(and
(instance ?AUCTIONING Auctioning)
(instance ?BIDDER1 AutonomousAgent)
(instance ?BIDDER2 AutonomousAgent)
(instance ?ITEM Object)
(instance ?U UnitOfCurrency)
(patient ?AUCTIONING ?ITEM)
(bidPrice ?ITEM
(MeasureFn ?OFFER1 ?U) ?BIDDER1)
(bidPrice ?ITEM
(MeasureFn ?OFFER2 ?U) ?BIDDER2)
(greaterThan ?OFFER1 ?OFFER2))
(destination ?AUCTIONING ?BIDDER1)) |
UXExperimentalTerms.kif 354-365 |
|
(=>
(and
(instance ?Account FinancialAccount)
(minimumBalance ?Account OpeningAnAccount
(MeasureFn ?Balance ?U))
(instance ?U UnitOfCurrency))
(exists (?Payment ?Date ?Amount)
(and
(destination ?Payment
(CurrencyFn ?Account))
(transactionAmount ?Payment
(MeasureFn ?Amount ?U))
(greaterThanOrEqualTo ?Amount ?Balance)
(agreementEffectiveDate ?Account ?Date)
(date ?Payment ?Date)))) |
FinancialOntology.kif 686-699 |
|
(=>
(and
(instance ?Account FinancialAccount)
(minimumBalance ?Account UsingAnAccount
(MeasureFn ?Balance ?U))
(instance ?U UnitOfCurrency)
(currentAccountBalance ?Account ?Date
(MeasureFn ?Amount ?U))
(lessThan ?Amount ?Balance))
(exists (?Penalty)
(and
(instance ?Penalty Penalty)
(date ?Penalty ?Date)
(destination ?Penalty
(CurrencyFn ?Account))))) |
FinancialOntology.kif 701-714 |
|
(=>
(and
(instance ?Account LiabilityAccount)
(minimumPayment ?Account
(MeasureFn ?MinPayment ?U) MonthDuration)
(instance ?U UnitOfCurrency)
(exists (?Payment ?Month)
(and
(instance ?Month Month)
(destination ?Payment
(CurrencyFn ?Account))
(paymentsPerPeriod ?Account
(MeasureFn ?Amount ?U) ?Month)
(lessThan ?Amount ?MinPayment))))
(exists (?Penalty)
(and
(instance ?Penalty Penalty)
(destination ?Penalty
(CurrencyFn ?Account))))) |
FinancialOntology.kif 759-775 |
|
(=>
(and
(instance ?Downtick Downtick)
(patient ?Downtick ?Stock)
(equal
(WhenFn ?Downtick) ?Time1)
(instance ?U UnitOfCurrency)
(price ?Stock
(MeasureFn ?Price1 ?U) ?Time1))
(exists (?Transaction ?Time2 ?Price2)
(and
(instance ?Transaction StockMarketTransaction)
(patient ?Transaction ?Stock)
(equal
(WhenFn ?Transaction) ?Time2)
(meetsTemporally ?Time2 ?Time1)
(price ?Stock
(MeasureFn ?Price2 ?U) ?Time2)
(greaterThan ?Price2 ?Price1)))) |
FinancialOntology.kif 3234-3250 |
|
(=>
(and
(instance ?PSP ProfitSharingPlan)
(accountHolder ?PSP ?H)
(employs ?O ?H)
(profit ?A
(MeasureFn ?P ?U))
(instance ?U UnitOfCurrency)
(agent ?A ?O))
(exists (?C ?PAY)
(and
(instance ?PAY FinancialTransaction)
(transactionAmount ?PAY
(MeasureFn ?C ?U))
(lessThan ?C ?P)
(destination ?PAY ?PSP)))) |
FinancialOntology.kif 1192-1207 |
|
(=>
(and
(instance ?Transaction FinancialTransaction)
(origin ?Transaction
(CurrencyFn ?Account))
(transactionAmount ?Transaction
(MeasureFn ?Amount1 ?U))
(instance ?U UnitOfCurrency)
(instance ?Cash Currency)
(patient ?Transaction ?Cash)
(date ?Transaction ?Day))
(exists (?Amount2)
(and
(availableCash ?Account ?Day
(MeasureFn ?Amount2 ?U))
(greaterThanOrEqualTo ?Amount1 ?Amount2)))) |
FinancialOntology.kif 3838-3852 |
|
(=>
(and
(instance ?Transaction FinancialTransaction)
(origin ?Transaction ?Account)
(transactionAmount ?Transaction
(MeasureFn ?Amount1 ?U))
(instance ?U UnitOfCurrency)
(date ?Transaction ?Day))
(exists (?Amount2)
(and
(availableBalance ?Account ?Day
(MeasureFn ?Amount2 ?U))
(greaterThanOrEqualTo ?Amount1 ?Amount2)))) |
FinancialOntology.kif 3815-3827 |
|
(=>
(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 |
|
(=>
(and
(instance ?Uptick Uptick)
(patient ?Uptick ?Stock)
(equal
(WhenFn ?Uptick) ?Time1)
(instance ?U UnitOfCurrency)
(price ?Stock
(MeasureFn ?Price1 ?U) ?Time1))
(exists (?Transaction ?Time2 ?Price2)
(and
(instance ?Transaction StockMarketTransaction)
(patient ?Transaction ?Stock)
(equal
(WhenFn ?Transaction) ?Time2)
(meetsTemporally ?Time2 ?Time1)
(price ?Stock
(MeasureFn ?Price2 ?U) ?Time2)
(lessThan ?Price2 ?Price1)))) |
FinancialOntology.kif 3212-3228 |
|
(=>
(and
(productPrice ?ENT
(MeasureFn ?PRICE1 ?U) ?AGENT)
(instance ?U UnitOfCurrency)
(publishedPrice ?ENT
(MeasureFn ?PRICE2 ?U) ?AGENT ?PS)
(validFor ?PS ?CUSTCLASS)
(instance ?ITEM ?ENT)
(instance ?B Buying)
(immediateInstance ?CUST ?CUSTCLASS)
(agent ?B ?CUST)
(origin ?B ?AGENT)
(lessThan ?PRICE2 ?PRICE1))
(modalAttribute
(transactionAmount ?B ?PRICE1) Likely)) |
Catalog.kif 430-445 |
|