(<=>
(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
(allergic ?H ?S)
(instance ?SUB ?S)
(holdsDuring ?T
(meetsSpatially ?SUB ?H)))
(modalAttribute
(exists (?AR)
(and
(instance ?AR AllergicReaction)
(experiencer ?AR ?H)
(overlapsTemporally ?T
(WhenFn ?AR))
(before
(BeginFn ?T)
(BeginFn
(WhenFn ?AR))))) Likely)) |
Mid-level-ontology.kif 6230-6243 |
|
(=>
(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
(checkOutTime ?HOTEL ?TIME)
(guest ?GUEST ?HOTEL))
(expects ?HOTEL
(exists (?T ?C)
(and
(instance ?T ?TIME)
(patient ?C ?GUEST)
(instance ?C CheckOutService)
(agent ?C ?HOTEL)
(before
(BeginFn
(WhenFn ?C)) ?T))))) |
Hotel.kif 684-695 |
|
(=>
(and
(deathdate JesusOfNazareth ?DAY)
(instance ?Y1
(YearFn 29))
(instance ?Y2
(YearFn 36)))
(temporalPart ?DAY
(TimeIntervalFn
(BeginFn ?Y1)
(EndFn ?Y2)))) |
Media.kif 1943-1948 |
|
(=>
(and
(destination ?MSG ?TELEX)
(instance ?MSG Messaging)
(patient ?MSG ?M)
(instance ?TELEX Telex))
(exists (?PROC ?TEXT)
(and
(instrument ?PROC ?TELEX)
(result ?PROC ?TEXT)
(represents ?TEXT ?M)
(instance ?TEXT Text)
(before
(BeginFn
(WhenFn ?MSG))
(BeginFn
(WhenFn ?PROC)))))) |
Communications.kif 202-214 |
|
(=>
(and
(firstInstanceCreated ?C ?T)
(instance ?I ?C))
(beforeOrEqual ?T
(BeginFn
(WhenFn ?I)))) |
Mid-level-ontology.kif 30680-30686 |
|
(=>
(and
(holdsDuring ?T2 ?SIT2)
(holdsDuring ?T1 ?SIT1)
(instance ?T1 TimeInterval)
(instance ?T2 TimeInterval)
(causesProposition ?SIT1 ?SIT2))
(beforeOrEqual
(BeginFn ?T1)
(BeginFn ?T2))) |
Merge.kif 3836-3843 |
|
(=>
(and
(inList ?INT ?LIST)
(equal ?LIST
(TimeIntervalListFn ?TIME ?DUR)))
(equal
(BeginFn ?TIME)
(BeginFn
(FirstFn ?LIST)))) |
Weather.kif 1962-1969 |
|
(=>
(and
(initialPart ?C2 ?C1)
(instance ?PART ?C2))
(exists (?WHOLE)
(and
(instance ?WHOLE ?C1)
(holdsDuring
(BeginFn
(WhenFn ?PART))
(part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 23709-23718 |
|
(=>
(and
(initiallyContainsPart ?C2 ?C1)
(instance ?WHOLE ?C1))
(exists (?PART)
(and
(instance ?PART ?C2)
(holdsDuring
(BeginFn
(WhenFn ?WHOLE))
(part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 23736-23744 |
|
(=>
(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 ?A Appointing)
(patient ?A ?H))
(exists (?P ?ORG)
(and
(holdsDuring
(BeginFn
(WhenFn ?A))
(not
(occupiesPosition ?H ?P ?ORG)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?A))
(occupiesPosition ?H ?P ?ORG))))) |
Mid-level-ontology.kif 1042-1055 |
|
(=>
(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 ?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 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 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |