Day(日)![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Day ChineseLanguage "这是所有日历日的 Class。") | chinese_format.kif 2807-2807 | |
(documentation Day EnglishLanguage "The Class of all calendar Days.") | Merge.kif 9347-9347 | |
(documentation Day JapaneseLanguage "すべてのカレンダー Day の Class。") | japanese_format.kif 1548-1548 | |
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/1/14/Harrison%27s_Chronometer_H5.JPG") | pictureList.kif 5947-5947 | |
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg") | pictureList.kif 6342-6342 | |
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg") | pictureList.kif 6343-6343 | |
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg") | pictureList.kif 6344-6344 | |
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg") | pictureList.kif 6345-6345 | |
(relatedInternalConcept Day DayDuration) | Merge.kif 9345-9345 | 日 は DayDuration に internally 関連して |
(relatedInternalConcept Day DayFn) | Merge.kif 9344-9344 | 日 は DayFn に internally 関連して |
(subclass Day TimeInterval) | Merge.kif 9343-9343 | 日 は 時間間隔 の subclass では |
appearance as argument number 2 |
![]() |
(rangeSubclass DayFn Day) | Merge.kif 8703-8703 | DayFn が返す値は 日 の subclasses では |
(subclass ChristmasDay Day) | Media.kif 335-335 | ChristmasDay は 日 の subclass では |
(subclass Friday Day) | Merge.kif 9404-9404 | 金曜日 は 日 の subclass では |
(subclass Monday Day) | Merge.kif 9353-9353 | 月曜日 は 日 の subclass では |
(subclass Saturday Day) | Merge.kif 9417-9417 | 土曜日 は 日 の subclass では |
(subclass Sunday Day) | Merge.kif 9430-9430 | 日曜日 は 日 の subclass では |
(subclass Thursday Day) | Merge.kif 9391-9391 | 木曜日 は 日 の subclass では |
(subclass Tuesday Day) | Merge.kif 9365-9365 | 火曜日 は 日 の subclass では |
(subclass Wednesday Day) | Merge.kif 9378-9378 | 水曜日 は 日 の subclass では |
(termFormat ChineseLanguage Day "日") | chinese_format.kif 1289-1289 | 水曜日 は 日 の subclass では |
(termFormat EnglishLanguage Day "day") | english_format.kif 1795-1795 | 水曜日 は 日 の subclass では |
(termFormat FrenchLanguage Day "jour") | french_format.kif 967-967 | 水曜日 は 日 の subclass では |
(termFormat Hindi Day "divasa") | terms-hindi.txt 502-502 | 水曜日 は 日 の subclass では |
(termFormat ItalianLanguage Day "Giorno") | terms-it.txt 506-506 | 水曜日 は 日 の subclass では |
(termFormat JapaneseLanguage Day "日") | japanese_format.kif 2651-2651 | 水曜日 は 日 の subclass では |
(termFormat PortugueseLanguage Day "Dia") | portuguese_format.kif 919-919 | 水曜日 は 日 の subclass では |
(termFormat cb Day "adlaw") | terms-cb.txt 508-508 | 水曜日 は 日 の subclass では |
(termFormat cz Day "day") | terms-cz.txt 542-542 | 水曜日 は 日 の subclass では |
(termFormat de Day "Tag") | terms-de.txt 801-801 | 水曜日 は 日 の subclass では |
(termFormat ro Day "zi") | relations-ro.kif 988-988 | 水曜日 は 日 の subclass では |
(termFormat tg Day "araw") | terms-tg.txt 507-507 | 水曜日 は 日 の subclass では |
appearance as argument number 3 |
![]() |
(domain AfternoonFn 1 Day) | Merge.kif 8947-8947 | AfternoonFn の数値 1 引数は 日 の instance では |
(domain EveningFn 1 Day) | Merge.kif 9047-9047 | EveningFn の数値 1 引数は 日 の instance では |
(domain MorningFn 1 Day) | Merge.kif 8931-8931 | MorningFn の数値 1 引数は 日 の instance では |
(domain availableBalance 2 Day) | FinancialOntology.kif 3826-3826 | availableBalance の数値 2 引数は 日 の instance では |
(domain availableCash 2 Day) | FinancialOntology.kif 3849-3849 | availableCash の数値 2 引数は 日 の instance では |
(domain baptizeddate 2 Day) | Biography.kif 180-180 | baptizeddate の数値 2 引数は 日 の instance では |
(domain birthdate 2 Day) | Mid-level-ontology.kif 25915-25915 | birthdate の数値 2 引数は 日 の instance では |
(domain buyingPowerAmount 2 Day) | FinancialOntology.kif 4110-4110 | buyingPowerAmount の数値 2 引数は 日 の instance では |
(domain callDate 2 Day) | FinancialOntology.kif 2502-2502 | callDate の数値 2 引数は 日 の instance では |
(domain closingPrice 3 Day) | FinancialOntology.kif 3490-3490 | closingPrice の数値 3 引数は 日 の instance では |
(domain currentAccountBalance 2 Day) | FinancialOntology.kif 675-675 | currentAccountBalance の数値 2 引数は 日 の instance では |
(domain currentInterestRate 2 Day) | FinancialOntology.kif 617-617 | currentInterestRate の数値 2 引数は 日 の instance では |
(domain date 2 Day) | Merge.kif 8658-8658 | date の数値 2 引数は 日 の instance では |
(domain dateOfStatement 2 Day) | FinancialOntology.kif 4045-4045 | dateOfStatement の数値 2 引数は 日 の instance では |
(domain deathdate 2 Day) | Mid-level-ontology.kif 25943-25943 | deathdate の数値 2 引数は 日 の instance では |
(domain marginBalanceAmount 2 Day) | FinancialOntology.kif 4119-4119 | marginBalanceAmount の数値 2 引数は 日 の instance では |
(domain marketValueAmount 2 Day) | FinancialOntology.kif 4137-4137 | marketValueAmount の数値 2 引数は 日 の instance では |
(domain maturityDate 2 Day) | FinancialOntology.kif 634-634 | maturityDate の数値 2 引数は 日 の instance では |
(domain netWorth 3 Day) | FinancialOntology.kif 870-870 | netWorth の数値 3 引数は 日 の instance では |
(domain overdraft 3 Day) | FinancialOntology.kif 782-782 | overdraft の数値 3 引数は 日 の instance では |
(domain primeInterestRate 1 Day) | FinancialOntology.kif 602-602 | primeInterestRate の数値 1 引数は 日 の instance では |
(domain shortBalanceAmount 2 Day) | FinancialOntology.kif 4128-4128 | shortBalanceAmount の数値 2 引数は 日 の instance では |
(domain weddingdate 3 Day) | Mid-level-ontology.kif 25860-25860 | weddingdate の数値 3 引数は 日 の instance では |
(domainSubclass HourFn 2 Day) | Merge.kif 8727-8727 | HourFn の数値 2 引数は 日 のsubclass では |
(domainSubclass anniversary 2 Day) | Mid-level-ontology.kif 25828-25828 | anniversary の数値 2 引数は 日 のsubclass では |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
(=> (and (instance ?E Afternoon) (instance ?D Day) (equal ?E (AfternoonFn ?D))) (during ?E ?D)) |
Merge.kif 8953-8958 | |
(=> (and (instance ?E Evening) (instance ?D Day) (equal ?E (EveningFn ?D))) (during ?E ?D)) |
Merge.kif 9053-9058 | |
(=> (and (instance ?E Morning) (instance ?D Day) (equal ?E (MorningFn ?D))) (during ?E ?D)) |
Merge.kif 8937-8942 | |
(=> (and (instance ?EVE Evening) (instance ?AFT Afternoon) (instance ?D Day) (during ?EVE ?D) (during ?AFT ?D)) (meetsTemporally ?AFT ?EVE)) |
Merge.kif 9035-9042 | |
(=> (and (instance ?H Man) (attribute ?H Mausaharati) (instance ?D Drumming) (agent ?D ?H) (instance ?DAY Day) (instance ?S Sunrise) (during ?S ?DAY) (earlier (WhenFn ?D) ?S)) (hasPurpose ?D (exists (?P ?SUHUR ?WU) (and (instance ?WU WakingUp) (experiencer ?WU ?P) (instance ?SUHUR Suhur) (agent ?SUHUR ?P) (earlier (WhenFn ?WU) (WhenFn ?SUHUR)) (during (WhenFn ?WU) ?DAY) (during (WhenFn ?SUHUR) ?DAY))))) |
ArabicCulture.kif 65-84 |
|
(=> (and (instance ?LOW LowTide) (instance ?HIGH HighTide) (eventLocated ?LOW ?PLACE) (eventLocated ?HIGH ?PLACE) (instance ?DAY Day) (overlapsTemporally ?LOW ?DAY) (overlapsTemporally ?HIGH ?DAY)) (exists (?AMOUNT1 ?AMOUNT2 ?U) (and (instance ?U UnitOfLength) (holdsDuring ?LOW (waterDepth ?PLACE (MeasureFn ?AMOUNT1 ?U))) (holdsDuring ?HIGH (waterDepth ?PLACE (MeasureFn ?AMOUNT2 ?U))) (greaterThan ?AMOUNT2 ?AMOUNT1)))) |
Geography.kif 5212-5230 |
|
(=> (and (lowTide ?PLACE ?TIME1 (MeasureFn ?AMOUNT1 ?U)) (highTide ?PLACE ?TIME2 (MeasureFn ?AMOUNT2 ?U)) (instance ?U UnitOfLength) (instance ?DAY Day) (overlapsTemporally ?TIME1 ?DAY) (overlapsTemporally ?TIME2 ?DAY)) (greaterThan ?AMOUNT1 ?AMOUNT2)) |
Geography.kif 5281-5291 | |
(=> (instance ?DAY Day) (duration ?DAY (MeasureFn 1 DayDuration))) |
Merge.kif 9349-9351 | |
(=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 24)) |
Merge.kif 9609-9611 |
consequent |
![]() |
![]() |
![]() |