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 9234-9234 | |
(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 5948-5948 | |
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg") | pictureList.kif 6343-6343 | |
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg") | pictureList.kif 6344-6344 | |
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg") | pictureList.kif 6345-6345 | |
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg") | pictureList.kif 6346-6346 | |
(relatedInternalConcept Day DayDuration) | Merge.kif 9232-9232 | 日 は DayDuration に internally 関連して %n |
(relatedInternalConcept Day DayFn) | Merge.kif 9231-9231 | 日 は DayFn に internally 関連して %n |
(subclass Day TimeInterval) | Merge.kif 9230-9230 | 日 は 時間間隔 の subclass では %n |
appearance as argument number 2 |
![]() |
(rangeSubclass DayFn Day) | Merge.kif 8590-8590 | DayFn が返す値は 日 の subclasses では %n |
(subclass ChristmasDay Day) | Media.kif 335-335 | ChristmasDay は 日 の subclass では %n |
(subclass Friday Day) | Merge.kif 9282-9282 | 金曜日 は 日 の subclass では %n |
(subclass Monday Day) | Merge.kif 9240-9240 | 月曜日 は 日 の subclass では %n |
(subclass Saturday Day) | Merge.kif 9295-9295 | 土曜日 は 日 の subclass では %n |
(subclass Sunday Day) | Merge.kif 9308-9308 | 日曜日 は 日 の subclass では %n |
(subclass Thursday Day) | Merge.kif 9269-9269 | 木曜日 は 日 の subclass では %n |
(subclass Tuesday Day) | Merge.kif 9243-9243 | 火曜日 は 日 の subclass では %n |
(subclass Wednesday Day) | Merge.kif 9256-9256 | 水曜日 は 日 の subclass では %n |
(termFormat ChineseLanguage Day "日") | chinese_format.kif 1289-1289 | |
(termFormat EnglishLanguage Day "day") | english_format.kif 1795-1795 | |
(termFormat FrenchLanguage Day "jour") | french_format.kif 967-967 | |
(termFormat Hindi Day "divasa") | terms-hindi.txt 502-502 | |
(termFormat ItalianLanguage Day "Giorno") | terms-it.txt 506-506 | |
(termFormat JapaneseLanguage Day "日") | japanese_format.kif 2651-2651 | |
(termFormat PortugueseLanguage Day "Dia") | portuguese_format.kif 919-919 | |
(termFormat cb Day "adlaw") | terms-cb.txt 508-508 | |
(termFormat cz Day "day") | terms-cz.txt 542-542 | |
(termFormat ro Day "zi") | relations-ro.kif 988-988 | |
(termFormat tg Day "araw") | terms-tg.txt 507-507 |
appearance as argument number 3 |
![]() |
(domain AfternoonFn 1 Day) | Merge.kif 8834-8834 | AfternoonFn の数値 1 引数は 日 の instance では %n |
(domain EveningFn 1 Day) | Merge.kif 8934-8934 | EveningFn の数値 1 引数は 日 の instance では %n |
(domain MorningFn 1 Day) | Merge.kif 8818-8818 | MorningFn の数値 1 引数は 日 の instance では %n |
(domain availableBalance 2 Day) | FinancialOntology.kif 3808-3808 | availableBalance の数値 2 引数は 日 の instance では %n |
(domain availableCash 2 Day) | FinancialOntology.kif 3831-3831 | availableCash の数値 2 引数は 日 の instance では %n |
(domain baptizeddate 2 Day) | Biography.kif 175-175 | baptizeddate の数値 2 引数は 日 の instance では %n |
(domain birthdate 2 Day) | Mid-level-ontology.kif 24217-24217 | birthdate の数値 2 引数は 日 の instance では %n |
(domain buyingPowerAmount 2 Day) | FinancialOntology.kif 4092-4092 | buyingPowerAmount の数値 2 引数は 日 の instance では %n |
(domain callDate 2 Day) | FinancialOntology.kif 2485-2485 | callDate の数値 2 引数は 日 の instance では %n |
(domain closingPrice 3 Day) | FinancialOntology.kif 3472-3472 | closingPrice の数値 3 引数は 日 の instance では %n |
(domain currentAccountBalance 2 Day) | FinancialOntology.kif 673-673 | currentAccountBalance の数値 2 引数は 日 の instance では %n |
(domain currentInterestRate 2 Day) | FinancialOntology.kif 615-615 | currentInterestRate の数値 2 引数は 日 の instance では %n |
(domain date 2 Day) | Merge.kif 8545-8545 | date の数値 2 引数は 日 の instance では %n |
(domain dateOfStatement 2 Day) | FinancialOntology.kif 4027-4027 | dateOfStatement の数値 2 引数は 日 の instance では %n |
(domain deathdate 2 Day) | Mid-level-ontology.kif 24230-24230 | deathdate の数値 2 引数は 日 の instance では %n |
(domain marginBalanceAmount 2 Day) | FinancialOntology.kif 4101-4101 | marginBalanceAmount の数値 2 引数は 日 の instance では %n |
(domain marketValueAmount 2 Day) | FinancialOntology.kif 4119-4119 | marketValueAmount の数値 2 引数は 日 の instance では %n |
(domain maturityDate 2 Day) | FinancialOntology.kif 632-632 | maturityDate の数値 2 引数は 日 の instance では %n |
(domain netWorth 3 Day) | FinancialOntology.kif 868-868 | netWorth の数値 3 引数は 日 の instance では %n |
(domain overdraft 3 Day) | FinancialOntology.kif 780-780 | overdraft の数値 3 引数は 日 の instance では %n |
(domain primeInterestRate 1 Day) | FinancialOntology.kif 600-600 | primeInterestRate の数値 1 引数は 日 の instance では %n |
(domain shortBalanceAmount 2 Day) | FinancialOntology.kif 4110-4110 | shortBalanceAmount の数値 2 引数は 日 の instance では %n |
(domain weddingdate 3 Day) | Mid-level-ontology.kif 24162-24162 | weddingdate の数値 3 引数は 日 の instance では %n |
(domainSubclass HourFn 2 Day) | Merge.kif 8614-8614 | HourFn の数値 2 引数は 日 のsubclass では %n |
(domainSubclass anniversary 2 Day) | Mid-level-ontology.kif 24131-24131 | anniversary の数値 2 引数は 日 のsubclass では %n |
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 8840-8845 | |
(=> (and (instance ?E Evening) (instance ?D Day) (equal ?E (EveningFn ?D))) (during ?E ?D)) |
Merge.kif 8940-8945 | |
(=> (and (instance ?E Morning) (instance ?D Day) (equal ?E (MorningFn ?D))) (during ?E ?D)) |
Merge.kif 8824-8829 | |
(=> (and (instance ?EVE Evening) (instance ?AFT Afternoon) (instance ?D Day) (during ?EVE ?D) (during ?AFT ?D)) (meetsTemporally ?AFT ?EVE)) |
Merge.kif 8922-8929 | |
(=> (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 4936-4954 |
|
(=> (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 5005-5015 | |
(=> (instance ?DAY Day) (duration ?DAY (MeasureFn 1 DayDuration))) |
Merge.kif 9236-9238 | |
(=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 24)) |
Merge.kif 9473-9475 |
consequent |
![]() |
![]() |
![]() |