(=>
(and
(currentAccountBalance ?Account ?Date
(MeasureFn ?Balance UnitedStatesDollar))
(lessThan ?Balance 0)
(equal ?Overdraft
(SubtractionFn 0 ?Balance)))
(overdraft ?Account
(MeasureFn ?Overdraft UnitedStatesDollar) ?Date)) |
FinancialOntology.kif 783-788 |
|
(=>
(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 13536-13545 |
|
(=>
(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 13547-13558 |
|
(=>
(and
(defaultMaximumSphereRadius ?OBJECT
(MeasureFn ?R ?U))
(instance ?INST ?OBJECT)
(attribute ?INST Sphere))
(modalAttribute
(exists (?RADIUS)
(and
(sphereRadius ?INST
(MeasureFn ?RADIUS ?U))
(greaterThan ?RADIUS ?R))) Unlikely)) |
Mid-level-ontology.kif 13486-13497 |
|
(=>
(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 13566-13575 |
|
(=>
(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 13577-13586 |
|
(=>
(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 13505-13514 |
|
(=>
(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 13516-13527 |
|
(=>
(and
(defaultMinimumSphereRadius ?OBJECT
(MeasureFn ?R ?U))
(instance ?INST ?OBJECT)
(attribute ?INST Sphere))
(modalAttribute
(exists (?RADIUS)
(and
(sphereRadius ?INST
(MeasureFn ?RADIUS ?U))
(lessThan ?RADIUS ?R))) Unlikely)) |
Mid-level-ontology.kif 13467-13477 |
|
(=>
(and
(downPayment ?Loan
(MeasureFn ?Amount ?CUNIT))
(loanForPurchase ?Loan ?Purchase)
(monetaryValue ?Purchase
(MeasureFn ?Value ?CUNIT))
(equal ?Balance
(SubtractionFn ?Value ?Amount)))
(originalBalance ?Loan
(MeasureFn ?Balance ?CUNIT))) |
FinancialOntology.kif 818-828 |
|
(=>
(and
(elevation ?OBJECT
(MeasureFn ?NUM ?UNIT))
(instance ?UNIT UnitOfLength)
(instance ?OBJECT LandForm))
(exists (?HIGHPOINT)
(and
(top ?HIGHPOINT ?OBJECT)
(distance ?HIGHPOINT SeaLevel
(MeasureFn ?NUM ?UNIT))))) |
Geography.kif 1922-1930 |
|
(=>
(and
(equal ?NLIST
(PhysicalQuantityToNumberFn ?QLIST))
(equal ?QUANT
(ListOrderFn ?QLIST ?N))
(equal ?NUM
(ListOrderFn ?NLIST ?N)))
(equal
(MeasureFn ?NUM ?UNIT) ?QUANT)) |
Weather.kif 1838-1845 |
|
(=>
(and
(equal ?SPEEDLIST
(Mean3SecondWindSpeedListFn ?PLACE ?TIME))
(inList ?SPEED ?SPEEDLIST))
(exists (?TIMELIST ?INT)
(and
(equal ?TIMELIST
(TimeIntervalListFn ?TIME
(MeasureFn 3 SecondDuration)))
(inList ?INT ?TIMELIST)
(equal ?SPEED
(Mean3SecondWindSpeedFn ?PLACE ?INT))))) |
Weather.kif 2005-2017 |
|
(=>
(and
(freeFunctionRoomAmenity ?FR ?PHYS)
(instance ?RM ?FR)
(element ?RM
(PropertyFn ?AGENT))
(instance ?R Renting)
(patient ?R ?RM)
(destination ?R ?CUST)
(instance ?X ?PHYS)
(possesses ?AGENT ?X)
(customer ?CUST ?AGENT)
(or
(and
(instance ?X Process)
(or
(agent ?X ?CUST)
(experiencer ?X ?CUST)))
(and
(possesses ?AGENT ?X)
(instance ?X Object)
(uses ?X ?CUST))))
(price ?X
(MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 841-862 |
|
(=>
(and
(freePropertyAmenity ?AGENT ?PHYS)
(instance ?X ?PHYS)
(customer ?CUST ?AGENT)
(or
(and
(instance ?X Process)
(or
(agent ?X ?CUST)
(experiencer ?X ?CUST)))
(and
(possesses ?AGENT ?X)
(instance ?X Object)
(uses ?X ?CUST))))
(price ?X
(MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 546-561 |
|
(=>
(and
(freeRoomAmenity ?ROOM ?OBJ)
(subclass ?OBJ Object)
(instance ?R ?ROOM)
(stays ?GUEST ?R)
(element ?R
(PropertyFn ?HOTEL))
(instance ?O ?OBJ)
(located ?O ?R)
(instance ?P Process)
(agent ?P ?GUEST)
(or
(patient ?P ?O)
(instrument ?P ?O)
(resource ?P ?O)))
(price ?O
(MeasureFn 0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 346-361 |
|
(=>
(and
(freeRoomAmenity ?ROOM ?PROC)
(subclass ?PROC Process)
(instance ?R ?ROOM)
(stays ?GUEST ?R)
(element ?R
(PropertyFn ?HOTEL))
(patient ?P ?GUEST)
(or
(instance ?P ?PROC)
(and
(instance ?S ?PROC)
(subProcess ?P ?S)))
(located ?P ?R))
(price ?P
(MeasureFn 0.0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 364-378 |
|
(=>
(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
(holdsDuring ?T
(attribute ?H ?C))
(instance ?H ChronicDisease)
(duration ?T ?D))
(greaterThan ?D
(MeasureFn 3 MonthDuration))) |
Mid-level-ontology.kif 5919-5926 |
|
(=>
(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 25722-25737 |
|
(=>
(and
(incomeEarned ?Agent
(MeasureFn ?Income ?CU) ?Activity)
(amountCharged ?Tax
(MeasureFn ?TaxAmount ?CU))
(causes ?Activity ?Tax)
(equal ?ATIncome
(SubtractionFn ?Income ?TaxAmount)))
(afterTaxIncome ?Agent
(MeasureFn ?ATIncome ?CU) ?Activity)) |
FinancialOntology.kif 3331-3341 |
|
(=>
(and
(instance ?A CoffeeGrindAttribute)
(attribute ?C ?A)
(instance ?C CoffeeGrind))
(exists (?L ?X)
(and
(grainSize ?C ?L)
(instance ?X LengthMeasure)
(equal ?X
(MeasureFn ?L Millimeter))))) |
Food.kif 1063-1073 |
|
(=>
(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 17143-17164 |
- 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 ?AIRPORT Airport)
(attribute ?AIRPORT LongRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY
(MeasureFn ?LENGTH Meter))
(or
(greaterThanOrEqualTo ?LENGTH 2438)
(lessThanOrEqualTo ?LENGTH 3047))))) |
Transportation.kif 1445-1457 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
