(=>
(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
(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 1492-1504 |
|
(=>
(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 486-495 |
|
(=>
(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 32582-32603 |
|
(=>
(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 11162-11184 |
|
(=>
(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 31525-31537 |
|
(=>
(and
(instance ?A Biped)
(instance ?W Ambulating)
(agent ?W ?A))
(modalAttribute
(exists (?L1 ?L2)
(and
(instance ?L1 Leg)
(instance ?L2 Leg)
(not
(equal ?L1 ?L2))
(part ?L1 ?A)
(part ?L2 ?A)
(instrument ?W ?L1)
(instrument ?W ?L2))) Likely)) |
Mid-level-ontology.kif 4854-4870 |
|
(=>
(and
(instance ?A Fungivore)
(agent ?E ?A)
(instance ?E Eating)
(patient ?E ?F))
(instance ?F Fungus)) |
Mid-level-ontology.kif 21673-21679 |
|
(=>
(and
(instance ?A Herbivore)
(agent ?E ?A)
(instance ?E Eating)
(patient ?E ?F))
(instance ?F Plant)) |
Mid-level-ontology.kif 21644-21650 |
|
(=>
(and
(instance ?A Omnivore)
(agent ?E ?A)
(instance ?E Eating)
(patient ?E ?F))
(or
(instance ?F Plant)
(instance ?F Animal)
(instance ?F Fungus))) |
Mid-level-ontology.kif 21658-21667 |
|
(=>
(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 11223-11245 |
|
(=>
(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 2441-2446 |
|
(=>
(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 18516-18537 |
- 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 3758-3783 |
|
(=>
(and
(instance ?ACT OrganizationalProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT Organization)
(exists (?ORG)
(and
(instance ?ORG Organization)
(member ?AGENT ?ORG))))) |
Merge.kif 10700-10709 |
|
(=>
(and
(instance ?ACT ReligiousProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT ReligiousOrganization)
(exists (?ORG)
(and
(member ?AGENT ?ORG)
(instance ?ORG ReligiousOrganization))))) |
Merge.kif 10722-10731 |
|
(=>
(and
(instance ?AMBULATE Ambulating)
(agent ?AMBULATE ?AGENT))
(attribute ?AGENT Standing)) |
Merge.kif 18271-18275 |
|
(=>
(and
(instance ?AMBULATE Ambulating)
(instance ?STEP Stepping)
(subProcess ?STEP ?AMBULATE)
(agent ?AMBULATE ?AGENT))
(agent ?STEP ?AGENT)) |
Mid-level-ontology.kif 509-515 |
|
(=>
(and
(instance ?AMBULATE Ambulating)
(instance ?STEP Stepping)
(subProcess ?STEP ?AMBULATE)
(agent ?STEP ?AGENT))
(agent ?AMBULATE ?AGENT)) |
Mid-level-ontology.kif 517-523 |
|
(=>
(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 23390-23402 |
|
(=>
(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 25114-25118 |
|
(=>
(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 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
