| MinuteDuration | |
| appearance as argument number 1 |
|
|
| (documentation MinuteDuration ChineseLanguage "这是时间单位，1分钟 = 60秒。 ") | chinese_format.kif 2581-2581 | |
| (documentation MinuteDuration EnglishLanguage "Time unit. 1 minute = 60 seconds. ") | Merge.kif 6683-6683 | |
| (instance MinuteDuration UnitOfDuration) | Merge.kif 6681-6681 |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Minute MinuteDuration) | Merge.kif 8670-8670 | |
| (termFormat ChineseLanguage MinuteDuration "分钟") | domainEnglishFormat.kif 37873-37873 | |
| (termFormat ChineseTraditionalLanguage MinuteDuration "分鐘") | domainEnglishFormat.kif 37872-37872 | |
| (termFormat EnglishLanguage MinuteDuration "minute duration") | domainEnglishFormat.kif 37871-37871 |
| consequent |
|
|
| (=> (instance ?AT AutomobileTransmission) (hasPurpose ?AT (exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3) (and (instance ?C Crankshaft) (instance ?D Driveshaft) (instance ?A Automobile) (part ?D ?A) (part ?AT ?A) (part ?C ?A) (connectedEngineeringComponents ?C ?AT) (connectedEngineeringComponents ?D ?AT) (instance ?R1 Rotating) (instance ?R2 Rotating) (instance ?R3 Rotating) (instance ?R4 Rotating) (patient ?R1 ?C) (patient ?R2 ?C) (patient ?R3 ?D) (patient ?R4 ?D) (causes ?R1 ?R3) (causes ?R2 ?R4) (not (equal ?R1 ?R2)) (holdsDuring ?R1 (measure ?C (RotationFn ?N1 MinuteDuration))) (holdsDuring ?R2 (measure ?C (RotationFn ?N1 MinuteDuration))) (holdsDuring ?R3 (measure ?D (RotationFn ?N2 MinuteDuration))) (holdsDuring ?R4 (measure ?D (RotationFn ?N3 MinuteDuration))) (not (equal ?N2 ?N3)))))) |
Cars.kif 2332-2366 | |
| (=> (instance ?MINUTE Minute) (duration ?MINUTE (MeasureFn 1 MinuteDuration))) |
Merge.kif 8674-8676 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 6677-6679 | |
| (equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration)) |
Merge.kif 6685-6687 |
|
|
|