(=>
(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 |
|
(=>
(and
(holdsDuring ?T
(attribute ?H ChronicFatigueSyndrome))
(instance ?R RecreationOrExercise)
(agent ?R ?H)
(during
(WhenFn ?R) ?T))
(modalAttribute
(and
(holdsDuring ?T2
(attribute ?H PostExertionalMalaise))
(earlier
(WhenFn ?R) ?T2)) Likely)) |
Medicine.kif 1500-1512 |
|
(=>
(and
(holdsDuring ?T
(desires ?M
(attribute ?V Dead)))
(instance ?MURDER Murder)
(agent ?MURDER ?M)
(patient ?MURDER ?V)
(earlier ?T
(WhenFn ?MURDER)))
(attribute ?MURDER Premeditated)) |
Law.kif 480-489 |
|
(=>
(and
(holdsDuring ?T1
(attribute ?H Dieting))
(holdsDuring ?T2
(not
(attribute ?H Dieting)))
(instance ?M1 Meal)
(instance ?E1 Eating)
(agent ?E1 ?H)
(resource ?E1 ?M1)
(during
(WhenFn ?E1) ?T1)
(measure ?M1
(MeasureFn ?C1 Calorie))
(instance ?M2 Meal)
(instance ?E2 Eating)
(agent ?E2 ?H)
(resource ?E2 ?M2)
(during
(WhenFn ?E2) ?T2)
(measure ?M2
(MeasureFn ?C2 Calorie)))
(modalAttribute
(greaterThan ?C2 ?C1) Likely)) |
Mid-level-ontology.kif 30662-30683 |
|
(=>
(and
(instance ?A Antacid)
(instance ?I Ingesting)
(agent ?I ?H)
(moves ?I ?A)
(instance ?S Stomach)
(part ?S ?H)
(holdsDuring
(ImmediatePastFn
(WhenFn ?I))
(and
(contains ?S ?F1)
(instance ?F1 Fluid)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?I))
(and
(contains ?S ?F2)
(instance ?F2 Fluid)))
(phMeasure ?F1 ?N1)
(phMeasure ?F2 ?N2))
(greaterThan ?N2 ?N1)) |
Mid-level-ontology.kif 9839-9861 |
|
(=>
(and
(instance ?A Apologizing)
(agent ?A ?AG)
(destination ?A ?P))
(exists (?ACT)
(and
(suffers ?ACT ?P)
(agent ?ACT ?AG)
(holdsDuring
(WhenFn ?A)
(not
(wants ?AG ?ACT)))))) |
Mid-level-ontology.kif 29620-29632 |
|
(=>
(and
(instance ?A Biped)
(instance ?W Ambulating)
(agent ?W ?A))
(modalAttribute
(exists (?L1 ?L2)
(and
(instance ?L1 Leg)
(instance ?L2 Leg)
(part ?L1 ?A)
(part ?L2 ?A)
(instrument ?W ?L1)
(instrument ?W ?L2))) Likely)) |
Mid-level-ontology.kif 4411-4425 |
|
(=>
(and
(instance ?A Herbivore)
(agent ?E ?A)
(instance ?E Eating)
(patient ?E ?F))
(instance ?F Plant)) |
Mid-level-ontology.kif 20066-20072 |
|
(=>
(and
(instance ?A ProtonPumpInhibitor)
(instance ?I Ingesting)
(agent ?I ?H)
(moves ?I ?A)
(instance ?S Stomach)
(part ?S ?H)
(holdsDuring
(ImmediatePastFn
(WhenFn ?I))
(and
(contains ?S ?F1)
(instance ?F1 Fluid)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?I))
(and
(contains ?S ?F2)
(instance ?F2 Fluid)))
(phMeasure ?F1 ?N1)
(phMeasure ?F2 ?N2))
(greaterThan ?N2 ?N1)) |
Mid-level-ontology.kif 9900-9922 |
|
(=>
(and
(instance ?ABORTED
(AbortedMissionFn ?A ?MISSION))
(causes ?ACTION ?ABORTED)
(agent ?ACTION ?OTHER_A)
(agent ?MISSION ?THIS_A))
(not
(enemy ?OTHER_A ?THIS_A))) |
MilitaryProcesses.kif 2440-2445 |
|
(=>
(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 ?ACCESSING AccessingWebPage)
(instance ?PAGE WebPage)
(instance ?TRANSFER DataTransfer)
(instance ?SERVER Server)
(instance ?REQUESTING Requesting)
(instance ?BROWSER WebBrowser)
(instance ?INTERVAL TimeInterval)
(patient ?ACCESSING ?PAGE)
(agent ?REQUESTING ?BROWSER)
(destination ?REQUESTING ?SERVER)
(patient ?REQUESTING ?PAGE)
(origin ?TRANSFER ?SERVER)
(destination ?TRANSFER ?BROWSER)
(patient ?TRANSFER ?PAGE)
(subProcess ?TRANSFER ?ACCESSING)
(subProcess ?REQUESTING ?ACCESSING)
(equal
(EndFn
(WhenFn ?REQUESTING))
(BeginFn ?INTERVAL))
(equal
(EndFn
(WhenFn ?TRANSFER))
(EndFn ?INTERVAL)))
(equal
(SiteSpeedFn ?ACCESSING) ?INTERVAL)) |
UXExperimentalTerms.kif 3759-3784 |
|
(=>
(and
(instance ?ACT OrganizationalProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT Organization)
(exists (?ORG)
(and
(instance ?ORG Organization)
(member ?AGENT ?ORG))))) |
Merge.kif 10540-10549 |
|
(=>
(and
(instance ?ACT ReligiousProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT ReligiousOrganization)
(exists (?ORG)
(and
(member ?AGENT ?ORG)
(instance ?ORG ReligiousOrganization))))) |
Merge.kif 10562-10571 |
|
(=>
(and
(instance ?AMBULATE Ambulating)
(agent ?AMBULATE ?AGENT))
(attribute ?AGENT Standing)) |
Merge.kif 18063-18067 |
|
(=>
(and
(instance ?AMBULATE Ambulating)
(instance ?STEP Stepping)
(subProcess ?STEP ?AMBULATE)
(agent ?AMBULATE ?AGENT))
(agent ?STEP ?AGENT)) |
Mid-level-ontology.kif 516-522 |
|
(=>
(and
(instance ?AMBULATE Ambulating)
(instance ?STEP Stepping)
(subProcess ?STEP ?AMBULATE)
(agent ?STEP ?AGENT))
(agent ?AMBULATE ?AGENT)) |
Mid-level-ontology.kif 524-530 |
|
(=>
(and
(instance ?AMBUSH Ambush)
(agent ?AMBUSH ?AG))
(exists (?C)
(and
(instance ?C Concealing)
(subProcess ?C ?AMBUSH)
(hasPurpose ?C
(exists (?ATTACK)
(and
(instance ?ATTACK Attack)
(agent ?ATTACK ?AG))))))) |
Mid-level-ontology.kif 21757-21769 |
|
(=>
(and
(instance ?APR AirPhotographicReconnaissance)
(agent ?APR ?AGENT)
(patient ?APR ?HOSTILE))
(exists (?PHOTOGRAPHING)
(and
(instance ?PHOTOGRAPHING Photographing)
(subProcess ?PHOTOGRAPHING ?APR)
(agent ?PHOTOGRAPHING ?AGENT)
(patient ?PHOTOGRAPHING ?HOSTILE)))) |
MilitaryProcesses.kif 753-763 |
|
(=>
(and
(instance ?AR AmphibiousReconnaissance)
(agent ?AR ?AGENT))
(exists (?LANDING)
(and
(subProcess ?LANDING ?AR)
(instance ?LANDING LandingWaterLand)
(agent ?LANDING ?AGENT)))) |
MilitaryProcesses.kif 782-790 |
|
(=>
(and
(instance ?AR ArmedReconnaissance)
(agent ?AR ?AGENT)
(patient ?AR ?HOSTILE)
(holdsDuring
(WhenFn ?AR)
(enemy ?AGENT ?HOSTILE)))
(confersRight
(exists (?ATTACK)
(and
(instance ?ATTACK Attack)
(agent ?ATTACK ?AGENT)
(patient ?ATTACK ?HOSTILE))) ?AR ?AGENT)) |
MilitaryProcesses.kif 89-103 |
|
(=>
(and
(instance ?ARREST PlacingUnderArrest)
(agent ?ARREST ?AGENT))
(instance ?AGENT CognitiveAgent)) |
Mid-level-ontology.kif 23482-23486 |
|
(=>
(and
(instance ?ATC AddToCart)
(instance ?OBJ Object)
(patient ?ATC ?OBJ)
(agent ?ATC ?USER))
(exists (?COLL ?SITE ?AFTER ?INTERVAL)
(and
(instance ?COLL Collection)
(instance ?SITE WebSite)
(instance ?INTERVAL TimeInterval)
(webcart ?USER ?COLL ?SITE)
(equal
(BeginFn ?INTERVAL)
(EndFn ?ATC))
(holdsDuring ?AFTER
(member ?OBJ ?COLL))))) |
UXExperimentalTerms.kif 1326-1342 |
|
(=>
(and
(instance ?ATC AddToCart)
(instance ?USER AutonomousAgent)
(instance ?OBJ Object)
(agent ?ATC ?USER)
(patient ?ATC ?OBJ))
(desires ?USER
(exists (?BUYING)
(and
(instance ?BUYING Buying)
(patient ?BUYING ?OBJ)
(agent ?BUYING ?USER))))) |
UXExperimentalTerms.kif 1312-1324 |
|
(=>
(and
(instance ?ATTACK Attack)
(agent ?ATTACK ?AGENT)
(patient ?ATTACK ?OBJ))
(hasPurposeForAgent ?ATTACK
(exists (?DAMAGE)
(and
(instance ?DAMAGE Damaging)
(patient ?DAMAGE ?OBJ))) ?AGENT)) |
Merge.kif 13409-13418 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |