Minute(分) |
appearance as argument number 1 |
![]() |
(documentation Minute ChineseLanguage "这是所有时钟 Minute 的 Class。") | chinese_format.kif 2817-2817 | |
(documentation Minute EnglishLanguage "The Class of all clock Minutes.") | Merge.kif 9475-9475 | |
(documentation Minute JapaneseLanguage "すべての丸々 Minute の Class。") | japanese_format.kif 1558-1558 | |
(relatedInternalConcept Minute MinuteDuration) | Merge.kif 9473-9473 | 分 は MinuteDuration に internally 関連して |
(relatedInternalConcept Minute MinuteFn) | Merge.kif 9472-9472 | 分 は MinuteFn に internally 関連して |
(subclass Minute TimeInterval) | Merge.kif 9471-9471 | 分 は 時間間隔 の subclass では |
appearance as argument number 2 |
![]() |
(rangeSubclass MinuteFn Minute) | Merge.kif 8739-8739 | MinuteFn が返す値は 分 の subclasses では |
(termFormat ChineseLanguage Minute "分钟") | chinese_format.kif 1299-1299 | MinuteFn が返す値は 分 の subclasses では |
(termFormat EnglishLanguage Minute "minute") | english_format.kif 1815-1815 | MinuteFn が返す値は 分 の subclasses では |
(termFormat FrenchLanguage Minute "minute") | french_format.kif 977-977 | MinuteFn が返す値は 分 の subclasses では |
(termFormat Hindi Minute "minata") | terms-hindi.txt 512-512 | MinuteFn が返す値は 分 の subclasses では |
(termFormat ItalianLanguage Minute "Minuto") | terms-it.txt 516-516 | MinuteFn が返す値は 分 の subclasses では |
(termFormat JapaneseLanguage Minute "分") | japanese_format.kif 2661-2661 | MinuteFn が返す値は 分 の subclasses では |
(termFormat PortugueseLanguage Minute "Minuto") | portuguese_format.kif 929-929 | MinuteFn が返す値は 分 の subclasses では |
(termFormat cb Minute "minuto") | terms-cb.txt 518-518 | MinuteFn が返す値は 分 の subclasses では |
(termFormat cz Minute "minute") | terms-cz.txt 552-552 | MinuteFn が返す値は 分 の subclasses では |
(termFormat de Minute "Minute") | terms-de.txt 811-811 | MinuteFn が返す値は 分 の subclasses では |
(termFormat ro Minute "minut") | relations-ro.kif 998-998 | MinuteFn が返す値は 分 の subclasses では |
(termFormat tg Minute "minuto") | terms-tg.txt 517-517 | MinuteFn が返す値は 分 の subclasses では |
appearance as argument number 3 |
![]() |
(domainSubclass SecondFn 2 Minute) | Merge.kif 8765-8765 | SecondFn の数値 2 引数は 分 のsubclass では |
antecedent |
![]() |
consequent |
![]() |
(=> (and (restingBreathingRate ?H ?R) (instance ?L Lung) (part ?L ?H)) (exists (?T) (and (not (exists (?REC) (and (instance ?REC RecreationOrExercise) (agent ?REC ?H) (during ?T (WhenFn ?REC))))) (instance ?T Minute) (breathingRate ?H ?T ?R)))) |
Medicine.kif 330-345 | |
(=> (and (restingHeartRate ?H ?R) (instance ?HEART Heart) (part ?HEART ?H)) (exists (?T) (and (not (exists (?REC) (and (instance ?REC RecreationOrExercise) (agent ?REC ?H) (during ?T (WhenFn ?REC))))) (instance ?T Minute) (heartRate ?H ?T ?R)))) |
Medicine.kif 122-136 | |
(=> (instance ?HOUR Hour) (equal (CardinalityFn (TemporalCompositionFn ?HOUR Minute)) 60)) |
Merge.kif 9598-9600 |
![]() |
![]() |