(<=>
(larger ?OBJ1 ?OBJ2)
(forall (?QUANT1 ?QUANT2 ?UNIT)
(=>
(and
(measure ?OBJ1
(MeasureFn ?QUANT1 ?UNIT))
(measure ?OBJ2
(MeasureFn ?QUANT2 ?UNIT))
(instance ?UNIT UnitOfLength))
(greaterThan ?QUANT1 ?QUANT2)))) 
Merge.kif 76897697 
An object is larger than another object if and only if for all a real number, another real number and an unit of measure 
(<=>
(measure ?O
(MeasureFn ?A MetricTon))
(measure ?O
(MeasureFn
(MultiplicationFn ?A 2205.0) PoundMass))) 
Midlevelontology.kif 1346513471 
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.0 pound mass(s) 
(<=>
(measure ?OBJ
(MeasureFn ?DEG AngularDegree))
(measure ?OBJ
(MeasureFn
(MultiplicationFn 60.0 ?DEG) ArcMinute))) 
Geography.kif 378380 
The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60.0 and the real number arc minute(s) 
(<=>
(measure ?OBJ
(MeasureFn ?DEG ArcMinute))
(measure ?OBJ
(MeasureFn
(MultiplicationFn 60.0 ?DEG) ArcSecond))) 
Geography.kif 397399 
The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60.0 and the real number arc second(s) 
(<=>
(measure ?OBJECT
(MeasureFn ?NUMBER OunceMass))
(measure ?OBJECT
(MeasureFn
(DivisionFn ?NUMBER 16.0) PoundMass))) 
Midlevelontology.kif 1318713192 
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.0 pound mass(s) 
(=>
(and
(arableLandArea ?REGION
(MeasureFn ?FRACTION ?UNIT))
(greaterThanOrEqualTo ?FRACTION 0.0)
(totalArea ?REGION
(MeasureFn ?TOTAL ?UNIT))
(instance ?UNIT UnitOfArea))
(exists (?ARABLE)
(and
(instance ?ARABLE ArableLand)
(geographicSubregion ?ARABLE ?REGION)
(measure ?ARABLE
(MeasureFn
(MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) 
Geography.kif 20962110 

(=>
(and
(attribute ?Order LimitOrder)
(partyToAgreement ?Order ?Broker)
(attribute ?Broker Broker)
(orderFor ?Order Buying ?Object)
(measure ?Object ?Quantity)
(limitPrice ?Order
(MeasureFn ?LimitPrice ?U))
(instance ?U UnitOfCurrency)
(askPrice ?Object
(MeasureFn ?Price ?U) ?Time)
(lessThanOrEqualTo ?Price ?LimitPrice))
(holdsObligation
(KappaFn ?Buy
(and
(instance ?Buy Buying)
(patient ?Buy ?Object)
(measure ?Object ?Quantity)
(equal
(WhenFn ?Buy) ?BuyingTime)
(overlapsTemporally ?Time ?BuyingTime))) ?Broker)) 
FinancialOntology.kif 20222043 

(=>
(and
(attribute ?Order LimitOrder)
(partyToAgreement ?Order ?Broker)
(attribute ?Broker Broker)
(orderFor ?Order Selling ?Object)
(measure ?Object ?Quantity)
(limitPrice ?Order
(MeasureFn ?LimitPrice ?U))
(bidPrice ?Object
(MeasureFn ?Price ?U) ?Time)
(instance ?U UnitOfCurrency)
(greaterThanOrEqualTo ?Price ?LimitPrice))
(holdsObligation
(KappaFn ?Sell
(and
(instance ?Sell Selling)
(patient ?Sell ?Object)
(measure ?Object ?Quantity)
(equal
(WhenFn ?Sell) ?SellingTime)
(overlapsTemporally ?SellingTime ?Time))) ?Broker)) 
FinancialOntology.kif 20452066 

(=>
(and
(attribute ?ROOM Oversized)
(immediateInstance ?ROOM ?HOTELUNIT)
(subclass ?HOTELUNIT HotelUnit))
(exists (?NORMAL ?AREA1 ?AREA2 ?U)
(and
(immediateInstance ?NORMAL ?HOTELUNIT)
(instance ?U UnitOfArea)
(measure ?NORMAL
(MeasureFn ?AREA1 ?U))
(measure ?ROOM
(MeasureFn ?AREA2 ?U))
(instance ?AREA1 AreaMeasure)
(instance ?AREA2 AreaMeasure)
(greaterThan ?AREA2 ?AREA1)))) 
Hotel.kif 11861201 

(=>
(and
(defaultMaximumMeasure ?OBJECT
(MeasureFn ?Q ?UNIT))
(instance ?UNIT CompositeUnitOfMeasure))
(modalAttribute
(exists (?INST ?QUANTITY)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT))
(greaterThan ?QUANTITY ?Q))) Unlikely)) 
Midlevelontology.kif 1339613405 

(=>
(and
(defaultMaximumMeasure ?OBJECT
(MeasureFn ?Q ?UNIT1))
(subclass ?UNITCLASS NonCompositeUnitOfMeasure)
(instance ?UNIT1 ?UNITCLASS))
(modalAttribute
(exists (?INST ?QUANTITY ?UNIT2)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT2))
(instance ?UNIT2 ?UNITCLASS)
(greaterThan
(MeasureFn ?QUANTITY ?UNIT2)
(MeasureFn ?Q ?UNIT1)))) Unlikely)) 
Midlevelontology.kif 1340713418 

(=>
(and
(defaultMeasure ?OBJECT
(MeasureFn ?Q ?UNIT))
(instance ?UNIT CompositeUnitOfMeasure))
(modalAttribute
(exists (?INST ?QUANTITY)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT))
(greaterThan ?QUANTITY
(MultiplicationFn ?Q 1.5)))) Unlikely)) 
Midlevelontology.kif 1342613435 

(=>
(and
(defaultMeasure ?OBJECT
(MeasureFn ?Q ?UNIT))
(instance ?UNIT CompositeUnitOfMeasure))
(modalAttribute
(exists (?INST ?QUANTITY)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT))
(lessThan ?QUANTITY
(MultiplicationFn ?Q .5)))) Unlikely)) 
Midlevelontology.kif 1343713446 

(=>
(and
(defaultMinimumMeasure ?OBJECT
(MeasureFn ?Q ?UNIT))
(instance ?UNIT CompositeUnitOfMeasure))
(modalAttribute
(exists (?INST ?QUANTITY)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT))
(lessThan ?QUANTITY ?Q))) Unlikely)) 
Midlevelontology.kif 1336513374 

(=>
(and
(defaultMinimumMeasure ?OBJECT
(MeasureFn ?Q ?UNIT1))
(subclass ?UNITCLASS NonCompositeUnitOfMeasure)
(instance ?UNIT1 ?UNITCLASS))
(modalAttribute
(exists (?INST ?QUANTITY ?UNIT2)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT2))
(instance ?UNIT2 ?UNITCLASS)
(lessThan ?QUANTITY ?Q))) Unlikely)) 
Midlevelontology.kif 1337613387 

(=>
(and
(graphMeasure ?G ?M)
(instance ?AN GraphNode)
(graphPart ?AN ?G)
(graphPart ?AA ?G)
(instance ?AA GraphArc)
(abstractCounterpart ?AN ?PN)
(abstractCounterpart ?AA ?PA)
(arcWeight ?AA ?N))
(measure ?PA
(MeasureFn ?N ?M))) 
Merge.kif 60966107 

(=>
(and
(immediateInstance ?BIG ?CLASS)
(immediateInstance ?NORMAL ?CLASS)
(attribute ?BIG Oversized))
(exists (?BIGSIZE ?NORMALSIZE ?U)
(and
(instance ?U UnitOfMeasure)
(measure ?BIG
(MeasureFn ?BIGSIZE ?U))
(measure ?NORMAL
(MeasureFn ?NORMALSIZE ?U))
(greaterThan ?BIGSIZE ?NORMALSIZE)))) 
Hotel.kif 11721184 

(=>
(and
(instance ?ACCELERATE Accelerating)
(agent ?ACCELERATE ?AGENT))
(exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(and
(holdsDuring
(BeginFn
(WhenFn ?ACCELERATE))
(measure ?AGENT
(SpeedFn
(MeasureFn ?LENGTH1 ?U1)
(MeasureFn ?TIME1 ?U2))))
(holdsDuring
(EndFn
(WhenFn ?ACCELERATE))
(measure ?AGENT
(SpeedFn
(MeasureFn ?LENGTH2 ?U1)
(MeasureFn ?TIME2 ?U2))))
(or
(greaterThan ?LENGTH2 ?LENGTH1)
(greaterThan ?TIME2 ?TIME1))))) 
Midlevelontology.kif 1699917020 
 If a process is an instance of accelerating and an agent is an agent of the process,
 then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the other real number is greater than the real number or the fourth real number is greater than the third real number

(=>
(and
(instance ?D Decelerating)
(agent ?D ?A))
(exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
(and
(holdsDuring
(BeginFn
(WhenFn ?D))
(measure ?A
(SpeedFn
(MeasureFn ?L1 ?U1)
(MeasureFn ?T1 ?U2))))
(holdsDuring
(EndFn
(WhenFn ?D))
(measure ?A
(SpeedFn
(MeasureFn ?L2 ?U1)
(MeasureFn ?T2 ?U2))))
(or
(greaterThan ?L1 ?L2)
(greaterThan ?T1 ?T2))))) 
Midlevelontology.kif 1702717047 
 If a process is an instance of decelerating and an agent is an agent of the process,
 then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the real number is greater than the other real number or the third real number is greater than the fourth real number

(=>
(and
(instance ?E InternalCombustionEngine)
(instance ?CC CombustionChamber)
(part ?CC ?E)
(instance ?F Fuel)
(instance ?M UnitOfVolume)
(holdsDuring ?T
(and
(contains ?CC ?F)
(measure ?F
(MeasureFn ?N1 ?M))
(attribute ?E EngineFlooded))))
(hasPurpose ?CC
(not
(exists (?F2)
(and
(instance ?F2 Fuel)
(contains ?CC ?F2)
(measure ?F2
(MeasureFn ?N2 ?M))
(greaterThanOrEqualTo ?N2 ?N1)))))) 
Cars.kif 28112830 

(=>
(and
(instance ?EC EngineCycle)
(instance ?E InternalCombustionEngine)
(instance ?CC CombustionChamber)
(part ?CC ?E)
(eventLocated ?EC ?E)
(instance ?U UnitOfVolume)
(holdsDuring
(WhenFn ?EC)
(maxCylinderVolume ?E
(MeasureFn ?V1 ?U))))
(not
(exists (?V2 ?T)
(and
(during ?T
(WhenFn ?EC))
(holdsDuring ?T
(measure ?CC
(MeasureFn ?V2 ?U)))
(greaterThan ?V2 ?V1))))) 
Cars.kif 18981917 

(=>
(and
(instance ?EC EngineCycle)
(instance ?E InternalCombustionEngine)
(instance ?CC CombustionChamber)
(part ?CC ?E)
(eventLocated ?EC ?E)
(instance ?U UnitOfVolume)
(holdsDuring
(WhenFn ?EC)
(minCylinderVolume ?E
(MeasureFn ?V1 ?U))))
(not
(exists (?V2 ?T)
(and
(during ?T
(WhenFn ?EC))
(holdsDuring ?T
(measure ?CC
(MeasureFn ?V2 ?U)))
(greaterThan ?V1 ?V2))))) 
Cars.kif 18681887 

(=>
(and
(instance ?EG EngineGovernor)
(instance ?E Engine)
(connectedEngineeringComponents ?EG ?E)
(governorSpeed ?E
(MeasureFn ?S MilesPerHour)))
(hasPurpose ?EG
(not
(exists (?R ?P ?M)
(and
(instance ?P Device)
(part ?P ?E)
(instance ?R Rotating)
(holdsDuring
(WhenFn ?R)
(and
(measure ?P
(MeasureFn ?M MilesPerHour))
(greaterThan ?M ?S)))))))) 
Cars.kif 29302948 

(=>
(and
(instance ?EG EngineGovernor)
(instance ?V Vehicle)
(connectedEngineeringComponents ?EG ?V)
(governorSpeed ?E
(MeasureFn ?S MilesPerHour)))
(hasPurpose ?EG
(not
(exists (?T ?M)
(and
(instance ?T Translocation)
(holdsDuring
(WhenFn ?T)
(and
(measure ?V
(MeasureFn ?M MilesPerHour))
(greaterThan ?M ?S)))))))) 
Cars.kif 29572973 

(=>
(and
(instance ?Exercise ExerciseAnOption)
(patient ?Exercise ?Option)
(property ?Option CallOption)
(time ?Exercise ?Time)
(underlier ?Option ?Stocks))
(exists (?Buy)
(and
(instance ?Buy Buying)
(patient ?Buy ?Stocks)
(time ?Buy ?Time)
(measure ?Stocks
(MeasureFn 100 ShareUnit))))) 
FinancialOntology.kif 27662778 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 