(<=>
(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 12512-12519 |
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 6225-6238 |
|
(=>
(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 30716-30722 |
|
(=>
(and
(holdsDuring ?T2 ?SIT2)
(holdsDuring ?T1 ?SIT1)
(instance ?T1 TimeInterval)
(instance ?T2 TimeInterval)
(causesProposition ?SIT1 ?SIT2))
(beforeOrEqual
(BeginFn ?T1)
(BeginFn ?T2))) |
Merge.kif 3837-3844 |
|
(=>
(and
(inList ?INT ?LIST)
(equal ?LIST
(TimeIntervalListFn ?TIME ?DUR)))
(equal
(BeginFn ?TIME)
(BeginFn
(FirstFn ?LIST)))) |
Weather.kif 1949-1956 |
|
(=>
(and
(initialPart ?C2 ?C1)
(instance ?PART ?C2))
(exists (?WHOLE)
(and
(instance ?WHOLE ?C1)
(holdsDuring
(BeginFn
(WhenFn ?PART))
(part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 23767-23776 |
|
(=>
(and
(initiallyContainsPart ?C2 ?C1)
(instance ?WHOLE ?C1))
(exists (?PART)
(and
(instance ?PART ?C2)
(holdsDuring
(BeginFn
(WhenFn ?WHOLE))
(part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 23794-23802 |
|
(=>
(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 21522-21533 |
|
(=>
(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 1035-1048 |
|
(=>
(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 17170-17191 |
- 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 12702-12715 |
|
(=>
(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 12662-12675 |
|
(=>
(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 12406-12413 |
|
(=>
(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 16370-16380 |
|
(=>
(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 17413-17424 |
|
(=>
(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 17454-17466 |
|
(=>
(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 16390-16400 |
|
(=>
(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 21422-21430 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |