Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| duration |
| appearance as argument number 1 |
|
| s__instance(s__duration,s__BinaryPredicate)
|
Merge.kif 8074-8074 | duration is an instance of binary predicate |
| s__instance(s__duration,s__TotalValuedRelation)
|
Merge.kif 8075-8075 | duration is an instance of total valued relation |
| s__domain(s__duration,n__1,s__TimeInterval)
|
Merge.kif 8076-8076 | The number 1 argument of duration is an instance of timeframe |
| s__domain(s__duration,n__2,s__TimeDuration)
|
Merge.kif 8077-8077 | The number 2 argument of duration is an instance of time duration |
| s__documentation(s__duration, s__EnglishLanguage, "(duration ?POS ?TIME) means that the duration of the TimeInterval ?POS is ?TIME_ Note that this Predicate can be used in conjunction with the Function WhenFn to specify the duration of any instance of Physical_") | Merge.kif 8079-8082 | The number 2 argument of duration is an instance of time duration |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__NUMBER,V__MONTH] : ((s__instance(V__NUMBER,s__Integer) => ((s__instance(V__MONTH,s__Month) & s__duration(V__MONTH,s__MeasureFn(V__NUMBER,s__DayDuration))) => (s__CardinalityFn(s__TemporalCompositionFn(V__MONTH,s__Day)) = V__NUMBER))) )
|
Merge.kif 9688-9692 | If X is an instance of month and duration of X is Y day duration(s), then equal the number of instances in decomposition of X into days and Y |
| ! [V__C : $i,V__D : $i,V__H : $i,V__T : $i] : (((s__holdsDuring(V__T, s__attribute(V__H, V__C)) & s__instance(V__H, s__ChronicDisease) & s__duration(V__T, V__D)) => ($greater(V__D,s__MeasureFn(3, s__MonthDuration))))) | Mid-level-ontology.kif 7038-7045 | If X is an attribute of Y holds during Z, Y is an instance of chronic disease, and duration of Z is W, then W is greater than 3 month duration(s) |
| ! [V__INTERVAL,V__PERIOD,V__T1,V__T2] : (((s__instance(V__INTERVAL,s__TimeInterval) & s__instance(V__PERIOD,s__TimeDuration)) => ((s__instance(V__T1,s__TimePoint) & s__instance(V__T2,s__TimePoint) & (V__INTERVAL = s__TimeIntervalFn(V__T1,V__T2)) & s__duration(V__INTERVAL,V__PERIOD)) => (V__INTERVAL = s__TimePeriodFn(V__T1,V__PERIOD)))) )
|
Mid-level-ontology.kif 15641-15647 | If X is an instance of time point, Y is an instance of time point, equal Z, interval between X, and Y, and duration of Z is W, then equal Z, a time that starts at X, and lasts for W |
| ! [V__DC : $real,V__DU : $i,V__PROC : $i,V__Q : $real,V__QUANT : $i,V__RES : $i,V__T : $real,V__U : $i,V__X : $real,V__Y : $i] : (((s__resourceConsumption(V__PROC, V__QUANT) & s__instance(V__QUANT, s__FunctionQuantity) & s__resource(V__PROC, V__RES) & V__QUANT = s__PerFn(s__MeasureFn(V__Q, V__U), s__MeasureFn(V__DC, V__DU)) & s__duration(s__WhenFn(V__PROC), s__MeasureFn(V__T, V__DU)) & s__holdsDuring(s__BeginFn(s__WhenFn(V__PROC)), s__measure(V__RES, s__MeasureFn(V__X, V__U))) & s__holdsDuring(s__EndFn(s__WhenFn(V__PROC)), s__measure(V__RES, s__MeasureFn(V__Y, V__U)))) => V__Y = s__MeasureFn($difference(V__X ,$product(V__T ,s__DivisionFn(V__Q, V__DC))), V__U))) | Mid-level-ontology.kif 18957-18983 | If All of the following hold: (1) X amount as resource for the Process Y (2) X is an instance of function quantity (3) Z is a resource for Y (4) equal X and the per of W V(s) and U T(s) (5) duration of the time of existence of Y is S T(s) (6) the measure of Z is R V(s) holds during the beginning of the time of existence of Y (7) the measure of Z is Q V(s) holds during the end of the time of existence of Y, then equal Q and (R and S and W and U) V(s) |
| ! [V__UP,V__X,V__L,V__D] : (((s__instance(V__UP,s__TimeInterval) & s__instance(V__X,s__RealNumber) & s__instance(V__L,s__MeasuringResultList)) => ((s__instance(V__D,s__Device) & s__deviceUpTime(V__D,V__UP) & s__duration(V__UP,s__MeasureFn(V__X,s__HourDuration)) & s__inList(s__MeasureFn(V__X,s__HourDuration),V__L)) => (V__L = s__DeviceUpTimeDurationListFn(V__D)))) )
|
Mid-level-ontology.kif 34419-34427 | If X is an instance of device, Device X is in operation during TimeInterval Y, duration of Y is Z hour duration(s), and Z hour duration(s) is a member of W, then equal W and The List of deviceUpTime duration for X is |
| ! [V__PLAN,V__X,V__L,V__D] : (((s__instance(V__PLAN,s__TimeInterval) & s__instance(V__X,s__RealNumber) & s__instance(V__L,s__MeasuringResultList)) => ((s__instance(V__D,s__Device) & s__devicePlannedDownTime(V__D,V__PLAN) & s__duration(V__PLAN,s__MeasureFn(V__X,s__HourDuration)) & s__inList(s__MeasureFn(V__X,s__HourDuration),V__L)) => (V__L = s__DevicePlannedDownTimeDurationListFn(V__D)))) )
|
Mid-level-ontology.kif 34438-34446 | If X is an instance of device, device X is scheduled to be in DeviceOff during TimeInterval Y, duration of Y is Z hour duration(s), and Z hour duration(s) is a member of W, then equal W and The List of deviceUpTime duration for X is |
| ! [V__FAIL,V__X,V__L,V__D] : (((s__instance(V__FAIL,s__TimeInterval) & s__instance(V__X,s__RealNumber) & s__instance(V__L,s__MeasuringResultList)) => ((s__instance(V__D,s__Device) & s__deviceFailTime(V__D,V__FAIL) & s__duration(V__FAIL,s__MeasureFn(V__X,s__HourDuration)) & s__attribute(V__D,s__Repairable) & s__inList(s__MeasureFn(V__X,s__HourDuration),V__L)) => (V__L = s__DeviceFailTimeDurationListFn(V__D)))) )
|
Mid-level-ontology.kif 34458-34467 | If X is an instance of device, device X is in a failure state during TimeInterval Y, duration of Y is Z hour duration(s), repairable is an attribute of X, and Z hour duration(s) is a member of W, then equal W and The List of deviceFailTime duration for X is |
| ! [V__DrawingTime,V__ProcessingTime,V__Time,V__Duration,V__Drawing,V__Check,V__Processing] : (((s__instance(V__DrawingTime,s__TimeInterval) & s__instance(V__ProcessingTime,s__TimeInterval) & s__instance(V__Time,s__TimeInterval) & s__instance(V__Duration,s__RealNumber)) => ((s__instance(V__Drawing,s__DrawingACheck) & s__patient(V__Drawing,V__Check) & s__instance(V__Processing,s__ProcessingACheck) & s__patient(V__Processing,V__Check) & (s__WhenFn(V__Drawing) = V__DrawingTime) & (s__WhenFn(V__Processing) = V__ProcessingTime) & s__meetsTemporally(V__DrawingTime,V__Time) & s__meetsTemporally(V__Time,V__ProcessingTime) & s__duration(V__Time,s__MeasureFn(V__Duration,s__MonthDuration))) => s__lessThan(V__Duration,n__6))) )
|
FinancialOntology.kif 157-168 | If All of the following hold: (1) X is an instance of drawing a check (2) Y is a patient of X (3) Z is an instance of processing a check (4) Y is a patient of Z (5) equal the time of existence of X and W (6) equal the time of existence of Z and V (7) W meets U (8) U meets V (9) duration of U is T month duration(s), then T is less than 6 |
| ! [V__Period,V__Duration,V__Loan] : (((s__instance(V__Period,s__TimeInterval) & s__instance(V__Duration,s__RealNumber)) => ((s__instance(V__Loan,s__BankTermLoan) & s__agreementPeriod(V__Loan,V__Period) & s__duration(V__Period,s__MeasureFn(V__Duration,s__YearDuration))) => s__greaterThanOrEqualTo(V__Duration,n__1))) )
|
FinancialOntology.kif 1539-1544 | If X is an instance of bank term loan, Y is an agreement period of X, and duration of Y is Z year duration(s), then Z is greater than or equal to 1 |
| ! [V__Statement,V__Period,V__Duration] : (((s__instance(V__Statement,s__BankStatement) & s__instance(V__Period,s__TimeInterval) & s__instance(V__Duration,s__TimeDuration)) => ((s__statementPeriod(V__Statement,V__Period) & s__duration(V__Period,V__Duration)) => (V__Duration = s__MonthDuration))) )
|
FinancialOntology.kif 4122-4126 | If X is a statement period of Y and duration of X is Z, then equal Z and month duration |
| ! [V__N,V__P] : ((s__instance(V__N,s__RealNumber) => ((s__instance(V__P,s__Passover) & s__duration(V__P,s__MeasureFn(V__N,s__DayDuration))) => ((V__N = n__7) | (V__N = n__8)))) )
|
Media.kif 605-611 | If X is an instance of passover and duration of X is Y day duration(s), then equal Y and 7 or equal Y and 8 |
| ! [V__A : $i,V__L : $i,V__MB : $i,V__P : $i,V__T : $i] : (((s__instance(V__MB, s__MeasuringBreathing) & s__agent(V__MB, V__A) & s__instance(V__L, s__Lung) & s__part(V__L, V__P) & s__instance(V__T, s__TimeInterval) & s__during(V__T, s__WhenFn(V__MB)) & s__duration(V__T, s__MinuteDuration) & s__patient(V__MB, V__P)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__MB)), ( ? [V__BR:$int] : (s__knows(V__A, s__breathingRate(V__L, V__T, V__BR))))))) | Medicine.kif 442-458 | If All of the following hold: (1) X is an instance of measuring breathing (2) Y is an agent of X (3) Z is an instance of lung (4) Z is a part of W (5) V is an instance of timeframe (6) V takes place during the time of existence of X (7) duration of V is minute duration (8) W is a patient of X, then there exists U such that Y knows Z breathes at a rate of U breaths per V holds during immediately after the time of existence of X |
| ! [V__D1 : $i,V__D2 : $i,V__H1 : $i,V__H2 : $i,V__I1 : $i,V__I2 : $i,V__IC : $i] : (((s__attribute(V__H1, s__ADHD) & ~(s__attribute(V__H2, s__ADHD)) & ~(V__H1 = V__H2) & s__instance(V__I1, V__IC) & s__instance(V__I2, V__IC) & s__subclass(V__IC, s__IntentionalPsychologicalProcess) & s__agent(V__I1, V__H1) & s__agent(V__I2, V__H2) & s__duration(s__WhenFn(V__I1), V__D1) & s__duration(s__WhenFn(V__I2), V__D2)) => s__modalAttribute(($greater(V__D2,V__D1)), s__Likely))) | Medicine.kif 4018-4038 | If All of the following hold: (1) attention deficit hyperactivity disorder is an attribute of X (2) attention deficit hyperactivity disorder is not an attribute of Y (3) equal X and Y (4) Z is an instance of W (5) V is an instance of W (6) W is a subclass of intentional psychological process (7) X is an agent of Z (8) Y is an agent of V (9) duration of the time of existence of Z is U (10) duration of the time of existence of V is T, then the statement T is greater than U has the modal force of likely |
| ! [V__H : $i,V__N : $real,V__T : $i] : (((s__instance(V__T, s__TimePeriod) & s__duration(V__T, s__MeasureFn(V__N, s__MinuteDuration)) & ($greater(V__N,5.0)) & s__instance(V__H, s__Human) & ~(( ? [V__B:$i] : ((s__instance(V__B, s__Breathing) & s__during(s__WhenFn(V__B), V__T) & s__patient(V__B, V__H)))))) => s__modalAttribute(( ? [V__D:$i] : ((s__instance(V__D, s__Death) & s__experiencer(V__D, V__H) & s__meetsTemporally(V__T, s__WhenFn(V__D))))), s__Likely))) | Medicine.kif 6028-6048 | If X is an instance of TimePeriod, duration of X is Y minute duration(s), Y is greater than 5.0, Z is an instance of human, and there doesn't exist W such that W is an instance of breathing, the time of existence of W takes place during X, and Z is a patient of W, then the statement there exists V such that V is an instance of death, Z experiences V, and X meets the time of existence of V has the modal force of likely |
| ! [V__R,V__L,V__D,V__Q,V__S] : (((s__instance(V__R,s__Transitway) & s__instance(V__L,s__LengthMeasure) & s__instance(V__D,s__TimeDuration) & s__instance(V__Q,s__FunctionQuantity)) => ((s__instance(V__S,s__RadiatingSound) & s__path(V__S,V__R) & s__distanceOnPath(V__L,V__R) & s__duration(s__WhenFn(V__S) ,V__D) & s__speedOfSound(V__Q,V__R,s__WhenFn(V__S))) => (V__Q = s__SpeedFn(V__L,V__D)))) )
|
Transportation.kif 5116-5126 | If X is an instance of radiating sound, Y is path along which X occurs, the distance of Y is Z, duration of the time of existence of X is W, and the speedOfSound for V at Y is V, then equal V and Z per W |
| ! [V__A : $i,V__D : $i,V__F : $i,V__L : $i,V__M : $real,V__Q : $real,V__R : $i] : (((s__instance(V__F, s__Flying) & s__patient(V__F, V__A) & s__instance(V__A, s__Aircraft) & s__path(V__F, V__R) & s__distanceOnPath(V__L, V__R) & s__duration(s__WhenFn(V__F), V__D) & s__speedOfSound(V__Q, V__R, s__WhenFn(V__F)) & s__holdsDuring(s__WhenFn(V__F), s__measure(V__A, s__MeasureFn(V__M, s__MachNumber)))) => V__M = s__DivisionFn(s__SpeedFn(V__L, V__D), V__Q))) | Transportation.kif 5225-5237 | If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of aircraft (4) Z is path along which X occurs (5) the distance of Z is W (6) duration of the time of existence of X is V (7) the speedOfSound for U at Z is U (8) the measure of Y is T Mach number(s) holds during the time of existence of X, then equal T, W per V, and U |
| ! [V__D : $real,V__L : $real,V__M : $i,V__P : $real,V__S : $real,V__T : $i,V__Y : $i] : (((s__duration(V__T, s__MeasureFn(V__P, s__MonthDuration)) & ($greatereq(V__P,5)) & s__holdsDuring(V__T, (V__D = $difference(V__S ,V__L) & s__MeasureFn(V__S, s__CelsiusDegree) = s__ThreeMonthsRunningMeanSSTFn(s__Nino3Point4, V__M, V__Y) & s__MeasureFn(V__L, s__CelsiusDegree) = s__ThirtyYearAverageSSTForMonthFn(s__Nino3Point4, V__M, V__Y) & ($greater(V__D,0.5))))) => s__holdsDuring(V__T, ( ? [V__EL:$i, V__A:$i] : ((s__instance(V__EL, s__ElNinoPhase) & s__instance(V__A, s__GeographicArea) & s__eventLocated(V__EL, V__A))))))) | Weather.kif 528-549 | If duration of X is Y month duration(s), Y is greater than or equal to 5, and equal Z and (W and V) and equal W celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month U year T in region Nino 3.4 and equal V celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month U in year T of region Nino 3.4 and Z is greater than 0.5 holds during X, then there exist S, R such that S is an instance of El Nino phase, R is an instance of geographic area, and S is located at R holds during X |
| ! [V__D : $real,V__L : $real,V__M : $i,V__P : $real,V__S : $real,V__T : $i,V__Y : $i] : (((s__duration(V__T, s__MeasureFn(V__P, s__MonthDuration)) & ($greatereq(V__P,5)) & s__holdsDuring(V__T, (V__D = $difference(V__S ,V__L) & s__MeasureFn(V__S, s__CelsiusDegree) = s__ThreeMonthsRunningMeanSSTFn(s__Nino3Point4, V__M, V__Y) & s__MeasureFn(V__L, s__CelsiusDegree) = s__ThirtyYearAverageSSTForMonthFn(s__Nino3Point4, V__M, V__Y) & ($less(V__D,-0.5))))) => s__holdsDuring(V__T, ( ? [V__LA:$i, V__A:$i] : ((s__instance(V__LA, s__LaNinaPhase) & s__instance(V__A, s__GeographicArea) & s__eventLocated(V__LA, V__A))))))) | Weather.kif 563-584 | If duration of X is Y month duration(s), Y is greater than or equal to 5, and equal Z and (W and V) and equal W celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month U year T in region Nino 3.4 and equal V celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month U in year T of region Nino 3.4 and Z is less than -0.5 holds during X, then there exist S, R such that S is an instance of La Nina phase, R is an instance of geographic area, and S is located at R holds during X |
| ! [V__DUR,V__S,V__R] : ((s__instance(V__DUR,s__RealNumber) => ((s__instance(V__S,s__Squall) & s__eventLocated(V__S,V__R) & s__instance(V__R,s__GeographicArea) & s__duration(s__WhenFn(V__S) ,s__MeasureFn(V__DUR,s__MinuteDuration))) => s__greaterThanOrEqualTo(V__DUR,n__1))) )
|
Weather.kif 2284-2291 | If X is an instance of squall, X is located at Y, Y is an instance of geographic area, and duration of the time of existence of X is Z minute duration(s), then Z is greater than or equal to 1 |
| ! [V__DUR,V__G,V__R] : ((s__instance(V__DUR,s__RealNumber) => ((s__instance(V__G,s__WindGust) & s__eventLocated(V__G,V__R) & s__instance(V__R,s__GeographicArea) & s__duration(s__WhenFn(V__G) ,s__MeasureFn(V__DUR,s__SecondDuration))) => s__greaterThanOrEqualTo(V__DUR,n__20))) )
|
Weather.kif 2304-2311 | If X is an instance of wind gust, X is located at Y, Y is an instance of geographic area, and duration of the time of existence of X is Z second duration(s), then Z is greater than or equal to 20 |
| ! [V__A : $i,V__D : $i,V__FIELDOFSTUDY : $i,V__GRADSCHOOL : $i,V__INTERVAL : $i,V__S : $i,V__SCHOOL : $i] : (((s__attribute(V__S, s__Student) & s__instance(V__A, s__AwardingADegree) & s__destination(V__A, V__S) & s__patient(V__A, V__D) & s__instance(V__D, s__DoctorateDegreeFn(V__FIELDOFSTUDY, V__GRADSCHOOL)) & s__agent(V__A, V__GRADSCHOOL) & s__duration(V__INTERVAL, V__D) & s__holdsDuring(V__INTERVAL, s__attends(V__S, V__SCHOOL))) => (($greater(s__MeasureFn(9, s__YearDuration),V__D)) & ($greater(V__D,s__MeasureFn(1, s__YearDuration)))))) | LinkedInDegrees.kif 414-429 | If All of the following hold: (1) student is an attribute of X (2) Y is an instance of awarding a degree (3) Y ends up at X (4) Z is a patient of Y (5) Z is an instance of doctorate degree W and V (6) V is an agent of Y (7) duration of U is Z (8) T attends X holds during U, then 9 year duration(s) is greater than Z and Z is greater than 1 year duration(s) |
| ! [V__A,V__I,V__FAST,V__SLOW,V__SF,V__SS,V__U] : (((s__instance(V__A,s__AutonomousAgent) & s__instance(V__I,s__Proposition) & s__instance(V__FAST,s__RealNumber) & s__instance(V__SLOW,s__RealNumber)) => ((s__instance(V__SF,s__SpeakingAtAFasterRate) & s__instance(V__SS,s__SpeakingAtASlowerRate) & s__instance(V__U,s__UnitOfDuration) & s__agent(V__SF,V__A) & s__agent(V__SS,V__A) & s__containsInformation(V__SF,V__I) & s__containsInformation(V__SS,V__I) & s__duration(s__WhenFn(V__SF) ,s__MeasureFn(V__FAST,V__U)) & s__duration(s__WhenFn(V__SS) ,s__MeasureFn(V__SLOW,V__U))) => s__greaterThan(V__FAST,V__SLOW))) )
|
emotion.kif 2871-2884 | If All of the following hold: (1) X is an instance of speaking at a faster rate (2) Y is an instance of speaking at a slower rate (3) Z is an instance of unit of duration (4) W is an agent of X (5) W is an agent of Y (6) X contains information V (7) Y contains information V (8) duration of the time of existence of X is U Z(s) (9) duration of the time of existence of Y is T Z(s), then U is greater than T |
| ! [V__D1,V__D2,V__SS,V__SL,V__U] : (((s__instance(V__D1,s__RealNumber) & s__instance(V__D2,s__RealNumber)) => ((s__instance(V__SS,s__SpeakingAShortUtterance) & s__instance(V__SL,s__SpeakingALongUtterance) & s__instance(V__U,s__UnitOfDuration) & s__duration(s__WhenFn(V__SS) ,s__MeasureFn(V__D1,V__U)) & s__duration(s__WhenFn(V__SL) ,s__MeasureFn(V__D2,V__U))) => s__greaterThan(V__D2,V__D1))) )
|
emotion.kif 2957-2966 | If X is an instance of speaking a short utterance, Y is an instance of speaking a long utterance, Z is an instance of unit of duration, duration of the time of existence of X is W Z(s), and duration of the time of existence of Y is V Z(s), then V is greater than W |
| consequent |
|
|
|