(<=>
(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 7780-7788 |
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))) |
Mid-level-ontology.kif 13604-13610 |
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 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.0 and the real number arc minute(s) |
(<=>
(measure ?OBJ
(MeasureFn ?DEG ArcMinute))
(measure ?OBJ
(MeasureFn
(MultiplicationFn 60.0 ?DEG) ArcSecond))) |
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.0 and the real number arc second(s) |
(<=>
(measure ?OBJECT
(MeasureFn ?NUMBER OunceMass))
(measure ?OBJECT
(MeasureFn
(DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 13325-13330 |
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 2092-2106 |
|
(=>
(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 2008-2029 |
|
(=>
(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 2031-2052 |
|
(=>
(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 1186-1201 |
|
(=>
(and
(attribute ?X ?Y)
(instance ?Y TemperatureAttribute)
(instance ?X Object))
(exists (?TEMP)
(and
(measure ?X ?TEMP)
(instance ?TEMP TemperatureMeasure)
(attribute ?TEMP ?Y)))) |
Mid-level-ontology.kif 25675-25684 |
|
(=>
(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)) |
Mid-level-ontology.kif 13535-13544 |
|
(=>
(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)) |
Mid-level-ontology.kif 13546-13557 |
|
(=>
(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)) |
Mid-level-ontology.kif 13565-13574 |
|
(=>
(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)) |
Mid-level-ontology.kif 13576-13585 |
|
(=>
(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)) |
Mid-level-ontology.kif 13504-13513 |
|
(=>
(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)) |
Mid-level-ontology.kif 13515-13526 |
|
(=>
(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 6165-6176 |
|
(=>
(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 1172-1184 |
|
(=>
(and
(immediateInstance ?X ?CLASS)
(immediateInstance ?Y ?CLASS)
(attribute ?X ColdTemperature)
(attribute ?Y HotTemperature))
(exists (?TEMPX ?TEMPY ?UNIT)
(and
(measure ?X
(MeasureFn ?TEMPX ?UNIT))
(instance ?UNIT UnitOfTemperature)
(instance ?TEMPX TemperatureMeasure)
(measure ?Y
(MeasureFn ?TEMPY ?UNIT))
(instance ?TEMPY TemperatureMeasure)
(greaterThan ?TEMPY ?TEMPX)))) |
Mid-level-ontology.kif 25710-25725 |
|
(=>
(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))))) |
Mid-level-ontology.kif 17142-17163 |
- 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 ?ATOM Actinium)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 227 Amu))) |
Mid-level-ontology.kif 28800-28804 |
|
(=>
(and
(instance ?ATOM Aluminum)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 26.9815 Amu))) |
Mid-level-ontology.kif 27466-27470 |
|
(=>
(and
(instance ?ATOM Americium)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 243 Amu))) |
Mid-level-ontology.kif 28906-28910 |
|
(=>
(and
(instance ?ATOM Antimony)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 121.75 Amu))) |
Mid-level-ontology.kif 28100-28104 |
|
(=>
(and
(instance ?ATOM Argon)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 39.948 Amu))) |
Mid-level-ontology.kif 27549-27553 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |