(=>
(and
(instance ?X BreakingRecord)
(agent ?X ?A1))
(exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(and
(instance ?AC Set)
(element ?A1 ?AC)
(subclass ?PC Process)
(instance ?L Region)
(instance ?TP TimePoint)
(instance ?Q Quantity)
(instance ?P1 ?PC)
(refers ?X ?Q)
(refers ?Q ?P1)
(playsRoleInEvent ?A1 ?ROLE ?P1)
(eventLocated ?P1 ?L)
(not
(exists (?A2 ?P2)
(and
(instance ?A2 ?AC)
(not
(equal ?A2 ?A1))
(instance ?P2 ?PC)
(holdsDuring
(TimeIntervalFn ?TP
(EndFn
(WhenFn ?X)))
(and
(playsRoleInEvent ?A2 ?ROLE ?P2)
(eventLocated ?P2 ?L))))))))) |
Mid-level-ontology.kif 30030-30060 |
- If a process is an instance of breaking record and an agent is an agent of the process,
- then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and the agent plays role in event the case role for the other process and the other process is located at the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and the other entity is not equal to the agent and the third entity is an instance of the class and the other entity plays role in event the case role for the third entity and the third entity is located at the object holds during interval between the time point and the end of the time of existence of the process
|
(=>
(and
(instance ?R RecreationOrExercise)
(instrument ?R ?RM)
(instance ?RM RowingMachine)
(experiencer ?R ?H)
(instance ?ROW Rowing)
(subProcess ?RMOT ?R)
(subclass ?C BodyMotion)
(instance ?RMOT ?C))
(exists (?ROWMOT)
(and
(instance ?ROWMOT ?C)
(subProcess ?ROWMOT ?R)
(agent ?ROWMOT ?H)))) |
Mid-level-ontology.kif 8243-8257 |
|
(=>
(and
(functionRoomAmenity ?FR ?PHY)
(instance ?RM ?FR)
(element ?RM
(PropertyFn ?HOTEL))
(instance ?RENT Renting)
(patient ?RENT ?RM)
(agent ?RENT ?HOTEL)
(destination ?RENT ?CUST)
(subclass ?PHY Object))
(modalAttribute
(exists (?O ?P)
(and
(instance ?O ?PHY)
(instance ?P Process)
(or
(resource ?P ?O)
(instrument ?P ?O)
(patient ?P ?O))
(or
(agent ?P ?CUST)
(experiencer ?P ?CUST)))) Possibility)) |
Hotel.kif 811-832 |
|
(=>
(instance ?CO CounterOperation)
(hasPurpose ?CO
(exists (?AGENT ?ENEMY ?OP ?CLASS)
(and
(agent ?CO ?AGENT)
(enemy ?AGENT ?ENEMY)
(subclass ?CLASS MilitaryOperation)
(instance ?OP ?CLASS)
(agent ?OP ?ENEMY)
(prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2174-2184 |
|
(=>
(and
(instance ?PROCESS ?PROCESS_CLASS)
(subclass ?PROCESS_CLASS Process)
(instance ?ACCESSING AccessingWebPage)
(instance ?AGENT AutonomousAgent)
(agent ?PROCESS ?AGENT)
(agent ?ACCESSING ?AGENT)
(during ?PROCESS ?ACCESSING)
(instance ?TIMETOFIRST TimeInterval)
(not
(exists (?PROCESS2)
(and
(instance ?PROCESS2 ?PROCESS_CLASS)
(agent ?PROCESS2 ?AGENT)
(during ?PROCESS2 ?ACCESSING)
(before
(BeginFn
(WhenFn ?PROCESS2))
(BeginFn
(WhenFn ?PROCESS))))))
(equal
(BeginFn
(WhenFn ?ACCESSING))
(BeginFn
(WhenFn ?TIMETOFIRST)))
(equal
(BeginFn
(WhenFn ?PROCESS))
(EndFn
(WhenFn ?TIMETOFIRST))))
(equal
(TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST)) |
UXExperimentalTerms.kif 1496-1518 |
|
(=>
(attribute ?DOCTOR MedicalDoctor)
(exists (?PROCESS1 ?PROCESS2)
(and
(subclass ?PROCESS1 DiagnosticProcess)
(subclass ?PROCESS2 TherapeuticProcess)
(capability ?PROCESS1 agent ?DOCTOR)
(capability ?PROCESS2 agent ?DOCTOR)))) |
Mid-level-ontology.kif 21036-21043 |
|
(=>
(instance ?CO CounterTerrorism)
(hasPurpose ?CO
(exists (?AGENT ?ENEMY ?OP ?CLASS)
(and
(agent ?CO ?AGENT)
(enemy ?AGENT ?ENEMY)
(subclass ?CLASS Terrorism)
(instance ?OP ?CLASS)
(agent ?OP ?ENEMY)
(prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2032-2042 |
|
(=>
(and
(or
(publishedPrice ?ENT ?PRICE ?AGENT ?PS)
(unitPrice ?ENT ?QUANT ?AGENT ?PS))
(subclass ?ENT Physical)
(immediateInstance ?ITEM ?ENT)
(validityPeriod ?PS ?TIMEINT))
(holdsDuring ?TIMEINT
(modalAttribute
(=>
(and
(instance ?S Selling)
(agent ?S ?AGENT)
(patient ?S ?ITEM))
(transactionAmount ?S ?PRICE)) Likely))) |
Catalog.kif 372-387 |
|
(=>
(and
(offers ?AGENT ?CATALOG)
(catalogItem ?CLASS ?CATALOG)
(subclass ?CLASS Object)
(instance ?PROCESSINST ?PROCESS)
(subclass ?PROCESS Process)
(instance ?OBJ ?CLASS)
(patient ?PROCESSINST ?OBJ))
(capability ?PROCESS agent ?AGENT)) |
Catalog.kif 98-107 |
|
(=>
(and
(instance ?SEAT AuditoriumSeat)
(part ?SEAT ?AUDITORIUM)
(part ?STAGE ?AUDITORIUM)
(instance ?AUDITORIUM Auditorium)
(instance ?STAGE PerformanceStage)
(located ?PERSON ?SEAT)
(instance ?PERSON Human)
(subclass ?SEE Seeing)
(forall (?INST)
(=>
(instance ?INST ?SEE)
(patient ?INST ?STAGE))))
(capability ?SEE agent ?PERSON)) |
Mid-level-ontology.kif 7351-7365 |
|
(=>
(instance ?CO CounterReconnaissance)
(hasPurpose ?CO
(exists (?AGENT ?ENEMY ?OP ?CLASS)
(and
(agent ?CO ?AGENT)
(enemy ?AGENT ?ENEMY)
(subclass ?CLASS ReconnaissanceOperation)
(instance ?OP ?CLASS)
(agent ?OP ?ENEMY)
(prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2193-2203 |
|
(=>
(attribute ?H ObsessiveCompulsiveDisorder)
(exists (?COL ?C)
(and
(memberType ?COL ?C)
(or
(subclass ?C Investigating)
(subclass ?C Cleaning))
(=>
(instance ?CI ?C)
(and
(agent ?CI ?H)
(not
(wants ?H ?CI))))))) |
Medicine.kif 4025-4038 |
|
(=>
(and
(customer ?CUST ?AGENT)
(propertyAmenity ?AGENT ?PHYS)
(subclass ?PHYS Object)
(instance ?X ?PHYS))
(confersRight
(exists (?PROC)
(and
(instance ?PROC Process)
(or
(resource ?PROC ?X)
(instrument ?PROC ?X)
(patient ?PROC ?X))
(or
(agent ?PROC ?CUST)
(experiencer ?PROC ?CUST)))) ?AGENT ?CUST)) |
Hotel.kif 504-520 |
|
(=>
(and
(attribute ?X Writer)
(instance ?TEXT ?CLASS)
(or
(subclass ?CLASS Text)
(subclass ?CLASS Document))
(instance ?WRITE Writing)
(agent ?WRITE ?X)
(result ?WRITE ?TEXT))
(authors ?X ?CLASS)) |
Biography.kif 730-740 |
|
(=>
(and
(instance ?X Respirator)
(instance ?PERSON Animal)
(wears ?PERSON ?X))
(hasPurpose ?X
(exists (?INHAL ?INJ ?PROTECT ?I)
(and
(instance ?PROTECT Process)
(instrument ?PROTECT ?X)
(prevents ?PROTECT ?INJ)
(subclass ?INJ
(KappaFn ?I
(and
(instance ?I Injuring)
(exists (?H)
(and
(instance ?H Human)
(patient ?I ?H)
(instance ?INHAL Inhaling)
(agent ?INHAL ?H)
(causes ?I ?INHAL)))))))))) |
Cars.kif 3531-3552 |
|
(=>
(and
(attribute ?H1 ADHD)
(not
(attribute ?H2 ADHD))
(not
(equal ?H1 ?H2))
(instance ?I1 ?IC)
(instance ?I2 ?IC)
(subclass ?IC IntentionalPsychologicalProcess)
(agent ?I1 ?H1)
(agent ?I2 ?H2)
(duration
(WhenFn ?I1) ?D1)
(duration
(WhenFn ?I2) ?D2))
(modalAttribute
(greaterThan ?D2 ?D1) Likely)) |
Medicine.kif 3984-4004 |
|
(=>
(and
(offersAtTime ?AGENT ?CATALOG ?TIMEINT)
(catalogItem ?CLASS ?CATALOG)
(subclass ?CLASS Object)
(instance ?PROCESSINSTANCE ?PROCESS)
(subclass ?PROCESS Process)
(instance ?OBJ ?CLASS)
(patient ?PROCESSINSTANCE ?OBJ)
(instance ?TIMEINT ?TIME)
(subclass ?TIME TimeInterval))
(capabilityDuring ?PROCESS agent ?AGENT ?TIME)) |
Catalog.kif 139-150 |
|
(=>
(and
(or
(publishedPrice ?ENT ?PRICE ?AGENT ?PS)
(unitPrice ?ENT ?QUANT ?AGENT ?PS))
(subclass ?ENT Physical)
(immediateInstance ?ITEM ?ENT)
(validFor ?PS ?CUSTCLASS)
(instance ?CUSTOMER ?CUSTCLASS))
(modalAttribute
(=>
(and
(instance ?B Buying)
(agent ?B ?CUSTOMER)
(origin ?B ?AGENT)
(patient ?B ?ITEM))
(transactionAmount ?B ?PRICE)) Likely)) |
Catalog.kif 354-370 |
|
(=>
(and
(roomAmenity ?ROOM ?SVC)
(subclass ?SVC Process))
(modalAttribute
(exists (?X ?S ?HOTEL ?PROC)
(and
(instance ?X ?ROOM)
(element ?X
(PropertyFn ?HOTEL))
(agent ?S ?HOTEL)
(or
(instance ?S ?SVC)
(and
(instance ?PROC ?SVC)
(subProcess ?S ?PROC)))
(located ?S ?X))) Possibility)) |
Hotel.kif 317-332 |
|
(=>
(and
(offers ?AGENT ?CATALOG)
(catalogItem ?PROP ?CATALOG)
(subclass ?PROP Proposition))
(modalAttribute
(exists (?P ?S ?X)
(and
(instance ?P ?PROP)
(realization ?X ?P)
(instance ?S Selling)
(patient ?S ?X)
(agent ?S ?AGENT))) Possibility)) |
Catalog.kif 64-76 |
|
(=>
(and
(offers ?AGENT ?CATALOG)
(catalogItem ?OBJ ?CATALOG)
(subclass ?OBJ Physical))
(modalAttribute
(exists (?S ?X)
(and
(instance ?X ?OBJ)
(instance ?S Selling)
(agent ?S ?AGENT)
(patient ?S ?X))) Possibility)) |
Catalog.kif 51-62 |
|
(=>
(and
(trafficableForTrafficType ?place ?type)
(subclass ?type AutonomousAgent)
(instance ?mover ?type))
(capableAtLocation Translocation agent ?mover ?place)) |
Transportation.kif 2617-2622 |
|
(=>
(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
(subjectiveAttribute ?AGENT1 Quick ?PERSON)
(subjectiveAttribute ?AGENT2 Slow ?PERSON)
(instance ?PROCESS1 ?CLASS)
(instance ?PROCESS2 ?CLASS)
(subclass ?CLASS Process)
(agent ?PROCESS1 ?AGENT1)
(agent ?PROCESS2 ?AGENT2))
(and
(instance ?U UnitOfDuration)
(duration
(WhenFn ?PROCESS1)
(MeasureFn ?TIME1 ?U))
(duration
(WhenFn ?PROCESS2)
(MeasureFn ?TIME2 ?U))
(greaterThan ?TIME2 ?TIME1))) |
Dining.kif 1044-1059 |
|
(=>
(and
(customer ?CUST ?AGENT)
(propertyAmenity ?AGENT ?PHYS)
(subclass ?PHYS Process))
(modalAttribute
(exists (?S ?LOC ?PROC)
(and
(element ?LOC
(PropertyFn ?AGENT))
(agent ?S ?AGENT)
(patient ?S ?CUST)
(or
(instance ?S ?PHYS)
(and
(instance ?PROC ?PHYS)
(subProcess ?S ?PROC)))
(located ?S ?LOC))) Possibility)) |
Hotel.kif 522-538 |
|
(=>
(and
(paidRoomAmenity ?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
(located ?P ?R)
(patient ?P ?O)
(instrument ?P ?O)
(resource ?P ?O)))
(exists (?PRICE ?U)
(and
(price ?O
(MeasureFn ?PRICE ?U) ?GUEST)
(instance ?U UnitOfCurrency)
(greaterThan ?PRICE 0)))) |
Hotel.kif 396-417 |
|
(=>
(and
(offersAtTime ?AGENT ?CATALOG ?TIMEINT)
(catalogItem ?CLASS ?CATALOG)
(subclass ?CLASS Process)
(instance ?TIMEINT ?TIME)
(subclass ?TIME TimeInterval))
(capabilityDuring ?CLASS agent ?AGENT ?TIME)) |
Catalog.kif 130-137 |
|
(=>
(and
(guest ?CUST ?HOTEL)
(stays ?CUST ?R)
(element ?R
(PropertyFn ?HOTEL))
(instance ?R ?ROOM)
(roomAmenity ?ROOM ?OBJ)
(subclass ?OBJ Object))
(exists (?O)
(and
(instance ?O ?OBJ)
(located ?O ?R)
(confersRight
(exists (?PROC)
(and
(agent ?PROC ?CUST)
(or
(instrument ?PROC ?O)
(patient ?PROC ?O)
(resource ?PROC ?O)))) ?HOTEL ?CUST)))) |
Hotel.kif 294-313 |
|
(=>
(and
(offers ?AGENT ?CATALOG)
(catalogItem ?CLASS ?CATALOG)
(subclass ?CLASS Process))
(capability ?CLASS agent ?AGENT)) |
Catalog.kif 88-93 |
|
(=>
(and
(instance ?DECIDE Deciding)
(agent ?DECIDE ?AGENT)
(instance ?S Set)
(patient ?DECIDE ?S)
(element ?M ?S))
(believes ?AGENT
(exists (?CLASS)
(and
(instance ?M ?CLASS)
(subclass ?CLASS IntentionalProcess)
(capability ?CLASS agent ?AGENT))))) |
Merge.kif 12014-12026 |
|
(=>
(instance ?TEAM SportsTeam)
(exists (?SPORT)
(and
(subclass ?SPORT Sport)
(capability ?SPORT agent ?TEAM)))) |
Mid-level-ontology.kif 7528-7533 |
|