(<=>
(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 |
Object ist groesser als ** Object genau dann wenn fuer alle RealNumber, ** RealNumber, and und UnitOfMeasure |
(<=>
(measure ?O
(MeasureFn ?A MetricTon))
(measure ?O
(MeasureFn
(MultiplicationFn ?A 2205.0) PoundMass))) |
Mid-level-ontology.kif 13604-13610 |
Das mass von Physical ist RealNumber MetricTon(s) %n{nicht} genau dann wenn das mass von ** Physical ist ** RealNumber und 2205.0 PoundMass(s) %n{nicht} |
(<=>
(measure ?OBJ
(MeasureFn ?DEG AngularDegree))
(measure ?OBJ
(MeasureFn
(MultiplicationFn 60.0 ?DEG) ArcMinute))) |
Geography.kif 378-380 |
Das mass von Physical ist RealNumber AngularDegree(s) %n{nicht} genau dann wenn das mass von ** Physical ist 60.0 und ** RealNumber ArcMinute(s) %n{nicht} |
(<=>
(measure ?OBJ
(MeasureFn ?DEG ArcMinute))
(measure ?OBJ
(MeasureFn
(MultiplicationFn 60.0 ?DEG) ArcSecond))) |
Geography.kif 397-399 |
Das mass von Physical ist RealNumber ArcMinute(s) %n{nicht} genau dann wenn das mass von ** Physical ist 60.0 und ** RealNumber ArcSecond(s) %n{nicht} |
(<=>
(measure ?OBJECT
(MeasureFn ?NUMBER OunceMass))
(measure ?OBJECT
(MeasureFn
(DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 13325-13330 |
Das mass von Physical ist RealNumber OunceMass(s) %n{nicht} genau dann wenn das mass von ** Physical ist ** RealNumber und 16.0 PoundMass(s) %n{nicht} |
(=>
(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 |
- Wenn Process ist ein fall von Accelerating %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht},
- dann es gibt RealNumber, ** RealNumber,, , ** RealNumber,, , ** RealNumber,, , entity, and und ** entity um das mass von ** AutonomousAgent ist ** RealNumber ** entity(s) pro &2 %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und das mass von ** AutonomousAgent ist ** ** RealNumber ** entity(s) pro &2 %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht} und ** ** RealNumber ist groesserAls ** RealNumber %n{nicht} oder ** ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}
|
(=>
(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 |