(<=>
(and
(instance ?Withdrawal Withdrawal)
(instance ?Account FinancialAccount)
(origin ?Withdrawal
(CurrencyFn ?Account))
(not
(exists (?Penalty)
(and
(instance ?Penalty Penalty)
(destination ?Penalty
(CurrencyFn ?Account))
(causes ?Withdrawal ?Penalty)))))
(liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1835-1845 |
Prozess ist ein fall von Withdrawal %n{nicht} und FinancialAccount ist ein fall von FinancialAccount %n{nicht} und ** Prozess beginnet an CurrencyFn ** FinancialAccount %n{nicht} und es gibt nicht ** Prozess um ** ** Prozess ist ein fall von Penalty %n{nicht} und ** ** Prozess endet an CurrencyFn ** FinancialAccount %n{nicht} und ** Prozess verursacht ** ** Prozess %n{nicht} genau dann wenn liquidity ** FinancialAccount and HighLiquidity |
(<=>
(exists (?Period)
(and
(instance ?Loan Loan)
(agreementPeriod ?Loan ?Period)
(interestEarned ?Loan ?Amount ?Period)))
(loanInterest ?Loan ?Amount)) |
FinancialOntology.kif 3938-3944 |
Es gibt Zeitabstand um Loan ist ein fall von Loan %n{nicht} und agreementPeriod ** Loan and ** Zeitabstand und interestEarned ** Loan, Interest and ** Zeitabstand genau dann wenn loanInterest ** Loan and ** Interest |
(<=>
(exists (?Process)
(programRunning ?Process ?Program))
(property ?Program Executable)) |
QoSontology.kif 1098-1101 |
Es gibt ComputerProcess um programRunning ** ComputerProcess and Computerprogramm genau dann wenn ** Computerprogramm hat ein attribut Executable %n{nicht} |
(<=>
(exists (?Rate)
(fixedInterestRate ?Account ?Rate))
(instance ?Account FixedRateAccount)) |
FinancialOntology.kif 983-986 |
Es gibt Zahl um fixedInterestRate FinancialAccount and ** Zahl genau dann wenn ** FinancialAccount ist ein fall von FixedRateAccount %n{nicht} |
(<=>
(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 3068-3079 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** reelle Zahl um Agreement ist ein fall von CallOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice Masseinheit(s) and AutonomousAgent und ** Masseinheit ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** reelle Zahl ** Masseinheit(s) und ** FinancialInstrumentPrice ist kleinerAls ** ** reelle Zahl %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 3019-3030 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** reelle Zahl um Agreement ist ein fall von CallOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice Masseinheit(s) and AutonomousAgent und ** Masseinheit ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** reelle Zahl ** Masseinheit(s) und ** ** reelle Zahl ist kleinerAls ** FinancialInstrumentPrice %n{nicht} genau dann wenn inTheMoney ** Agreement and ** AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option Option)
(underlier ?Option ?Stock)
(price ?Stock ?StockPrice ?Time)
(strikePrice ?Option ?StrikePrice)
(equal ?StockPrice ?StrikePrice)))
(atTheMoney ?Option ?Time)) |
FinancialOntology.kif 3051-3059 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** Waehrungma um Agreement ist ein fall von Option %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice and AutonomousAgent und strikePrice ** Agreement and ** ** Waehrungma und ** FinancialInstrumentPrice ist gleich ** ** Waehrungma %n{nicht} genau dann wenn atTheMoney ** 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 3032-3043 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** reelle Zahl um Agreement ist ein fall von PutOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice Masseinheit(s) and AutonomousAgent und ** Masseinheit ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** reelle Zahl ** Masseinheit(s) und ** FinancialInstrumentPrice ist kleinerAls ** ** reelle Zahl %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 3081-3092 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** reelle Zahl um Agreement ist ein fall von PutOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice Masseinheit(s) and AutonomousAgent und ** Masseinheit ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** reelle Zahl ** Masseinheit(s) und ** ** reelle Zahl ist kleinerAls ** FinancialInstrumentPrice %n{nicht} genau dann wenn outOfTheMoney ** Agreement and ** AutonomousAgent |
(=>
(and
(breathingRate ?H ?T ?R)
(instance ?T Minute)
(not
(exists (?R)
(and
(instance ?R RecreationOrExercise)
(agent ?R ?H)
(during ?T
(WhenFn ?R)))))
(holdsDuring ?T
(attribute ?H HumanAdult))
(or
(greaterThan ?R 16)
(lessThan ?R 12)))
(holdsDuring ?T
(not
(attribute ?H Healthy)))) |
Medicine.kif 355-373 |
|
(=>
(and
(customer ?CUST ?AGENT)
(corkageFee ?AMT ?ITEM ?AGENT)
(instance ?X ?ITEM)
(not
(exists (?B)
(and
(instance ?B Buying)
(patient ?B ?X)
(destination ?B ?CUST)
(origin ?B ?AGENT))))
(instance ?D Drinking)
(agent ?D ?CUST)
(resource ?D ?X))
(exists (?C)
(and
(instance ?C Corkage)
(agent ?C ?CUST)
(refers ?C ?X)
(destination ?C ?AGENT)))) |
Dining.kif 130-150 |
|
(=>
(and
(facility ?AGENT ?OBJ)
(customer ?CUST ?AGENT)
(instance ?X ?OBJ)
(desires ?CUST
(exists (?PROC)
(and
(instance ?PROC IntentionalProcess)
(patient ?PROC ?X)
(agent ?PROC ?CUST)))))
(modalAttribute
(confersRight
(uses ?X ?CUST) ?AGENT ?CUST) Possibility)) |
Dining.kif 336-350 |
|
(=>
(and
(instance ?A1 Automobile)
(instance ?A2 Automobile)
(instance ?S1 AutomobileShock)
(part ?S1 ?A1)
(not
(exists (?S2)
(and
(instance ?S2 AutomobileShock)
(part ?S2 ?A2))))
(dampingRatio ?A1 ?R1)
(dampingRatio ?A2 ?R2))
(greaterThan ?R2 ?R1)) |
Cars.kif 853-866 |
|
(=>
(and
(instance ?AGENT AutonomousAgent)
(potentialCustomer ?CUST ?AGENT)
(modalAttribute
(and
(instance ?R Reserving)
(destination ?R ?AGENT)) Necessity)
(conditionalProbability
(exists (?RES1)
(and
(instance ?RES1 Reservation)
(reservingEntity ?CUST ?RES1)
(fulfillingEntity ?AGENT ?RES1)))
(customer ?CUST ?AGENT) ?NUM1)
(conditionalProbability
(not
(exists (?RES2)
(and
(instance ?RES2 Reservation)
(reservingEntity ?CUST ?RES2)
(fulfillingEntity ?AGENT ?RES2))))
(customer ?CUST ?AGENT) ?NUM2))
(lessThan ?NUM2 ?NUM1)) |
Dining.kif 772-795 |
|
(=>
(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 761-777 |
|
(=>
(and
(instance ?B Bubble)
(not
(exists (?X ?S)
(and
(attribute ?X ?S)
(not
(equal ?X Gas))
(meetsSpatially ?X ?B)))))
(attribute ?B ConvexRoundShape)) |
Mid-level-ontology.kif 5972-5981 |
|
(=>
(and
(instance ?BUYINGS Collection)
(instance ?GMB CurrencyMeasure)
(instance ?TOTAL RealNumber)
(equal ?GMB
(GMBFn ?BUYINGS))
(equal ?TOTAL
(CardinalityFn
(KappaFn ?ITEM
(and
(instance ?ITEM Object)
(exists (?BUYING)
(and
(member ?BUYING ?BUYINGS)
(patient ?BUYING ?ITEM))))))))
(equal
(ABPFn ?BUYINGS)
(DivisionFn ?GMB ?TOTAL))) |
UXExperimentalTerms.kif 3239-3259 |
|
(=>
(and
(instance ?C CateringService)
(agent ?C ?AGENT)
(destination ?C ?CUST)
(located ?AGENT ?LOC1)
(customer ?CUST ?AGENT)
(exists (?S ?FOOD ?E)
(and
(instance ?S Cooking)
(agent ?S ?AGENT)
(result ?S ?FOOD)
(patient ?C ?FOOD)
(instance ?E Eating)
(agent ?E ?CUST)
(eventLocated ?E ?LOC2))))
(not
(equal ?LOC1 ?LOC2))) |
Dining.kif 586-602 |
|
(=>
(and
(instance ?CS1 ?CLASS)
(subclass ?CLASS CompoundSubstance)
(not
(exists (?CS2)
(and
(instance ?CS2 ?CLASS)
(part ?CS2 ?CS1))))
(molecularRatio ?ECLASS ?N ?CLASS)
(instance ?G Group)
(member ?E ?G)
(part ?E ?CS1)
(instance ?E ?ECLASS))
(memberCount ?G ?N)) |
Mid-level-ontology.kif 23373-23387 |
|
(=>
(and
(instance ?EM Electromagnet)
(not
(holdsDuring ?T1
(exists (?T ?E)
(and
(instance ?T Transfer)
(instance ?E Electricity)
(objectTransferred ?T ?E)
(path ?T ?EM))))))
(not
(holdsDuring ?T1
(exists (?M)
(and
(instance ?M Magnetism)
(instrument ?M ?EM)))))) |
Cars.kif 3966-3982 |
|
(=>
(and
(instance ?GUN Gun)
(instance ?U UnitOfLength)
(effectiveRange ?GUN
(MeasureFn ?LM ?U))
(distance ?GUN ?O
(MeasureFn ?LM1 ?U))
(instance ?O Organism)
(not
(exists (?O2)
(between ?O ?O2 ?GUN)))
(lessThanOrEqualTo ?LM1 ?LM))
(exists (?KILLING)
(capability
(KappaFn ?KILLING
(and
(instance ?KILLING Killing)
(patient ?KILLING ?O))) instrument ?GUN))) |
Mid-level-ontology.kif 1633-1652 |
|
(=>
(and
(instance ?GUN Gun)
(instance ?U UnitOfLength)
(effectiveRange ?GUN
(MeasureFn ?LM ?U))
(distance ?GUN ?O
(MeasureFn ?LM1 ?U))
(not
(exists (?O2)
(between ?O ?O2 ?GUN)))
(lessThanOrEqualTo ?LM1 ?LM))
(exists (?DAMAGING)
(capability
(KappaFn ?DAMAGING
(and
(instance ?DAMAGING Damaging)
(patient ?DAMAGING ?O))) instrument ?GUN))) |
Mid-level-ontology.kif 1611-1629 |
|
(=>
(and
(instance ?PROCESS ?PROCESS_CLASS)
(subclass ?PROCESS_CLASS Process)
(instance ?ACCESSING AccessingWebPage)
(instance ?AGENT AutonomousAgent)
(agent ?PROCESS ?AGENT)
(agent ?ACCESSING ?AGENT)
(during ?PROCESS ?ACCESSING)
(instance ?TIMETOFIRST TimeInterval)
(not
(exists (?PROCESS2)
(and
(instance ?PROCESS2 ?PROCESS_CLASS)
(agent ?PROCESS2 ?AGENT)
(during ?PROCESS2 ?ACCESSING)
(before
(BeginFn
(WhenFn ?PROCESS2))
(BeginFn
(WhenFn ?PROCESS))))))
(equal
(BeginFn
(WhenFn ?ACCESSING))
(BeginFn
(WhenFn ?TIMETOFIRST)))
(equal
(BeginFn
(WhenFn ?PROCESS))
(EndFn
(WhenFn ?TIMETOFIRST))))
(equal
(TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST)) |
UXExperimentalTerms.kif 1496-1518 |
|
(=>
(and
(instance ?PROCESS TakingOff)
(patient ?PROCESS ?DUD)
(not
(exists (?EXPLOSION)
(and
(instance ?EXPLOSION Explosion)
(patient ?EXPLOSION ?DUD)))))
(instance ?DUD AbsoluteDud)) |
MilitaryDevices.kif 1409-1418 |
|
(=>
(and
(instance ?PURCHASES Collection)
(forall (?MEMBER)
(=>
(member ?MEMBER ?PURCHASES)
(instance ?MEMBER Buying)))
(exists (?REGION)
(and
(instance ?REGION GeopoliticalArea)
(forall (?BUYER ?BUYING)
(=>
(and
(instance ?BUYER AutonomousAgent)
(instance ?BUYING Buying)
(member ?BUYING ?PURCHASES)
(agent ?BUYING ?BUYER))
(located ?BUYER ?REGION))))))
(exists (?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(and
(total
(KappaFn ?AMOUNT
(and
(instance ?PURCHASE Buying)
(member ?PURCHASE ?PURCHASES)
(transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(equal
(GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT)))) |
UXExperimentalTerms.kif 2956-2983 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
