(<=>
(and
(instance ?COMBINE Combining)
(resource ?COMBINE ?OBJ1)
(result ?COMBINE ?OBJ2))
(and
(holdsDuring
(BeginFn
(WhenFn ?COMBINE))
(not
(part ?OBJ1 ?OBJ2)))
(holdsDuring
(EndFn
(WhenFn ?COMBINE))
(part ?OBJ1 ?OBJ2)))) |
Merge.kif 12488-12495 |
A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process |
(=>
(and
(amountDue ?Account ?Amount ?DueDate)
(accountHolder ?Account ?Agent))
(holdsObligation
(KappaFn ?Payment
(and
(instance ?Payment Payment)
(transactionAmount ?Payment ?Amount)
(or
(destination ?Payment
(CurrencyFn ?Account))
(origin ?Payment
(CurrencyFn ?Account)))
(date ?Payment ?Date)
(beforeOrEqual
(EndFn ?Date)
(BeginFn ?DueDate)))) ?Agent)) |
FinancialOntology.kif 655-667 |
|
(=>
(and
(birthdate JesusOfNazareth ?DAY)
(instance ?Y1
(YearFn -6))
(instance ?Y2
(YearFn 4)))
(temporalPart ?DAY
(TimeIntervalFn
(BeginFn ?Y1)
(EndFn ?Y2)))) |
Media.kif 1936-1941 |
|
(=>
(and
(deathdate JesusOfNazareth ?DAY)
(instance ?Y1
(YearFn 29))
(instance ?Y2
(YearFn 36)))
(temporalPart ?DAY
(TimeIntervalFn
(BeginFn ?Y1)
(EndFn ?Y2)))) |
Media.kif 1943-1948 |
|
(=>
(and
(equal
(EditionFn ?TEXT ?INT1) ?EDITION1)
(equal
(EditionFn ?TEXT ?INT2) ?EDITION2)
(greaterThan ?INT2 ?INT1)
(instance ?PUB1 Publication)
(instance ?PUB2 Publication)
(instance ?CBO1 ?EDITION1)
(instance ?CBO2 ?EDITION2)
(patient ?PUB1 ?CBO1)
(patient ?PUB2 ?CBO2)
(date ?PUB1 ?DATE1)
(date ?PUB2 ?DATE2))
(before
(EndFn ?DATE1)
(EndFn ?DATE2))) |
Merge.kif 15537-15554 |
|
(=>
(and
(instance ?A Aborting)
(patient ?A ?W)
(instance ?W Woman))
(and
(holdsDuring
(BeginFn
(WhenFn ?A))
(attribute ?W Pregnant))
(holdsDuring
(EndFn
(WhenFn ?A))
(not
(attribute ?W Pregnant))))) |
Mid-level-ontology.kif 21494-21505 |
|
(=>
(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 17142-17163 |
- 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 ?ACT ActivatingUIElement)
(patient ?ACT ?GUIE)
(instance ?GUIE GUIElement))
(and
(holdsDuring
(EndFn ?ACT)
(hasGUEState ?GUIE GUE_ActiveState))
(holdsDuring
(BeginFn ?ACT)
(not
(hasGUEState ?GUIE GUE_ActiveState))))) |
ComputerInput.kif 2268-2277 |
|
(=>
(and
(instance ?ACT BringingGEToFront)
(patient ?ACT ?WINDOW)
(instance ?WINDOW InterfaceWindow)
(holdsDuring
(BeginFn ?ACT)
(hasGUEState ?WINDOW ?STATE))
(contraryAttribute ?STATE GUE_UncoveredState))
(holdsDuring
(EndFn ?ACT)
(not
(hasGUEState ?WINDOW ?STATE)))) |
ComputerInput.kif 2332-2343 |
|
(=>
(and
(instance ?ACT BringingGEToFront)
(patient ?ACT ?WINDOW)
(instance ?WINDOW InterfaceWindow))
(holdsDuring
(EndFn ?ACT)
(hasGUEState ?WINDOW GUE_UncoveredState))) |
ComputerInput.kif 2347-2354 |
|
(=>
(and
(instance ?ALT ShapeChange)
(patient ?ALT ?OBJ))
(exists (?PROPERTY)
(and
(instance ?PROPERTY ShapeAttribute)
(or
(and
(holdsDuring
(BeginFn
(WhenFn ?ALT))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(EndFn
(WhenFn ?ALT))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(BeginFn
(WhenFn ?ALT))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(EndFn
(WhenFn ?ALT))
(attribute ?OBJ ?PROPERTY))))))) |
Merge.kif 12678-12691 |
|
(=>
(and
(instance ?ALT SurfaceChange)
(patient ?ALT ?OBJ))
(exists (?PART ?PROPERTY)
(and
(superficialPart ?PART ?OBJ)
(or
(and
(holdsDuring
(BeginFn
(WhenFn ?ALT))
(attribute ?PART ?PROPERTY))
(holdsDuring
(EndFn
(WhenFn ?ALT))
(not
(attribute ?PART ?PROPERTY))))
(and
(holdsDuring
(BeginFn
(WhenFn ?ALT))
(not
(attribute ?PART ?PROPERTY)))
(holdsDuring
(EndFn
(WhenFn ?ALT))
(attribute ?PART ?PROPERTY))))))) |
Merge.kif 12638-12651 |
|
(=>
(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 ?ATTACH Attaching)
(patient ?ATTACH ?OBJ1)
(patient ?ATTACH ?OBJ2))
(and
(holdsDuring
(BeginFn
(WhenFn ?ATTACH))
(not
(connected ?OBJ1 ?OBJ2)))
(holdsDuring
(EndFn
(WhenFn ?ATTACH))
(connected ?OBJ1 ?OBJ2)))) |
Merge.kif 12382-12389 |
|
(=>
(and
(instance ?B BecomingDrunk)
(experiencer ?B ?A))
(and
(holdsDuring
(BeginFn
(WhenFn ?B))
(attribute ?A Sober))
(holdsDuring
(EndFn
(WhenFn ?B))
(attribute ?A Drunk)))) |
Mid-level-ontology.kif 16342-16352 |
|
(=>
(and
(instance ?B Boarding)
(agent ?B ?A)
(patient ?B ?V))
(and
(holdsDuring
(BeginFn
(WhenFn ?B))
(not
(onboard ?A ?V)))
(holdsDuring
(EndFn
(WhenFn ?B))
(onboard ?A ?V)))) |
Mid-level-ontology.kif 17385-17396 |
|
(=>
(and
(instance ?B Deboarding)
(agent ?B ?A)
(patient ?B ?V))
(and
(holdsDuring
(BeginFn
(WhenFn ?B))
(onboard ?A ?V))
(holdsDuring
(EndFn
(WhenFn ?B))
(not
(onboard ?A ?V))))) |
Mid-level-ontology.kif 17426-17438 |
|
(=>
(and
(instance ?B Object)
(roastedToTemperature ?B ?T))
(exists (?H)
(and
(instance ?H Heating)
(patient ?H ?B)
(holdsDuring
(EndFn
(WhenFn ?H))
(measure ?B
(MeasureFn ?T CelsiusDegree)))))) |
Food.kif 468-478 |
|
(=>
(and
(instance ?B SoberingUp)
(experiencer ?B ?A))
(and
(holdsDuring
(BeginFn
(WhenFn ?B))
(attribute ?A Drunk))
(holdsDuring
(EndFn
(WhenFn ?B))
(attribute ?A Sober)))) |
Mid-level-ontology.kif 16362-16372 |
|
(=>
(and
(instance ?BLEED Bleeding)
(experiencer ?BLEED ?ANIMAL))
(exists (?BLOOD)
(and
(instance ?BLOOD Blood)
(holdsDuring
(BeginFn
(WhenFn ?BLEED))
(part ?BLOOD ?ANIMAL))
(holdsDuring
(EndFn
(WhenFn ?BLEED))
(not
(part ?BLOOD ?ANIMAL)))))) |
Mid-level-ontology.kif 21394-21402 |
|
(=>
(and
(instance ?BOIL Boiling)
(patient ?BOIL ?OBJ))
(exists (?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(BeginFn
(WhenFn ?BOIL))
(attribute ?PART Liquid))
(holdsDuring
(EndFn
(WhenFn ?BOIL))
(attribute ?PART Gas))))) |
Merge.kif 13955-13963 |
|
(=>
(and
(instance ?C CausingHappiness)
(patient ?C ?P))
(and
(holdsDuring
(BeginFn
(WhenFn ?C))
(not
(attribute ?P Happiness)))
(holdsDuring
(EndFn
(WhenFn ?C))
(attribute ?P Happiness)))) |
Mid-level-ontology.kif 23767-23778 |
|
(=>
(and
(instance ?C CausingUnhappiness)
(patient ?C ?P))
(and
(holdsDuring
(BeginFn
(WhenFn ?C))
(not
(attribute ?P Unhappiness)))
(holdsDuring
(EndFn
(WhenFn ?C))
(attribute ?P Unhappiness)))) |
Mid-level-ontology.kif 23788-23799 |
|
(=>
(and
(instance ?C ChurningButter)
(instance ?E Emulsion)
(patient ?C ?E))
(exists (?M ?B)
(and
(holdsDuring
(BeginFn
(WhenFn ?C))
(and
(equal ?E ?M)
(instance ?M Milk)))
(holdsDuring
(EndFn
(WhenFn ?C))
(and
(equal ?E ?B)
(instance ?B Butter)))))) |
Food.kif 3076-3094 |
|
(=>
(and
(instance ?C Cricothyroidotomy)
(patient ?C ?O))
(holdsDuring
(EndFn
(WhenFn ?C))
(exists (?H)
(and
(instance ?H HoleRegion)
(equal ?T
(HoleHostFn ?H))
(instance ?T Throat)
(part ?T ?O))))) |
Medicine.kif 754-765 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |