( ! [V__S,V__LD] :
((s__instance(V__S,s__RealNumber) =>
((((s__instance(V__LD,s__LiquidDrop) &
s__approximateDiameter(V__LD,s__MeasureFn(V__S,s__Micrometer))
&
s__lessThan(n__500,V__S))
=>
s__instance(V__LD,s__Droplet))
&
(s__instance(V__LD,s__Droplet) =>
(s__instance(V__LD,s__LiquidDrop) &
s__approximateDiameter(V__LD,s__MeasureFn(V__S,s__Micrometer))
&
s__lessThan(n__500,V__S))))))
)
)
|
Geography.kif 7082-7088 |
A self connected object is an instance of liquid drop and the approximate diameter of the self connected object is a real number micrometer(s) and 500 is less than the real number if and only if the self connected object is an instance of droplet |
( ! [V__P,V__S,V__PM] :
(((s__instance(V__P,s__SelfConnectedObject) &
s__instance(V__S,s__RealNumber))
=>
((((s__instance(V__PM,s__ParticulateMatter) &
s__part(V__P,V__PM)
&
s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
&
s__greaterThan(n__10,V__S)
&
s__greaterThan(V__S,n__2_5))
=>
( ? [V__PM10] :
((s__instance(V__PM10,s__CoarseParticulateMatter) &
s__part(V__PM10,V__PM)))))
&
(( ? [V__PM10] :
((s__instance(V__PM10,s__CoarseParticulateMatter) &
s__part(V__PM10,V__PM))))
=>
(s__instance(V__PM,s__ParticulateMatter) &
s__part(V__P,V__PM)
&
s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
&
s__greaterThan(n__10,V__S)
&
s__greaterThan(V__S,n__2_5))))))
)
)
|
Geography.kif 6998-7009 |
An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object |
( ! [V__P,V__S,V__PM] :
(((s__instance(V__P,s__SelfConnectedObject) &
s__instance(V__S,s__RealNumber))
=>
((((s__instance(V__PM,s__ParticulateMatter) &
s__part(V__P,V__PM)
&
s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
&
s__greaterThanOrEqualTo(V__S,n__2_5))
=>
( ? [V__PM25] :
((s__instance(V__PM25,s__FineParticulateMatter) &
s__part(V__PM25,V__PM)))))
&
(( ? [V__PM25] :
((s__instance(V__PM25,s__FineParticulateMatter) &
s__part(V__PM25,V__PM))))
=>
(s__instance(V__PM,s__ParticulateMatter) &
s__part(V__P,V__PM)
&
s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
&
s__greaterThanOrEqualTo(V__S,n__2_5))))))
)
)
|
Geography.kif 7027-7037 |
An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object |
( ! [V__AMOUNT,V__UNIT] :
(((s__instance(V__AMOUNT,s__Number) &
s__instance(V__AMOUNT,s__PhysicalQuantity))
=>
((((s__instance(V__UNIT,s__UnitOfMeasure) &
(V__AMOUNT = s__MeasureFn(n__1,s__SquareUnitFn(V__UNIT))))
=>
(V__AMOUNT = s__MultiplicationFn(s__MeasureFn(n__1,V__UNIT)
,s__MeasureFn(n__1,V__UNIT))))
&
((V__AMOUNT = s__MultiplicationFn(s__MeasureFn(n__1,V__UNIT)
,s__MeasureFn(n__1,V__UNIT)))
=>
(s__instance(V__UNIT,s__UnitOfMeasure) &
(V__AMOUNT = s__MeasureFn(n__1,s__SquareUnitFn(V__UNIT))))))))
)
)
|
Geography.kif 3804-3808 |
An unit of measure is an instance of unit of measure and a number is equal to 1 the square unit of the unit of measure(s) if and only if the number is equal to 1 the unit of measure(s) and 1 the unit of measure(s) |
( ! [V__OBJ1,V__OBJ2] :
(((s__instance(V__OBJ1,s__Object) &
s__instance(V__OBJ2,s__Object))
=>
(((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__0,s__AngularDegree))
=>
s__orientation(V__OBJ1,V__OBJ2,s__North))
&
(s__orientation(V__OBJ1,V__OBJ2,s__North) =>
s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__0,s__AngularDegree))))))
)
)
|
Geography.kif 3612-3614 |
An object courseWRT true north another object for 0 angular degree(s) if and only if the object is north to the other object |
( ! [V__OBJ1,V__OBJ2] :
(((s__instance(V__OBJ1,s__Object) &
s__instance(V__OBJ2,s__Object))
=>
(((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__135,s__AngularDegree))
=>
s__orientation(V__OBJ1,V__OBJ2,s__Southeast))
&
(s__orientation(V__OBJ1,V__OBJ2,s__Southeast) =>
s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__135,s__AngularDegree))))))
)
)
|
Geography.kif 3636-3638 |
An object courseWRT true north another object for 135 angular degree(s) if and only if the object is southeast to the other object |
( ! [V__OBJ1,V__OBJ2] :
(((s__instance(V__OBJ1,s__Object) &
s__instance(V__OBJ2,s__Object))
=>
(((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__180,s__AngularDegree))
=>
s__orientation(V__OBJ1,V__OBJ2,s__South))
&
(s__orientation(V__OBJ1,V__OBJ2,s__South) =>
s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__180,s__AngularDegree))))))
)
)
|
Geography.kif 3620-3622 |
An object courseWRT true north another object for 180 angular degree(s) if and only if the object is south to the other object |
( ! [V__OBJ1,V__OBJ2] :
(((s__instance(V__OBJ1,s__Object) &
s__instance(V__OBJ2,s__Object))
=>
(((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__225,s__AngularDegree))
=>
s__orientation(V__OBJ1,V__OBJ2,s__Southwest))
&
(s__orientation(V__OBJ1,V__OBJ2,s__Southwest) =>
s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__225,s__AngularDegree))))))
)
)
|
Geography.kif 3640-3642 |
An object courseWRT true north another object for 225 angular degree(s) if and only if the object is southwest to the other object |
( ! [V__OBJ1,V__OBJ2] :
(((s__instance(V__OBJ1,s__Object) &
s__instance(V__OBJ2,s__Object))
=>
(((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__270,s__AngularDegree))
=>
s__orientation(V__OBJ1,V__OBJ2,s__West))
&
(s__orientation(V__OBJ1,V__OBJ2,s__West) =>
s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__270,s__AngularDegree))))))
)
)
|
Geography.kif 3624-3626 |
An object courseWRT true north another object for 270 angular degree(s) if and only if the object is west to the other object |
( ! [V__OBJ1,V__OBJ2] :
(((s__instance(V__OBJ1,s__Object) &
s__instance(V__OBJ2,s__Object))
=>
(((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__315,s__AngularDegree))
=>
s__orientation(V__OBJ1,V__OBJ2,s__Northwest))
&
(s__orientation(V__OBJ1,V__OBJ2,s__Northwest) =>
s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__315,s__AngularDegree))))))
)
)
|
Geography.kif 3644-3646 |
An object courseWRT true north another object for 315 angular degree(s) if and only if the object is northwest to the other object |
( ! [V__OBJ1,V__OBJ2] :
(((s__instance(V__OBJ1,s__Object) &
s__instance(V__OBJ2,s__Object))
=>
(((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__360,s__AngularDegree))
=>
s__orientation(V__OBJ1,V__OBJ2,s__North))
&
(s__orientation(V__OBJ1,V__OBJ2,s__North) =>
s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__360,s__AngularDegree))))))
)
)
|
Geography.kif 3628-3630 |
An object courseWRT true north another object for 360 angular degree(s) if and only if the object is north to the other object |
( ! [V__OBJ1,V__OBJ2] :
(((s__instance(V__OBJ1,s__Object) &
s__instance(V__OBJ2,s__Object))
=>
(((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__45,s__AngularDegree))
=>
s__orientation(V__OBJ1,V__OBJ2,s__Northeast))
&
(s__orientation(V__OBJ1,V__OBJ2,s__Northeast) =>
s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__45,s__AngularDegree))))))
)
)
|
Geography.kif 3632-3634 |
An object courseWRT true north another object for 45 angular degree(s) if and only if the object is northeast to the other object |
( ! [V__OBJ1,V__OBJ2] :
(((s__instance(V__OBJ1,s__Object) &
s__instance(V__OBJ2,s__Object))
=>
(((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__90,s__AngularDegree))
=>
s__orientation(V__OBJ1,V__OBJ2,s__East))
&
(s__orientation(V__OBJ1,V__OBJ2,s__East) =>
s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__90,s__AngularDegree))))))
)
)
|
Geography.kif 3616-3618 |
An object courseWRT true north another object for 90 angular degree(s) if and only if the object is east to the other object |
( ! [V__SPEED,V__NUM] :
(((s__instance(V__SPEED,s__FunctionQuantity) &
s__instance(V__NUM,s__RealNumber))
=>
((((V__SPEED = s__MeasureFn(V__NUM,s__MilesPerHour))
=>
(V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__Mile),s__MeasureFn(n__1,s__HourDuration))))
&
((V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__Mile),s__MeasureFn(n__1,s__HourDuration)))
=>
(V__SPEED = s__MeasureFn(V__NUM,s__MilesPerHour))))))
)
)
|
Weather.kif 1701-1707 |
A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s) |
( ! [V__Time,V__U,V__Option] :
(((s__instance(V__Time,s__Agent) &
s__instance(V__Time,s__TimePosition))
=>
(((( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
s__instance(V__StockPrice,s__RealNumber) &
s__instance(V__StrikePrice,s__RealNumber) &
(s__instance(V__Option,s__CallOption) &
s__underlier(V__Option,V__Stock)
&
s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
,V__Time)
&
s__instance(V__U,s__UnitOfCurrency) &
s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
&
s__lessThan(V__StockPrice,V__StrikePrice)))))
=>
s__outOfTheMoney(V__Option,V__Time))
&
(s__outOfTheMoney(V__Option,V__Time)
=>
( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
s__instance(V__StockPrice,s__RealNumber) &
s__instance(V__StrikePrice,s__RealNumber) &
(s__instance(V__Option,s__CallOption) &
s__underlier(V__Option,V__Stock)
&
s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
,V__Time)
&
s__instance(V__U,s__UnitOfCurrency) &
s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
&
s__lessThan(V__StockPrice,V__StrikePrice)))))))))
)
)
|
FinancialOntology.kif 3012-3023 |
There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an out of the money of the agreement |
( ! [V__Time,V__U,V__Option] :
(((s__instance(V__Time,s__Agent) &
s__instance(V__Time,s__TimePosition))
=>
(((( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
s__instance(V__StockPrice,s__RealNumber) &
s__instance(V__StrikePrice,s__RealNumber) &
(s__instance(V__Option,s__CallOption) &
s__underlier(V__Option,V__Stock)
&
s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
,V__Time)
&
s__instance(V__U,s__UnitOfCurrency) &
s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
&
s__lessThan(V__StrikePrice,V__StockPrice)))))
=>
s__inTheMoney(V__Option,V__Time))
&
(s__inTheMoney(V__Option,V__Time)
=>
( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
s__instance(V__StockPrice,s__RealNumber) &
s__instance(V__StrikePrice,s__RealNumber) &
(s__instance(V__Option,s__CallOption) &
s__underlier(V__Option,V__Stock)
&
s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
,V__Time)
&
s__instance(V__U,s__UnitOfCurrency) &
s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
&
s__lessThan(V__StrikePrice,V__StockPrice)))))))))
)
)
|
FinancialOntology.kif 2963-2974 |
There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement |
( ! [V__Time,V__U,V__Option] :
(((s__instance(V__Time,s__Agent) &
s__instance(V__Time,s__TimePosition))
=>
(((( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
s__instance(V__StockPrice,s__RealNumber) &
s__instance(V__StrikePrice,s__RealNumber) &
(s__instance(V__Option,s__PutOption) &
s__underlier(V__Option,V__Stock)
&
s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
,V__Time)
&
s__instance(V__U,s__UnitOfCurrency) &
s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
&
s__lessThan(V__StockPrice,V__StrikePrice)))))
=>
s__inTheMoney(V__Option,V__Time))
&
(s__inTheMoney(V__Option,V__Time)
=>
( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
s__instance(V__StockPrice,s__RealNumber) &
s__instance(V__StrikePrice,s__RealNumber) &
(s__instance(V__Option,s__PutOption) &
s__underlier(V__Option,V__Stock)
&
s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
,V__Time)
&
s__instance(V__U,s__UnitOfCurrency) &
s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
&
s__lessThan(V__StockPrice,V__StrikePrice)))))))))
)
)
|
FinancialOntology.kif 2976-2987 |
There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an in the money of the agreement |
( ! [V__Time,V__U,V__Option] :
(((s__instance(V__Time,s__Agent) &
s__instance(V__Time,s__TimePosition))
=>
(((( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
s__instance(V__StockPrice,s__RealNumber) &
s__instance(V__StrikePrice,s__RealNumber) &
(s__instance(V__Option,s__PutOption) &
s__underlier(V__Option,V__Stock)
&
s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
,V__Time)
&
s__instance(V__U,s__UnitOfCurrency) &
s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
&
s__lessThan(V__StrikePrice,V__StockPrice)))))
=>
s__outOfTheMoney(V__Option,V__Time))
&
(s__outOfTheMoney(V__Option,V__Time)
=>
( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
s__instance(V__StockPrice,s__RealNumber) &
s__instance(V__StrikePrice,s__RealNumber) &
(s__instance(V__Option,s__PutOption) &
s__underlier(V__Option,V__Stock)
&
s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
,V__Time)
&
s__instance(V__U,s__UnitOfCurrency) &
s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
&
s__lessThan(V__StrikePrice,V__StockPrice)))))))))
)
)
|
FinancialOntology.kif 3025-3036 |
There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement |
( ! [V__O,V__A] :
(((s__instance(V__O,s__Physical) &
s__instance(V__A,s__RealNumber))
=>
(((s__measure(V__O,s__MeasureFn(V__A,s__MetricTon))
=>
s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,n__2205)
,s__PoundMass)))
&
(s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,n__2205)
,s__PoundMass))
=>
s__measure(V__O,s__MeasureFn(V__A,s__MetricTon))))))
)
)
|
Mid-level-ontology.kif 12808-12814 |
The measure of a physical is a real number metric ton(s) if and only if the measure of the physical is the real number and 2205 pound mass(s) |
( ! [V__OBJ,V__DEG] :
(((s__instance(V__OBJ,s__Physical) &
s__instance(V__DEG,s__RealNumber))
=>
(((s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree))
=>
s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
,s__ArcMinute)))
&
(s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
,s__ArcMinute))
=>
s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree))))))
)
)
|
Geography.kif 378-380 |
The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60 and the real number arc minute(s) |
( ! [V__OBJ,V__DEG] :
(((s__instance(V__OBJ,s__Physical) &
s__instance(V__DEG,s__RealNumber))
=>
(((s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute))
=>
s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
,s__ArcSecond)))
&
(s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
,s__ArcSecond))
=>
s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute))))))
)
)
|
Geography.kif 397-399 |
The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60 and the real number arc second(s) |
( ! [V__OBJECT,V__NUMBER] :
(((s__instance(V__OBJECT,s__Physical) &
s__instance(V__NUMBER,s__RealNumber))
=>
(((s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))
=>
s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,n__16)
,s__PoundMass)))
&
(s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,n__16)
,s__PoundMass))
=>
s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))))))
)
)
|
Mid-level-ontology.kif 12524-12529 |
The measure of a physical is a real number Ounce(s) if and only if the measure of the physical is the real number and 16 pound mass(s) |
( ! [V__SOLUTION,V__PH] :
(((s__instance(V__SOLUTION,s__Solution) &
s__instance(V__PH,s__RealNumber))
=>
(((s__measure(V__SOLUTION,s__MeasureFn(V__PH,s__PHValue))
=>
s__potentialOfHydrogen(V__SOLUTION,V__PH))
&
(s__potentialOfHydrogen(V__SOLUTION,V__PH)
=>
s__measure(V__SOLUTION,s__MeasureFn(V__PH,s__PHValue))))))
)
)
|
Geography.kif 2510-2513 |
The measure of a solution is a real number PH value(s) if and only if the real number is a potential of hydrogen of the solution |
( ! [V__N2,V__S,V__SI,V__U,V__CO,V__N] :
(((s__instance(V__N2,s__RealNumber) &
s__subclass(V__S,s__Substance) &
s__instance(V__S,s__Class) &
s__instance(V__SI,s__Object) &
s__instance(V__U,s__UnitOfMeasure) &
s__instance(V__CO,s__CorpuscularObject) &
s__instance(V__N,s__RealNumber))
=>
(((s__amount(V__S,V__CO,s__MeasureFn(V__N,V__U))
&
s__instance(V__SI,V__S)
&
s__measure(V__SI,s__MeasureFn(V__N2,V__U))
&
s__part(V__SI,V__CO))
=>
(( ? [V__L] :
((s__instance(V__L,s__List) &
(s__inList(s__MeasureFn(V__N2,V__U)
,V__L)
&
(V__L = s__AmountsFn(V__S,V__CO))
&
(s__MeasureFn(V__N,V__U)
= s__ListSumFn(V__L))))))))))
)
)
|
Merge.kif 7373-7389 |
|
( ! [V__O,V__LM,V__S,V__VM,V__V1,V__V2,V__L] :
(((s__instance(V__O,s__SelfConnectedObject) &
s__instance(V__S,s__Object) &
s__instance(V__V1,s__RealNumber) &
s__instance(V__V2,s__RealNumber) &
s__instance(V__L,s__RealNumber))
=>
(((s__approximateDiameter(V__O,s__MeasureFn(V__L,V__LM))
&
s__sphereRadius(V__S,s__MeasureFn(s__DivisionFn(V__L,n__2)
,V__LM))
&
s__measure(V__S,s__MeasureFn(V__V1,V__VM))
&
s__measure(V__O,s__MeasureFn(V__V2,V__VM))
&
s__instance(V__LM,s__LengthMeasure) &
s__instance(V__VM,s__VolumeMeasure))
=>
((V__V1 = V__V2)))))
)
)
|
Mid-level-ontology.kif 17022-17033 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
