Hour - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Hour ChineseLanguage "这是所有时钟 Hour 的 Class。")	chinese_format.kif 2816-2816
(documentation Hour EnglishLanguage "The Class of all clock Hours.")	Merge.kif 9465-9465
(documentation Hour JapaneseLanguage "すべての丸々 Hour の　Class。")	japanese_format.kif 1557-1557
(relatedInternalConcept Hour HourDuration)	Merge.kif 9463-9463	時間は HourDuration に internally 関連して
(relatedInternalConcept Hour HourFn)	Merge.kif 9462-9462	時間は HourFn に internally 関連して
(subclass Hour TimeInterval)	Merge.kif 9461-9461	時間は時間間隔の subclass では

appearance as argument number 2

(rangeSubclass HourFn Hour)	Merge.kif 8713-8713	HourFn が返す値は時間の subclasses では
(termFormat ChineseLanguage Hour "小时")	chinese_format.kif 1298-1298	HourFn が返す値は時間の subclasses では
(termFormat EnglishLanguage Hour "hour")	english_format.kif 1813-1813	HourFn が返す値は時間の subclasses では
(termFormat FrenchLanguage Hour "heure")	french_format.kif 976-976	HourFn が返す値は時間の subclasses では
(termFormat Hindi Hour "ghantaa")	terms-hindi.txt 511-511	HourFn が返す値は時間の subclasses では
(termFormat ItalianLanguage Hour "Ora")	terms-it.txt 515-515	HourFn が返す値は時間の subclasses では
(termFormat JapaneseLanguage Hour "時間")	japanese_format.kif 2660-2660	HourFn が返す値は時間の subclasses では
(termFormat PortugueseLanguage Hour "Hora")	portuguese_format.kif 928-928	HourFn が返す値は時間の subclasses では
(termFormat cb Hour "takna")	terms-cb.txt 517-517	HourFn が返す値は時間の subclasses では
(termFormat cz Hour "hour")	terms-cz.txt 551-551	HourFn が返す値は時間の subclasses では
(termFormat de Hour "Stunde")	terms-de.txt 810-810	HourFn が返す値は時間の subclasses では
(termFormat ro Hour "orã")	relations-ro.kif 997-997	HourFn が返す値は時間の subclasses では
(termFormat tg Hour "oras")	terms-tg.txt 516-516	HourFn が返す値は時間の subclasses では

appearance as argument number 3

(domainSubclass MinuteFn 2 Hour)

Merge.kif 8738-8738

MinuteFn の数値 2 引数は時間のsubclass では

antecedent

(=> (instance ?HOUR Hour) (duration ?HOUR (MeasureFn 1 HourDuration)))	Merge.kif 9467-9469	時間間隔は時間の instance では時間間隔の duration は 1 の HourDuration(s) では
(=> (instance ?HOUR Hour) (equal (CardinalityFn (TemporalCompositionFn ?HOUR Minute)) 60))	Merge.kif 9598-9600	時間間隔は時間の instance では時間間隔をの分s に decomposition の instances の数は 60 と equal では

consequent

(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))

Merge.kif 9594-9596