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 9256-9256 | |
(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 9254-9254 | 日 は DayDuration に internally 関連して %n |
(relatedInternalConcept Day DayFn) | Merge.kif 9253-9253 | 日 は DayFn に internally 関連して %n |
(subclass Day TimeInterval) | Merge.kif 9252-9252 | 日 は 時間間隔 の subclass では %n |
appearance as argument number 2 |
(rangeSubclass DayFn Day) | Merge.kif 8612-8612 | DayFn が返す値は 日 の subclasses では %n |
(subclass ChristmasDay Day) | Media.kif 335-335 | ChristmasDay は 日 の subclass では %n |
(subclass Friday Day) | Merge.kif 9304-9304 | 金曜日 は 日 の subclass では %n |
(subclass Monday Day) | Merge.kif 9262-9262 | 月曜日 は 日 の subclass では %n |
(subclass Saturday Day) | Merge.kif 9317-9317 | 土曜日 は 日 の subclass では %n |
(subclass Sunday Day) | Merge.kif 9330-9330 | 日曜日 は 日 の subclass では %n |
(subclass Thursday Day) | Merge.kif 9291-9291 | 木曜日 は 日 の subclass では %n |
(subclass Tuesday Day) | Merge.kif 9265-9265 | 火曜日 は 日 の subclass では %n |
(subclass Wednesday Day) | Merge.kif 9278-9278 | 水曜日 は 日 の 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 8856-8856 | AfternoonFn の数値 1 引数は 日 の instance では %n |
(domain EveningFn 1 Day) | Merge.kif 8956-8956 | EveningFn の数値 1 引数は 日 の instance では %n |
(domain MorningFn 1 Day) | Merge.kif 8840-8840 | 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 24267-24267 | 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 8567-8567 | date の数値 2 引数は 日 の instance では %n |
(domain dateOfStatement 2 Day) | FinancialOntology.kif 4027-4027 | dateOfStatement の数値 2 引数は 日 の instance では %n |
(domain deathdate 2 Day) | Mid-level-ontology.kif 24280-24280 | 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 24212-24212 | weddingdate の数値 3 引数は 日 の instance では %n |
(domainSubclass HourFn 2 Day) | Merge.kif 8636-8636 | HourFn の数値 2 引数は 日 のsubclass では %n |
(domainSubclass anniversary 2 Day) | Mid-level-ontology.kif 24181-24181 | 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 8862-8867 | |
(=> (and (instance ?E Evening) (instance ?D Day) (equal ?E (EveningFn ?D))) (during ?E ?D)) |
Merge.kif 8962-8967 | |
(=> (and (instance ?E Morning) (instance ?D Day) (equal ?E (MorningFn ?D))) (during ?E ?D)) |
Merge.kif 8846-8851 | |
(=> (and (instance ?EVE Evening) (instance ?AFT Afternoon) (instance ?D Day) (during ?EVE ?D) (during ?AFT ?D)) (meetsTemporally ?AFT ?EVE)) |
Merge.kif 8944-8951 | |
(=> (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 4958-4976 |
|
(=> (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 5027-5037 | |
(=> (instance ?DAY Day) (duration ?DAY (MeasureFn 1 DayDuration))) |
Merge.kif 9258-9260 | |
(=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 24)) |
Merge.kif 9495-9497 |
consequent |