(<=>
(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 12620-12627 |
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 657-669 |
|
(=>
(and
(birthdate JesusOfNazareth ?DAY)
(instance ?Y1
(YearFn -6))
(instance ?Y2
(YearFn 4)))
(temporalPart ?DAY
(TimeIntervalFn
(BeginFn ?Y1)
(EndFn ?Y2)))) |
Media.kif 1938-1943 |
|
(=>
(and
(deathdate JesusOfNazareth ?DAY)
(instance ?Y1
(YearFn 29))
(instance ?Y2
(YearFn 36)))
(temporalPart ?DAY
(TimeIntervalFn
(BeginFn ?Y1)
(EndFn ?Y2)))) |
Media.kif 1945-1950 |
|
(=>
(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 15665-15682 |
|
(=>
(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 23112-23123 |
|
(=>
(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 18530-18551 |
- 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 12810-12823 |
|
(=>
(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 12770-12783 |
|
(=>
(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 12510-12517 |
|
(=>
(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 17730-17740 |
|
(=>
(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 18937-18948 |
|
(=>
(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 18978-18990 |
|
(=>
(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 17750-17760 |
|
(=>
(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 23012-23020 |
|
(=>
(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 14086-14094 |
|
(=>
(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 25414-25425 |
|
(=>
(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 25435-25446 |
|
(=>
(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 3083-3101 |
|
(=>
(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 745-756 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |