origin |
(=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal ?Account) (transactionAmount ?Withdrawal (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Withdrawal)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Withdrawal)) (MeasureFn ?Balance2 ?CUNIT))) |
FinancialOntology.kif 466-481 | |
(=> (and (origin AntarcticCircumpolarCurrent ?START) (destination AntarcticCircumpolarCurrent ?FINISH)) (distance ?START ?FINISH (MeasureFn 21000.0 (KiloFn Meter)))) |
Geography.kif 4697-4703 | |
(=> (and (path ?PROCESS ?PATH1) (origin ?PROCESS ?SOURCE) (destination ?PROCESS ?DEST) (length ?PATH1 (MeasureFn ?MEASURE1 ?U)) (distance ?SOURCE ?DEST (MeasureFn ?DISTANCE ?U)) (not (greaterThan ?MEASURE1 ?DISTANCE)) (part ?OBJ ?PATH1)) (between ?SOURCE ?OBJ ?DEST)) |
Merge.kif 11082-11092 | |
(=> (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 | |
(=> (origin ?PROCESS ?LOC) (eventPartlyLocated ?PROCESS ?LOC)) |
Merge.kif 4109-4111 | |
(=> (origin ?PROCESS ?OBJ) (eventLocated (WhereFn ?PROCESS (BeginFn (WhenFn ?PROCESS))) (WhereFn ?OBJ (BeginFn (WhenFn ?OBJ))))) |
Merge.kif 7988-7996 |