(=>
(and
(equal ?A
(ListSumFn ?L))
(greaterThan
(ListLengthFn ?L) 1))
(equal ?A
(AdditionFn
(FirstFn ?L)
(ListSumFn
(SubListFn 2
(ListLengthFn ?L) ?L))))) |
Merge.kif 3369-3379 |
If equal X and the sum of Y and length of Y is greater than 1, then equal X and (the first of Y and the sum of the sub-list from 2 to length of Y of Y) |
(=>
(and
(equal ?A
(AverageFn ?L))
(greaterThan
(ListLengthFn ?L) 0))
(equal ?A
(DivisionFn
(ListSumFn ?L)
(ListLengthFn ?L)))) |
Merge.kif 3388-3395 |
If equal X and the average of the numbers in Y and length of Y is greater than 0, then equal X, the sum of Y, and length of Y |
(=>
(and
(amount ?S ?CO
(MeasureFn ?N ?U))
(instance ?SI ?S)
(measure ?SI
(MeasureFn ?N2 ?U))
(part ?SI ?CO))
(exists (?L)
(and
(inList
(MeasureFn ?N2 ?U) ?L)
(equal ?L
(AmountsFn ?S ?CO ?U))
(equal ?N
(ListSumFn ?L))))) |
Merge.kif 7740-7755 |
If amount X, Y and Z W(s), V is an instance of X, the measure of V is U W(s), and V is a part of Y, then there exists T such that U W(s) is a member of T and equal T and Amounts fn X, Y and W and equal Z and the sum of T |
(=>
(equal
(MeasureFn ?H HourDuration)
(MTBFInstanceFn ?D))
(equal ?H
(DivisionFn
(AdditionFn
(ListSumFn
(PhysicalQuantityToNumberFn
(DeviceUpTimeDurationListFn ?D)))
(ListSumFn
(PhysicalQuantityToNumberFn
(DevicePlannedDownTimeDurationListFn ?D))))
(ListLengthFn
(DeviceFailTimeDurationListFn ?D))))) |
Mid-level-ontology.kif 34359-34373 |
If equal X hour duration(s) and The MTBF of Y is HourDuration, then equal X and (the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The List of deviceUpTime duration for Y is and the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The List of deviceUpTime duration for Y is) and length of The List of deviceFailTime duration for Y is |
(=>
(equal
(MeasureFn ?X HourDuration)
(MTTRepairInstanceFn ?D))
(equal ?X
(DivisionFn
(ListSumFn
(PhysicalQuantityToNumberFn
(DeviceFailTimeDurationListFn ?D)))
(ListLengthFn
(DeviceFailTimeDurationListFn ?D))))) |
Mid-level-ontology.kif 34644-34654 |
If equal X hour duration(s) and The time to repair of Y is HourDuration, then equal X, the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The List of deviceFailTime duration for Y is, and length of The List of deviceFailTime duration for Y is |
(=>
(equal
(MeasureFn ?X HourDuration)
(MTTRecoveryInstanceFn ?D))
(equal ?X
(DivisionFn
(ListSumFn
(PhysicalQuantityToNumberFn
(TimeToRecoveryDurationListFn ?D)))
(ListLengthFn
(TimeToRecoveryDurationListFn ?D))))) |
Mid-level-ontology.kif 34737-34747 |
If equal X hour duration(s) and The time to repair of Y is HourDuration, then equal X, the sum of PhysicalQuantityToNumberFn returns the numberic values of a list of The list of time to recovery duration for Y is, and length of The list of time to recovery duration for Y is |
(=>
(and
(instance ?O Odometer)
(instance ?V Vehicle)
(part ?O ?V)
(instance ?T Translocation)
(instrument ?T ?V)
(path ?T ?P)
(distanceOnPath
(MeasureFn ?D ?U) ?P)
(instance ?U LengthMeasure))
(hasPurpose ?O
(exists (?M ?L ?DIST)
(and
(instance ?M Measuring)
(instrument ?M ?O)
(measurementReading ?O ?DIST)
(inList ?D ?L)
(holdsDuring
(WhenFn
(EndFn ?M))
(and
(equal ?DIST
(MeasureFn
(ListSumFn ?L) ?U))
(not
(attribute ?O ResetMeasuringDevice)))))))) |
Cars.kif 2824-2850 |
If All of the following hold: (1) X is an instance of odometer (2) Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) W is path along which Z occurs (7) the distance of W is V U(s) (8) U is an instance of length measure, then X has the purpose there exist T, S and R such that T is an instance of measuring and X is an instrument for T and R is a measurement reading of X and V is a member of S and equal R and the sum of S U(s) and reset measuring device is not an attribute of X holds during the time of existence of the end of T |
(=>
(and
(fleetDeadWeightTonnage ?FLEET
(MeasureFn ?T LongTon))
(vesselDeadWeightTonnage ?VESSEL
(MeasureFn ?X LongTon))
(member ?VESSEL ?FLEET))
(exists (?L)
(and
(instance ?L List)
(inList ?X ?L)
(equal ?T
(ListSumFn ?L))))) |
Transportation.kif 2784-2794 |
If X long ton(s) is a fleet dead weight tonnage of Y, Z long ton(s) is a vessel dead weight tonnage of W, and W is a member of Y, then there exists V such that V is an instance of list, Z is a member of V, equal X, and the sum of V |
