(=>
(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 815-836 |
|
(=>
(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
(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
(offers ?AGENT ?CATALOG)
(catalogItem ?CLASS ?CATALOG)
(subclass ?CLASS Process))
(capability ?CLASS agent ?AGENT)) |
Catalog.kif 88-93 |
|
(=>
(attribute ?H NewsReporter)
(hasPurpose ?H
(exists (?EV ?T ?NEWS)
(and
(instance ?EV Process)
(overlapsTemporally
(WhenFn ?EV)
(WhenFn ?H))
(instance ?T ?NEWS)
(or
(subclass ?NEWS Newspaper)
(subclass ?NEWS NewsProgram))
(authors ?H ?NEWS)
(refers ?T ?EV))))) |
Mid-level-ontology.kif 22683-22697 |
|
(=>
(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 ?SH SafetyHarness)
(instance ?PERSON Animal)
(wears ?PERSON ?SH))
(hasPurpose ?SH
(exists (?PROC ?INJ ?I)
(and
(instance ?PROC Process)
(instrument ?PROC ?SH)
(patient ?PROC ?PERSON)
(subclass ?INJ
(KappaFn ?I
(and
(instance ?I Injuring)
(exists (?F ?H ?T)
(and
(instance ?H Human)
(experiencer ?I ?H)
(instance ?F Falling)
(experiencer ?F ?H)
(causes ?F ?I)
(=>
(holdsDuring ?T
(experiencer ?I ?PERSON))
(not
(holdsDuring ?T
(patient ?PROC ?PERSON)))))))))
(prevents ?PROC ?INJ))))) |
Cars.kif 3450-3478 |
|
(=>
(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
(paidRoomAmenity ?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))
(exists (?PRICE ?U)
(and
(price ?P
(MeasureFn ?PRICE ?U) ?GUEST)
(instance ?U UnitOfCurrency)
(greaterThan ?PRICE 0)))) |
Hotel.kif 419-438 |
|
(=>
(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 |
|
(=>
(instance ?PE ProtectiveEyewear)
(hasPurpose ?PE
(=>
(exists (?PERSON)
(and
(instance ?PERSON Human)
(wears ?PERSON ?PE)))
(exists (?PROTECT ?EYE ?INJ ?I ?T)
(and
(instance ?PROTECT Process)
(instrument ?PROTECT ?PE)
(subclass ?INJ
(KappaFn ?I
(exists (?HUMAN)
(and
(instance ?I Injuring)
(instance ?EYE Eye)
(instance ?HUMAN Human)
(properPart ?EYE ?HUMAN)
(patient ?I ?EYE)
(=>
(holdsDuring ?T
(patient ?I ?PERSON))
(not
(holdsDuring ?T
(patient ?PROTECT ?PERSON))))))))
(prevents ?PROTECT ?INJ)))))) |
Cars.kif 3543-3570 |
|
(=>
(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 31922-31952 |
- 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 equal the other entity and 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
(naturalHazardTypeInArea ?AREA ?TYPE)
(subclass ?TYPE Process))
(exists (?ITEM)
(and
(instance ?ITEM ?TYPE)
(located ?ITEM ?AREA)
(overlapsTemporally
(WhenFn ?ITEM)
(WhenFn ?AREA))))) |
Geography.kif 2438-2448 |
|
(=>
(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
(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
(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 |
|
(=>
(instance ?TEAM CrossFunctionalTeam)
(exists (?SKILL ?MEMBER1 ?MEMBER2 ?INST)
(and
(subclass ?SKILL Process)
(instance ?MEMBER1 Human)
(instance ?MEMBER2 Human)
(member ?MEMBER1 ?TEAM)
(member ?MEMBER2 ?TEAM)
(hasSkill ?SKILL ?MEMBER1)
(not
(hasSkill ?SKILL ?MEMBER2))
(instance ?INST ?SKILL)
(inScopeOfInterest ?TEAM ?INST)))) |
UXExperimentalTerms.kif 2630-2643 |
|
(=>
(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
(instance ?HP HearingProtection)
(instance ?PERSON Human)
(wears ?PERSON ?HP))
(hasPurpose ?HP
(exists (?PROC ?INJ ?I)
(and
(instance ?PROC Process)
(subclass ?INJ
(KappaFn ?I
(and
(instance ?I Injuring)
(exists (?SOUND ?HEAR ?HUMAN ?T)
(and
(instance ?SOUND RadiatingSound)
(instance ?HEAR Hearing)
(instance ?HUMAN Human)
(patient ?HEAR ?SOUND)
(experiencer ?HEAR ?HUMAN)
(causes ?HEAR ?I)
(experiencer ?I ?HUMAN)
(=>
(holdsDuring ?T
(experiencer ?I ?PERSON))
(not
(holdsDuring ?T
(patient ?PROC ?PERSON)))))))))
(prevents ?PROC ?INJ)
(instrument ?PROC ?HP))))) |
Cars.kif 3508-3537 |
|
(=>
(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
(instance ?ROLE CaseRole)
(?ROLE ?ARG1 ?ARG2)
(instance ?ARG1 ?PROC)
(subclass ?PROC Process))
(capability ?PROC ?ROLE ?ARG2)) |
Merge.kif 3923-3929 |
|
(=>
(and
(equal ?DEP
(DepartmentOfPreventingFn ?COMP ?PHYS))
(subclass ?PHYS Process)
(subOrganization ?DEP ?COMP))
(inhibits ?DEP ?PHYS)) |
Mid-level-ontology.kif 19972-19977 |
|
(=>
(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 3592-3613 |
|
(=>
(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
(playsRoleInEvent ?OBJ ?ROLE ?EVENT)
(instance ?EVENT ?CLASS)
(subclass ?CLASS Process)
(time ?EVENT ?TIME)
(eventLocated ?EVENT ?PLACE))
(playsRoleInEventOfType ?OBJ ?ROLE ?CLASS ?TIME ?PLACE)) |
Mid-level-ontology.kif 24901-24908 |
|
(subclass Process Physical) |
Merge.kif 1632-1632 |
Process is a subclass of physical |
(subclass AddToCart Process) |
UXExperimentalTerms.kif 1303-1303 |
Add to cart is a subclass of process |
(subclass Checkout Process) |
UXExperimentalTerms.kif 1457-1457 |
Checkout is a subclass of process |
(subclass WatchItem Process) |
UXExperimentalTerms.kif 1587-1587 |
Watch item is a subclass of process |
(subclass LargeGroupProcess Process) |
Mid-level-ontology.kif 9095-9095 |
Large group process is a subclass of process |
(subclass CausingHappiness Process) |
Mid-level-ontology.kif 25410-25410 |
Causing happiness is a subclass of process |
(subclass CausingUnhappiness Process) |
Mid-level-ontology.kif 25431-25431 |
Causing unhappiness is a subclass of process |
(subclass BreakingRecord Process) |
Mid-level-ontology.kif 31918-31918 |
Breaking record is a subclass of process |
(subclass ContentBearingProcess Process) |
Merge.kif 1329-1329 |
Content bearing process is a subclass of process |
(subclass DualObjectProcess Process) |
Merge.kif 1643-1643 |
Dual object process is a subclass of process |
(subclass SingleAgentProcess Process) |
Merge.kif 1656-1656 |
Single agent process is a subclass of process |
(subclass NaturalProcess Process) |
Merge.kif 10620-10620 |
Natural process is a subclass of process |
(subclass IntentionalProcess Process) |
Merge.kif 10624-10624 |
Intentional process is a subclass of process |
(subclass Motion Process) |
Merge.kif 11151-11151 |
Motion is a subclass of process |
(subclass InternalChange Process) |
Merge.kif 12746-12746 |
Internal change is a subclass of process |
(subclass AgentPatientProcess Process) |
Media.kif 164-164 |
Agent patient process is a subclass of process |
(subclass PowerGeneration Process) |
Economy.kif 2303-2303 |
Power generation is a subclass of process |