(<=>
(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 12357-12364 |
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 15399-15416 |
|
(=>
(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 21325-21336 |
|
(=>
(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 17013-17034 |
- 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 12547-12560 |
|
(=>
(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 12507-12520 |
|
(=>
(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 1523-1539 |
|
(=>
(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 12251-12258 |
|
(=>
(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 16213-16223 |
|
(=>
(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 17256-17267 |
|
(=>
(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 17297-17309 |
|
(=>
(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 16233-16243 |
|
(=>
(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 21225-21233 |
|
(=>
(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 13824-13832 |
|
(=>
(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 23866-23877 |
|
(=>
(and
(instance ?C CausingHappiness)
(patient ?C ?P))
(and
(holdsDuring
(BeginFn
(WhenFn ?C))
(not
(attribute ?P Unhappiness)))
(holdsDuring
(EndFn
(WhenFn ?C))
(attribute ?P Unhappiness)))) |
Mid-level-ontology.kif 23887-23898 |
|
(=>
(and
(instance ?CATCH Catching)
(agent ?CATCH ?AGENT)
(patient ?CATCH ?BALL))
(holdsDuring
(EndFn
(WhenFn ?CATCH))
(grasps ?AGENT ?BALL))) |
Mid-level-ontology.kif 16982-16987 |
|
(=>
(and
(instance ?CHANGE ChangeOfPossession)
(origin ?CHANGE ?AGENT1)
(destination ?CHANGE ?AGENT2)
(instance ?AGENT1 AutonomousAgent)
(instance ?AGENT2 AutonomousAgent)
(patient ?CHANGE ?OBJ))
(and
(holdsDuring
(BeginFn
(WhenFn ?CHANGE))
(possesses ?AGENT1 ?OBJ))
(holdsDuring
(EndFn
(WhenFn ?CHANGE))
(possesses ?AGENT2 ?OBJ)))) |
Merge.kif 11608-11618 |
|
(=>
(and
(instance ?CHANGE InternalChange)
(patient ?CHANGE ?OBJ))
(exists (?PROPERTY)
(or
(and
(holdsDuring
(BeginFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(EndFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(BeginFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(EndFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY)))))) |
Merge.kif 12490-12501 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |