(<=>
(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 1818-1828 |
Process ist ein fall von Withdrawal %n{nicht} und FinancialAccount ist ein fall von FinancialAccount %n{nicht} und ** Process beginnet an CurrencyFn ** FinancialAccount %n{nicht} und es gibt nicht ** Process um ** ** Process ist ein fall von Penalty %n{nicht} und ** ** Process endet an CurrencyFn ** FinancialAccount %n{nicht} und ** Process verursacht ** ** Process %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 3920-3926 |
Es gibt TimeInterval um Loan ist ein fall von Loan %n{nicht} und agreementPeriod ** Loan and ** TimeInterval und interestEarned ** Loan, Interest and ** TimeInterval genau dann wenn loanInterest ** Loan and ** Interest |
(<=>
(exists (?Process)
(programRunning ?Process ?Program))
(property ?Program Executable)) |
QoSontology.kif 989-992 |
Es gibt ComputerProcess um programRunning ** ComputerProcess and ComputerProgram genau dann wenn ** ComputerProgram hat ein attribut Executable %n{nicht} |
(<=>
(exists (?Rate)
(fixedInterestRate ?Account ?Rate))
(instance ?Account FixedRateAccount)) |
FinancialOntology.kif 981-984 |
Es gibt Number um fixedInterestRate FinancialAccount and ** Number 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 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 Option)
(underlier ?Option ?Stock)
(price ?Stock ?StockPrice ?Time)
(strikePrice ?Option ?StrikePrice)
(equal ?StockPrice ?StrikePrice)))
(atTheMoney ?Option ?Time)) |
FinancialOntology.kif 3034-3042 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** CurrencyMeasure um Agreement ist ein fall von Option %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice and AutonomousAgent und strikePrice ** Agreement and ** ** CurrencyMeasure und ** FinancialInstrumentPrice ist gleich ** ** CurrencyMeasure %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 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
(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 367-385 |
|
(=>
(and
(citizen ?P ?C)
(not
(exists (?L)
(located ?P ?L))))
(located ?P ?C)) |
Military.kif 772-778 |
|
(=>
(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 759-775 |
|
(=>
(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 5016-5025 |
|
(=>
(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)) |
Cars.kif 1772-1786 |
|
(=>
(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 3905-3921 |
|
(=>
(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 1417-1436 |
|
(=>
(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 1395-1413 |
|
(=>
(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 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
exists