(=>
(instance ?SECOND
(SecondFn ?NUMBER ?MINUTE))
(lessThan ?NUMBER 60)) |
Merge.kif 8701-8703 |
|
(=>
(instance ?Spread ButterflySpread)
(exists (?Call1 ?Call2 ?Call3 ?Call4 ?Price1 ?Price2 ?Price3 ?Price4 ?U)
(and
(instance ?Call1 CallOption)
(instance ?Call2 CallOption)
(instance ?Call3 CallOption)
(instance ?Call4 CallOption)
(subProcess ?Call1 ?Spread)
(subProcess ?Call2 ?Spread)
(subProcess ?Call3 ?Spread)
(subProcess ?Call4 ?Spread)
(instance ?U UnitOfCurrency)
(strikePrice ?Call1
(MeasureFn ?Price1 ?U))
(strikePrice ?Call2
(MeasureFn ?Price2 ?U))
(strikePrice ?Call3
(MeasureFn ?Price3 ?U))
(strikePrice ?Call4
(MeasureFn ?Price4 ?U))
(lessThan ?Price1 ?Price2)
(lessThan ?Price1 ?Price3)
(greaterThan ?Price4 ?Price2)
(greaterThan ?Price4 ?Price2)))) |
FinancialOntology.kif 3119-3143 |
- Wenn Process ist ein fall von ButterflySpread %n{nicht},
- dann es gibt FinancialInstrument, ** FinancialInstrument,, , ** FinancialInstrument,, , ** FinancialInstrument,, , RealNumber,, , ** RealNumber,, , ** RealNumber,, , ** RealNumber, and und UnitOfMeasure um ** FinancialInstrument ist ein fall von CallOption %n{nicht} und ** ** FinancialInstrument ist ein fall von CallOption %n{nicht} und ** ** FinancialInstrument ist ein fall von CallOption %n{nicht} und ** ** FinancialInstrument ist ein fall von CallOption %n{nicht} und ** FinancialInstrument ist ein subProzess von ** Process und ** ** FinancialInstrument ist ein subProzess von ** Process und ** ** FinancialInstrument ist ein subProzess von ** Process und ** ** FinancialInstrument ist ein subProzess von ** Process und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** FinancialInstrument and ** RealNumber ** UnitOfMeasure(s) und strikePrice ** ** FinancialInstrument and ** ** RealNumber ** UnitOfMeasure(s) und strikePrice ** ** FinancialInstrument and ** ** RealNumber ** UnitOfMeasure(s) und strikePrice ** ** FinancialInstrument and ** ** RealNumber ** UnitOfMeasure(s) und ** RealNumber ist kleinerAls ** ** RealNumber %n{nicht} und ** RealNumber ist kleinerAls ** ** RealNumber %n{nicht} und ** ** RealNumber ist groesserAls ** ** RealNumber %n{nicht} und ** ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}
|
(=>
(instance ?X HandGrenade)
(exists (?N)
(and
(measure ?X
(MeasureFn ?N PoundMass))
(lessThan ?N 10.0)))) |
Mid-level-ontology.kif 21870-21876 |
|
(=>
(instance ?X RadiatingXRay)
(exists (?M)
(and
(wavelength ?X
(MeasureFn ?M Nanometer))
(greaterThanOrEqualTo ?M 0.01)
(lessThan 10.0 ?M)))) |
Mid-level-ontology.kif 610-617 |
|
(=>
(oxygenSaturation ?H ?N)
(and
(greaterThan ?N 0.0)
(lessThan ?N 100.0))) |
Medicine.kif 1234-1238 |
|
(=>
(property ?Option ConventionalOption)
(exists (?Number ?Period)
(and
(agreementPeriod ?Option ?Period)
(duration ?Period
(MeasureFn ?Number MonthDuration))
(lessThan ?Number 39)))) |
FinancialOntology.kif 2574-2580 |
|
(=>
(property ?Option ConventionalOption)
(exists (?Number ?Period)
(and
(agreementPeriod ?Option ?Period)
(duration ?Period
(MeasureFn ?Number MonthDuration))
(lessThan ?Number 9)))) |
FinancialOntology.kif 2558-2564 |
|