Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| temporalPart |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__SITUATION : $i,V__TIME1 : $i,V__TIME2 : $i] : (((s__holdsDuring(V__TIME1, V__SITUATION) & s__temporalPart(V__TIME2, V__TIME1)) => s__holdsDuring(V__TIME2, V__SITUATION))) | Merge.kif 8128-8132 | If X holds during Y and Z is a part of Y, then X holds during Z |
| ! [V__POS,V__THING] : (((s__instance(V__POS,s__TimePosition) & s__instance(V__THING,s__Physical)) => (s__temporalPart(V__POS,s__WhenFn(V__THING)) => s__time(V__THING,V__POS))) )
|
Merge.kif 8143-8146 | If X is a part of the time of existence of Y, then Y exists during X |
| ! [V__INTERVAL1,V__INTERVAL2,V__INTERVAL3] : (((s__instance(V__INTERVAL1,s__TimeInterval) & s__instance(V__INTERVAL2,s__TimeInterval)) => ((s__instance(V__INTERVAL3,s__TimeInterval) & s__temporalPart(V__INTERVAL3,V__INTERVAL1) & s__temporalPart(V__INTERVAL3,V__INTERVAL2)) => s__overlapsTemporally(V__INTERVAL1,V__INTERVAL2))) )
|
Merge.kif 8444-8449 | If X is an instance of timeframe, X is a part of Y, and X is a part of Z, then Z overlaps Y |
| ! [V__TI1,V__TI2,V__P1,V__P2] : (((s__instance(V__TI1,s__TimeInterval) & s__instance(V__TI2,s__TimeInterval)) => ((s__earlier(V__TI1,V__TI2) & s__instance(V__P1,s__TimePoint) & s__instance(V__P2,s__TimePoint) & s__temporalPart(V__P1,V__TI1) & s__temporalPart(V__P2,V__TI2)) => s__before(V__P1,V__P2))) )
|
Merge.kif 8483-8490 | If X happens earlier than Y, Z is an instance of time point, W is an instance of time point, Z is a part of X, and W is a part of Y, then Z happens before W |
| ! [V__INTERVAL1,V__INTERVAL2,V__INTERVAL3] : (((s__instance(V__INTERVAL1,s__TimeInterval) & s__instance(V__INTERVAL2,s__TimeInterval)) => ((s__instance(V__INTERVAL3,s__TimePosition) & s__temporalPart(V__INTERVAL3,V__INTERVAL1) & s__temporalPart(V__INTERVAL3,V__INTERVAL2)) => s__overlapsTemporally(V__INTERVAL1,V__INTERVAL2))) )
|
Merge.kif 8500-8505 | If X is an instance of time position, X is a part of Y, and X is a part of Z, then Z overlaps Y |
| ! [V__DAY1,V__DAY2,V__WEEK] : (((s__instance(V__DAY1,s__Sunday) & s__instance(V__DAY2,s__Monday) & s__instance(V__WEEK,s__Week) & s__temporalPart(V__DAY1,V__WEEK) & s__temporalPart(V__DAY2,V__WEEK)) => s__meetsTemporally(V__DAY1,V__DAY2)) )
|
Merge.kif 9445-9452 | If X is an instance of Sunday, Y is an instance of Monday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| ! [V__DAY1,V__DAY2,V__WEEK] : (((s__instance(V__DAY1,s__Monday) & s__instance(V__DAY2,s__Tuesday) & s__instance(V__WEEK,s__Week) & s__temporalPart(V__DAY1,V__WEEK) & s__temporalPart(V__DAY2,V__WEEK)) => s__meetsTemporally(V__DAY1,V__DAY2)) )
|
Merge.kif 9458-9465 | If X is an instance of Monday, Y is an instance of Tuesday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| ! [V__DAY1,V__DAY2,V__WEEK] : (((s__instance(V__DAY1,s__Tuesday) & s__instance(V__DAY2,s__Wednesday) & s__instance(V__WEEK,s__Week) & s__temporalPart(V__DAY1,V__WEEK) & s__temporalPart(V__DAY2,V__WEEK)) => s__meetsTemporally(V__DAY1,V__DAY2)) )
|
Merge.kif 9471-9478 | If X is an instance of Tuesday, Y is an instance of Wednesday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| ! [V__DAY1,V__DAY2,V__WEEK] : (((s__instance(V__DAY1,s__Wednesday) & s__instance(V__DAY2,s__Thursday) & s__instance(V__WEEK,s__Week) & s__temporalPart(V__DAY1,V__WEEK) & s__temporalPart(V__DAY2,V__WEEK)) => s__meetsTemporally(V__DAY1,V__DAY2)) )
|
Merge.kif 9484-9491 | If X is an instance of Wednesday, Y is an instance of Thursday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| ! [V__DAY1,V__DAY2,V__WEEK] : (((s__instance(V__DAY1,s__Thursday) & s__instance(V__DAY2,s__Friday) & s__instance(V__WEEK,s__Week) & s__temporalPart(V__DAY1,V__WEEK) & s__temporalPart(V__DAY2,V__WEEK)) => s__meetsTemporally(V__DAY1,V__DAY2)) )
|
Merge.kif 9497-9504 | If X is an instance of Thursday, Y is an instance of Friday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| ! [V__DAY1,V__DAY2,V__WEEK] : (((s__instance(V__DAY1,s__Friday) & s__instance(V__DAY2,s__Saturday) & s__instance(V__WEEK,s__Week) & s__temporalPart(V__DAY1,V__WEEK) & s__temporalPart(V__DAY2,V__WEEK)) => s__meetsTemporally(V__DAY1,V__DAY2)) )
|
Merge.kif 9510-9517 | If X is an instance of Friday, Y is an instance of Saturday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| ! [V__DAY1,V__DAY2,V__WEEK] : (((s__instance(V__DAY1,s__Saturday) & s__instance(V__DAY2,s__Sunday) & s__instance(V__WEEK,s__Week) & s__temporalPart(V__DAY1,V__WEEK) & s__temporalPart(V__DAY2,V__WEEK)) => ~(s__meetsTemporally(V__DAY1,V__DAY2))) )
|
Merge.kif 9523-9530 | If X is an instance of Saturday, Y is an instance of Sunday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X doesn't meet Y |
| ! [V__DAY1,V__DAY2,V__WEEK1,V__WEEK2] : (((s__instance(V__DAY1,s__Saturday) & s__instance(V__DAY2,s__Sunday) & s__instance(V__WEEK1,s__Week) & s__instance(V__WEEK2,s__Week) & s__temporalPart(V__DAY1,V__WEEK1) & s__temporalPart(V__DAY2,V__WEEK2) & s__meetsTemporally(V__WEEK1,V__WEEK2)) => s__meetsTemporally(V__DAY1,V__DAY2)) )
|
Merge.kif 9532-9541 | If All of the following hold: (1) X is an instance of Saturday (2) Y is an instance of Sunday (3) Z is an instance of week (4) W is an instance of week (5) X is a part of Z (6) Y is a part of W (7) Z meets W, then X meets Y |
| ! [V__D2,V__N2,V__M,V__Y,V__D1] : (((s__instance(V__D2,s__TimePosition) & s__instance(V__N2,s__PositiveInteger) & s__subclass(V__M,s__Month) & s__instance(V__Y,s__Integer) & s__instance(V__D1,s__TimePosition)) => ((s__instance(V__D2,s__DayFn(V__N2,s__MonthFn(V__M,s__YearFn(V__Y)))) & s__temporalPart(V__D1,s__WeekBeforeFn(V__D2)) & s__temporalPart(V__D2,s__WeekAfterFn(V__D1))) => (? [V__N1] : ((s__instance(V__N1,s__PositiveInteger) & (s__instance(V__D1,s__DayFn(V__N1,s__MonthFn(V__M,s__YearFn(V__Y)))) & (V__N1 = s__SubtractionFn(V__N2,n__7)))))))) )
|
Mid-level-ontology.kif 16444-16453 | If X is an instance of the day Y of month the month Z, W is a part of week before fn X, and X is a part of week after fn W, then there exists V such that W is an instance of the day V of month the month Z and equal V and (Y and 7) |
| ! [V__NOTPARTPROB : $real,V__PART : $i,V__PARTPROB : $real,V__WHOLE : $i,V__Y : $i] : (((s__typicallyContainsTemporalPart(V__PART, V__WHOLE) & s__instance(V__Y, V__WHOLE) & V__PARTPROB = s__ProbabilityFn(( ? [V__X1:$i] : ((s__instance(V__X1, V__PART) & s__temporalPart(V__X1, V__Y))))) & V__NOTPARTPROB = s__ProbabilityFn(~(( ? [V__X2:$i] : ((s__instance(V__X2, V__PART) & s__temporalPart(V__X2, V__Y))))))) => ($greater(V__PARTPROB,V__NOTPARTPROB)))) | Mid-level-ontology.kif 25115-25132 | If a X typically contains a Y, Z is an instance of X, equal W, the probability of there exists V such that V is an instance of Y, and V is a part of Z, and equal U, the probability of there doesn't exist T such that T is an instance of Y, and T is a part of Z, then W is greater than U |
| ! [V__NOTPARTPROB : $real,V__PART : $i,V__PARTPROB : $real,V__WHOLE : $i,V__X : $i] : (((s__typicalTemporalPart(V__PART, V__WHOLE) & s__instance(V__X, V__PART) & V__PARTPROB = s__ProbabilityFn(( ? [V__Y:$i] : ((s__instance(V__Y, V__WHOLE) & s__temporalPart(V__X, V__Y))))) & V__NOTPARTPROB = s__ProbabilityFn(~(( ? [V__Z:$i] : ((s__instance(V__Z, V__WHOLE) & s__temporalPart(V__X, V__Z))))))) => ($greater(V__PARTPROB,V__NOTPARTPROB)))) | Cars.kif 1367-1384 | If a X is typically a part of a Y, Z is an instance of X, equal W, the probability of there exists V such that V is an instance of Y, and Z is a part of V, and equal U, the probability of there doesn't exist T such that T is an instance of Y, and Z is a part of T, then W is greater than U |
| ! [V__D,V__M] : (((s__instance(V__D,s__EasterSunday) & s__temporalPart(V__D,V__M) & s__instance(V__M,s__Month)) => (s__instance(V__M,s__March) | s__instance(V__M,s__April) | s__instance(V__M,s__May))) )
|
Media.kif 492-500 | If X is an instance of Easter sunday, X is a part of Y, and Y is an instance of month, then At least one of the following holds: (1) Y is an instance of March (2) Y is an instance of April (3) Y is an instance of May |
| ! [V__COLL,V__SITE,V__AGENT,V__LISTING,V__TIME] : (((s__instance(V__COLL,s__Collection) & s__instance(V__SITE,s__WebSite) & s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__LISTING,s__WebListing) & s__instance(V__TIME,s__TimePoint) & s__listingSeller(V__LISTING,V__AGENT) & ~(s__member(V__LISTING,V__COLL)) & (! [V__ITEM,V__MEMBER] : ((((s__instance(V__ITEM,s__WebListing) & s__member(V__ITEM,s__SellersItemsFn(V__AGENT,V__SITE)) & s__temporalPart(V__TIME,s__WhenFn(V__ITEM)) & ~((V__ITEM = V__LISTING))) => s__member(V__ITEM,V__COLL)) & (s__member(V__MEMBER,V__COLL) => (s__temporalPart(V__TIME,s__WhenFn(V__ITEM)) & s__instance(V__MEMBER,s__WebListing))))))) => (s__SellersOtherItemsFn(V__AGENT,V__SITE,V__LISTING,V__TIME) = V__COLL)) )
|
UXExperimentalTerms.kif 1033-1060 | If All of the following hold: (1) X is an instance of collection (2) Y is an instance of web site (3) Z is an instance of agent (4) W is an instance of web listing (5) V is an instance of time point (6) Z sells W (7) W is not a member of X (8) For all Physicals U and T: if U is an instance of web listing, U is a member of items for sale by Z at Y, V is a part of the time of existence of U, and equal U and W, then U is a member of X and if T is a member of X, then V is a part of the time of existence of U and T is an instance of web listing, then equal things for sale by Z not listed in W at Y during V and X |
| consequent |
|
|
| ! [V__PROC : $i,V__TIME1 : $i] : ((s__frequency(V__PROC, V__TIME1) => ( ! [V__TIME2:$i] : ((s__duration(V__TIME2, V__TIME1) => ( ? [V__POSITION:$i] : ((s__temporalPart(V__POSITION, V__TIME2) & s__holdsDuring(V__POSITION, ( ? [V__INST:$i] : (s__instance(V__INST, V__PROC)))))))))))) | Merge.kif 8091-8101 | If X occurs every Y, then For all TimeInterval Z: if duration of Z is Y, then there exists W such that W is a part of Z and there exists V such that V is an instance of X holds during W |
| ! [V__POINT] : ((s__instance(V__POINT,s__TimePoint) => (? [V__INTERVAL] : ((s__instance(V__INTERVAL,s__TimeInterval) & s__temporalPart(V__POINT,V__INTERVAL))))) )
|
Merge.kif 8114-8119 | If X is an instance of time point, then there exists Y such that Y is an instance of timeframe and X is a part of Y |
| ! [V__INTERVAL] : ((s__instance(V__INTERVAL,s__TimeInterval) => (? [V__POINT] : ((s__instance(V__POINT,s__TimePoint) & s__temporalPart(V__POINT,V__INTERVAL))))) )
|
Merge.kif 8121-8126 | If X is an instance of timeframe, then there exists Y such that Y is an instance of time point and Y is a part of X |
| ! [V__THING,V__POS] : (((s__instance(V__THING,s__Physical) & s__instance(V__POS,s__TimePosition)) => (s__time(V__THING,V__POS) => s__temporalPart(V__POS,s__WhenFn(V__THING)))) )
|
Merge.kif 8148-8151 | If X exists during Y, then Y is a part of the time of existence of X |
| ! [V__INTERVAL,V__POINT] : (((s__instance(V__INTERVAL,s__TimeInterval) & s__instance(V__POINT,s__TimePoint)) => ((s__BeginFn(V__INTERVAL) = V__POINT) => (! [V__OTHERPOINT] : ((s__instance(V__OTHERPOINT,s__TimePoint) => ((s__temporalPart(V__OTHERPOINT,V__INTERVAL) & ~((V__OTHERPOINT = V__POINT))) => s__before(V__POINT,V__OTHERPOINT))))))) )
|
Merge.kif 8172-8179 | If equal the beginning of X and Y, then For all TimePoint Z: if Z is a part of X and equal Z and Y, then Y happens before Z |
| ! [V__INTERVAL,V__POINT] : (((s__instance(V__INTERVAL,s__TimeInterval) & s__instance(V__POINT,s__TimePoint)) => ((s__EndFn(V__INTERVAL) = V__POINT) => (! [V__OTHERPOINT] : ((s__instance(V__OTHERPOINT,s__TimePoint) => ((s__temporalPart(V__OTHERPOINT,V__INTERVAL) & ~((V__OTHERPOINT = V__POINT))) => s__before(V__OTHERPOINT,V__POINT))))))) )
|
Merge.kif 8190-8197 | If equal the end of X and Y, then For all TimePoint Z: if Z is a part of X and equal Z and Y, then Z happens before Y |
| ! [V__INTERVAL1,V__INTERVAL2] : (((s__instance(V__INTERVAL1,s__TimeInterval) & s__instance(V__INTERVAL2,s__TimeInterval)) => (s__overlapsTemporally(V__INTERVAL1,V__INTERVAL2) => (? [V__INTERVAL3] : ((s__instance(V__INTERVAL3,s__TimeInterval) & s__temporalPart(V__INTERVAL3,V__INTERVAL1) & s__temporalPart(V__INTERVAL3,V__INTERVAL2)))))) )
|
Merge.kif 8436-8442 | If X overlaps Y, then there exists Z such that Z is an instance of timeframe, Z is a part of Y, and Z is a part of X |
| ! [V__SMALL,V__BIG] : (((s__instance(V__SMALL,s__TimeInterval) & s__instance(V__BIG,s__TimeInterval)) => (s__during(V__SMALL,V__BIG) => s__temporalPart(V__SMALL,V__BIG))) )
|
Merge.kif 8460-8462 | If X takes place during Y, then X is a part of Y |
| ! [V__INTERVAL1,V__INTERVAL2] : (((s__instance(V__INTERVAL1,s__TimeInterval) & s__instance(V__INTERVAL2,s__TimeInterval)) => (s__overlapsTemporally(V__INTERVAL1,V__INTERVAL2) => (? [V__INTERVAL3] : ((s__instance(V__INTERVAL3,s__TimePosition) & s__temporalPart(V__INTERVAL3,V__INTERVAL1) & s__temporalPart(V__INTERVAL3,V__INTERVAL2)))))) )
|
Merge.kif 8492-8498 | If X overlaps Y, then there exists Z such that Z is an instance of time position, Z is a part of Y, and Z is a part of X |
| ! [V__T1,V__T2] : (((s__instance(V__T1,s__TimeInterval) & s__instance(V__T2,s__TimeInterval)) => (s__meetsTemporally(V__T1,V__T2) => ~((? [V__T3] : ((s__instance(V__T3,s__TimeInterval) & s__temporalPart(V__T3,V__T1) & s__temporalPart(V__T3,V__T2))))))) )
|
Merge.kif 8547-8554 | If X meets Y, then there doesn't exist Z such that Z is an instance of timeframe, Z is a part of X, and Z is a part of Y |
| ! [V__POINT1,V__POINT2,V__INTERVAL] : (((s__instance(V__POINT1,s__TimePoint) & s__instance(V__POINT2,s__TimePoint) & s__instance(V__INTERVAL,s__TimeInterval) & (s__TimeIntervalFn(V__POINT1,V__POINT2) = V__INTERVAL)) => (! [V__POINT] : ((s__instance(V__POINT,s__TimePoint) => ((s__temporallyBetweenOrEqual(V__POINT1,V__POINT,V__POINT2) => s__temporalPart(V__POINT,V__INTERVAL)) & (s__temporalPart(V__POINT,V__INTERVAL) => s__temporallyBetweenOrEqual(V__POINT1,V__POINT,V__POINT2))))))) )
|
Merge.kif 8632-8641 | If X is an instance of time point, Y is an instance of time point, Z is an instance of timeframe, and equal interval between X, Y, and Z, then For all TimePoint W: W is between or at X, Y if, and only if W is a part of Z |
| ! [V__INTERVAL,V__INTERVALTYPE,V__CLASS] : (((s__instance(V__INTERVAL,s__TimeInterval) & s__subclass(V__INTERVALTYPE,s__TimeInterval) & s__instance(V__CLASS,s__Class) & s__subclass(V__CLASS,s__TimeInterval)) => ((s__TemporalCompositionFn(V__INTERVAL,V__INTERVALTYPE) = V__CLASS) => (! [V__TIME] : (((s__instance(V__TIME,s__TimePoint) & s__temporalPart(V__TIME,V__INTERVAL)) => (? [V__INSTANCE] : ((s__instance(V__INSTANCE,s__TimePosition) & (s__instance(V__INSTANCE,V__CLASS) & s__temporalPart(V__TIME,V__INSTANCE)))))))))) )
|
Merge.kif 9672-9682 | If equal decomposition of X into Y and Z, then For all TimePosition W: if W is an instance of time point and W is a part of X, then there exists V such that V is an instance of Z and W is a part of V |
| ! [V__SUBPROC,V__PROC] : (((s__instance(V__SUBPROC,s__Process) & s__instance(V__PROC,s__Process)) => (s__subProcess(V__SUBPROC,V__PROC) => s__temporalPart(s__WhenFn(V__SUBPROC) ,s__WhenFn(V__PROC)))) )
|
Merge.kif 10333-10335 | If X is a subprocess of Y, then the time of existence of X is a part of the time of existence of Y |
| ! [V__KEEP : $i,V__OBJ : $i] : (((s__instance(V__KEEP, s__Keeping) & s__patient(V__KEEP, V__OBJ)) => ( ? [V__PLACE:$i] : (( ! [V__TIME:$i] : ((s__temporalPart(V__TIME, s__WhenFn(V__KEEP)) => s__holdsDuring(V__TIME, s__located(V__OBJ, V__PLACE))))))))) | Merge.kif 12476-12484 | If X is an instance of keeping and Y is a patient of X, then there exists Z such that W W is a part of the time of existence of XY is located at Z holds during W |
| ! [V__DECODE : $i,V__DOC1 : $i] : (((s__instance(V__DECODE, s__Decoding) & s__patient(V__DECODE, V__DOC1)) => ( ? [V__ENCODE:$i, V__DOC2:$i, V__TIME:$i, V__PROP:$i] : ((s__containsInformation(V__DOC2, V__PROP) & s__containsInformation(V__DOC1, V__PROP) & s__temporalPart(V__TIME, s__PastFn(s__WhenFn(V__DECODE))) & s__holdsDuring(V__TIME, (s__instance(V__ENCODE, s__Encoding) & s__patient(V__ENCODE, V__DOC2)))))))) | Merge.kif 13005-13018 | If X is an instance of decoding and Y is a patient of X, then there exist Z, W,, , V, U such that W contains information U, Y contains information U, V is a part of before the time of existence of X, Z is an instance of encoding, and W is a patient of Z holds during V |
| ! [V__OBJ : $i,V__ORGANISM : $i,V__T1 : $i] : ((s__holdsDuring(V__T1, s__inhabits(V__ORGANISM, V__OBJ)) => ( ? [V__TIME:$i] : ((s__instance(V__TIME, s__TimeInterval) & s__temporalPart(V__TIME, V__T1) & s__holdsDuring(V__TIME, s__located(V__ORGANISM, V__OBJ))))))) | Merge.kif 14688-14694 | If X lives in Y holds during Z, then there exists W such that W is an instance of timeframe, W is a part of Z, and X is located at Y holds during W |
| ! [V__ANAT : $i] : ((s__instance(V__ANAT, s__AnatomicalStructure) => ( ? [V__ORGANISM:$i, V__TIME:$i] : ((s__instance(V__ORGANISM, s__Organism) & s__temporalPart(V__TIME, s__WhenFn(V__ORGANISM)) & s__holdsDuring(V__TIME, s__part(V__ANAT, V__ORGANISM))))))) | Merge.kif 15230-15236 | If X is an instance of anatomical structure, then there exist Y, Z such that Y is an instance of organism, Z is a part of the time of existence of Y, and X is a part of Y holds during Z |
| ! [V__PART : $i] : ((s__instance(V__PART, s__BodyPart) => ( ? [V__ORGANISM:$i, V__TIME:$i] : ((s__instance(V__ORGANISM, s__Organism) & s__temporalPart(V__TIME, s__WhenFn(V__ORGANISM)) & s__holdsDuring(V__TIME, s__component(V__PART, V__ORGANISM))))))) | Merge.kif 15264-15270 | If X is an instance of body part, then there exist Y, Z such that Y is an instance of organism, Z is a part of the time of existence of Y, and X is a component of Y holds during Z |
| ! [V__PERSON : $i,V__TIME : $i] : ((s__holdsDuring(V__TIME, s__attribute(V__PERSON, s__Drunk)) => ( ? [V__PAST:$i] : ((s__temporalPart(V__PAST, s__PastFn(V__TIME)) & s__holdsDuring(V__PAST, ( ? [V__DRINK:$i, V__ALCOHOL:$i] : ((s__instance(V__DRINK, s__Drinking) & s__patient(V__DRINK, V__ALCOHOL) & s__instance(V__ALCOHOL, s__AlcoholicBeverage) & s__agent(V__DRINK, V__PERSON)))))))))) | Mid-level-ontology.kif 10033-10044 | If drunk is an attribute of X holds during Y, then there exists Z such that Z is a part of before Y, there exist W, V such that W is an instance of drinking, V is a patient of W, V is an instance of alcoholic beverage, and X is an agent of W holds during Z |
| ! [V__AREA : $i,V__TIME : $i] : ((s__holdsDuring(V__TIME, s__instance(V__AREA, s__MilitaryFront)) => ( ? [V__BATTLE:$i] : ((s__instance(V__BATTLE, s__Battle) & s__eventLocated(V__BATTLE, V__AREA) & s__temporalPart(V__TIME, V__BATTLE)))))) | Mid-level-ontology.kif 10385-10391 | If X is an instance of military front holds during Y, then there exists Z such that Z is an instance of battle, Z is located at X, and Y is a part of Z |
| ! [V__S : $i] : ((s__instance(V__S, s__Scar) => ( ? [V__T:$i, V__OP:$i, V__L:$i] : ((s__temporalPart(V__T, s__PastFn(s__WhenFn(V__S))) & s__holdsDuring(V__T, s__instance(V__L, s__Lesion)) & s__instance(V__OP, s__OrganOrTissueProcess) & s__patient(V__OP, V__L) & s__result(V__OP, V__S)))))) | Mid-level-ontology.kif 10900-10910 | If X is an instance of scar, then there exist Y, Z, W such that Y is a part of before the time of existence of X, W is an instance of lesion holds during Y, Z is an instance of organ or tissue process, W is a patient of Z, and X is a result of Z |
| ! [V__PAPER,V__WEEK] : ((s__instance(V__PAPER,s__Class) => ((s__subclass(V__PAPER,s__Newspaper) & s__instance(V__WEEK,s__Week)) => (? [V__PUBLICATION,V__ISSUE] : ((s__instance(V__PUBLICATION,s__Publication) & s__temporalPart(s__WhenFn(V__PUBLICATION) ,V__WEEK) & s__result(V__PUBLICATION,V__ISSUE) & s__instance(V__ISSUE,V__PAPER)))))) )
|
Mid-level-ontology.kif 16396-16405 | If X is a subclass of newspaper and Y is an instance of week, then there exist Z, W such that Z is an instance of publication, the time of existence of Z is a part of Y, W is a result of Z, and W is an instance of X |
| ! [V__A1,V__A2,V__COURSE] : (((s__instance(V__A1,s__Human) & s__instance(V__A2,s__Human) & s__instance(V__COURSE,s__EducationalCourse)) => (s__classmate(V__A1,V__A2,V__COURSE) => (? [V__CLASS,V__EDU,V__TIME] : ((s__instance(V__TIME,s__TimePosition) & (s__instance(V__CLASS,s__GroupOfPeople) & s__instance(V__EDU,s__EducationalProcess) & s__realization(V__EDU,V__COURSE) & s__patient(V__EDU,V__CLASS) & s__temporalPart(V__TIME,s__WhenFn(V__EDU)) & s__memberAtTime(V__A1,V__CLASS,V__TIME) & s__memberAtTime(V__A2,V__CLASS,V__TIME))))))) )
|
Mid-level-ontology.kif 18429-18440 | If X and Y were taught in the same EducationalProcess Z together, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of group of people (3) V is an instance of educational process (4) V expresses the content of Z (5) W is a patient of V (6) U is a part of the time of existence of V (7) X is a member of W during U (8) Y is a member of W during U |
| ! [V__GAME : $i,V__GOAL : $i,V__SCORE : $i] : (((s__instance(V__GOAL, s__GameGoal) & s__instrument(V__GAME, V__GOAL) & s__instance(V__GAME, s__Game) & s__subProcess(V__SCORE, V__GAME) & s__instance(V__SCORE, s__Score)) => ( ? [V__PIECE:$i, V__TIME:$i] : ((s__instance(V__PIECE, s__GamePiece) & s__patient(V__SCORE, V__PIECE) & s__temporalPart(V__TIME, s__WhenFn(V__SCORE)) & s__holdsDuring(V__TIME, s__located(V__PIECE, V__GOAL))))))) | Mid-level-ontology.kif 18669-18681 | If X is an instance of game goal, X is an instrument for Y, Y is an instance of game, Z is a subprocess of Y, and Z is an instance of score, then there exist W, V such that W is an instance of game piece, W is a patient of Z, V is a part of the time of existence of Z, and W is located at X holds during V |
| ! [V__D : $i] : ((s__instance(V__D, s__Disappearing) => ( ? [V__OBJ:$i, V__AGENT:$i, V__SEARCH:$i, V__TIME:$i] : ((s__instance(V__SEARCH, s__Searching) & s__earlier(s__WhenFn(V__D), s__WhenFn(V__SEARCH)) & s__agent(V__SEARCH, V__AGENT) & s__instance(V__OBJ, s__Object) & s__patient(V__D, V__OBJ) & s__patient(V__SEARCH, V__OBJ) & s__instance(V__TIME, s__TimeInterval) & s__temporalPart(V__TIME, s__WhenFn(V__SEARCH)) & s__holdsDuring(V__TIME, ~(s__modalAttribute(( ? [V__DISC:$i] : ((s__instance(V__DISC, s__Discovering) & s__agent(V__DISC, V__AGENT) & s__patient(V__DISC, V__OBJ)))), s__Possibility)))))))) | Mid-level-ontology.kif 19162-19184 | If X is an instance of disappearing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of searching (3) the time of existence of X happens earlier than the time of existence of W (4) Z is an agent of W (5) Y is an instance of object (6) Y is a patient of X (7) Y is a patient of W (8) V is an instance of timeframe (9) V is a part of the time of existence of W (10) the statement there doesn't exist U such that U is an instance of discovering (11) Z is an agent of U (12) Y is a patient of U doesn't have the modal force of possibility holds during V |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|