more pictures...
| Day(日)
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Day ChineseLanguage "这是所有日历日的 Class。") | Merge.kif 12860-12860 | |
| (documentation Day EnglishLanguage "The Class of all calendar Days.") | Merge.kif 12858-12858 | |
| (documentation Day JapaneseLanguage "すべてのカレンダー Day の Class。") | Merge.kif 12862-12862 | |
| (externalImage Day "http://upload.wikimedia.org/wikipedia/commons/1/14/Harrison%27s_Chronometer_H5.JPG") | pictureList.kif 5949-5949 | externalImage 日 and "http://upload.wikimedia.org/wikipedia/commons/1/14/ Harrison%27s_Chronometer_H5.JPG" |
| (externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg") | pictureList.kif 6344-6344 | externalImage 日 and "http://upload.wikimedia.org/wikipedia/commons/7/70/ Wooden_hourglass_3.jpg" |
| (externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg") | pictureList.kif 6345-6345 | externalImage 日 and "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Dagr_by_Arbo.jpg" |
| (externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg") | pictureList.kif 6346-6346 | externalImage 日 and "http://upload.wikimedia.org/wikipedia/commons/f/f2/ Water%2CRabbit%2CDeer.jpg" |
| (externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg") | pictureList.kif 6347-6347 | externalImage 日 and "http://upload.wikimedia.org/wikipedia/commons/f/f6/ A_day_panorama_-_digital_art.jpg" |
| (relatedInternalConcept Day DayDuration) | Merge.kif 12856-12856 | 日 は DayDuration に internally 関連して %n |
| (relatedInternalConcept Day DayFn) | Merge.kif 12855-12855 | 日 は DayFn に internally 関連して %n |
| (subclass Day TimeInterval) | Merge.kif 12854-12854 | 日 は 時間間隔 の subclass では %n |
| appearance as argument number 2 |
|
|
| (rangeSubclass DayFn Day) | Merge.kif 12154-12154 | DayFn が返す値は 日 の subclasses では %n |
| (subclass ChristmasDay Day) | Media.kif 335-335 | ChristmasDay は 日 の subclass では %n |
| (subclass Friday Day) | Merge.kif 12926-12926 | 金曜日 は 日 の subclass では %n |
| (subclass Monday Day) | Merge.kif 12868-12868 | 月曜日 は 日 の subclass では %n |
| (subclass Saturday Day) | Merge.kif 12944-12944 | 土曜日 は 日 の subclass では %n |
| (subclass Sunday Day) | Merge.kif 12961-12961 | 日曜日 は 日 の subclass では %n |
| (subclass Thursday Day) | Merge.kif 12909-12909 | 木曜日 は 日 の subclass では %n |
| (subclass Tuesday Day) | Merge.kif 12875-12875 | 火曜日 は 日 の subclass では %n |
| (subclass Wednesday Day) | Merge.kif 12892-12892 | 水曜日 は 日 の subclass では %n |
| (termFormat ChineseLanguage Day "日") | chinese_format.kif 1289-1289 | termFormat ChineseLanguage, 日 and "日" |
| (termFormat EnglishLanguage Day "day") | english_format.kif 2580-2580 | termFormat EnglishLanguage, 日 and "day" |
| (termFormat JapaneseLanguage Day "日") | english_format.kif 2581-2581 | termFormat JapaneseLanguage, 日 and "日" |
| appearance as argument number 3 |
|
|
| (domain AfternoonFn 1 Day) | Merge.kif 12422-12422 | AfternoonFn の数値 1 引数は 日 の instance では %n |
| (domain EveningFn 1 Day) | Merge.kif 12480-12480 | EveningFn の数値 1 引数は 日 の instance では %n |
| (domain MorningFn 1 Day) | Merge.kif 12404-12404 | MorningFn の数値 1 引数は 日 の instance では %n |
| (domain availableBalance 2 Day) | FinancialOntology.kif 3648-3648 | availableBalance の数値 2 引数は 日 の instance では %n |
| (domain availableCash 2 Day) | FinancialOntology.kif 3668-3668 | availableCash の数値 2 引数は 日 の instance では %n |
| (domain baptismdate 2 Day) | Biography.kif 65-65 | baptismdate の数値 2 引数は 日 の instance では %n |
| (domain birthdate 2 Day) | Mid-level-ontology.kif 21974-21974 | birthdate の数値 2 引数は 日 の instance では %n |
| (domain birthday 2 Day) | Mid-level-ontology.kif 21951-21951 | birthday の数値 2 引数は 日 の instance では %n |
| (domain buyingPowerAmount 2 Day) | FinancialOntology.kif 3929-3929 | buyingPowerAmount の数値 2 引数は 日 の instance では %n |
| (domain callDate 2 Day) | FinancialOntology.kif 2408-2408 | callDate の数値 2 引数は 日 の instance では %n |
| (domain closingPrice 3 Day) | FinancialOntology.kif 3362-3362 | closingPrice の数値 3 引数は 日 の instance では %n |
| (domain currentAccountBalance 2 Day) | FinancialOntology.kif 633-633 | currentAccountBalance の数値 2 引数は 日 の instance では %n |
| (domain currentInterestRate 2 Day) | FinancialOntology.kif 575-575 | currentInterestRate の数値 2 引数は 日 の instance では %n |
| (domain date 2 Day) | Merge.kif 12075-12075 | date の数値 2 引数は 日 の instance では %n |
| (domain dateOfStatement 2 Day) | FinancialOntology.kif 3863-3863 | dateOfStatement の数値 2 引数は 日 の instance では %n |
| (domain deathdate 2 Day) | Mid-level-ontology.kif 21986-21986 | deathdate の数値 2 引数は 日 の instance では %n |
| (domain marginBalanceAmount 2 Day) | FinancialOntology.kif 3938-3938 | marginBalanceAmount の数値 2 引数は 日 の instance では %n |
| (domain marketValueAmount 2 Day) | FinancialOntology.kif 3956-3956 | marketValueAmount の数値 2 引数は 日 の instance では %n |
| (domain maturityDate 2 Day) | FinancialOntology.kif 592-592 | maturityDate の数値 2 引数は 日 の instance では %n |
| (domain netWorth 3 Day) | FinancialOntology.kif 813-813 | netWorth の数値 3 引数は 日 の instance では %n |
| (domain overdraft 3 Day) | FinancialOntology.kif 730-730 | overdraft の数値 3 引数は 日 の instance では %n |
| (domain primeInterestRate 1 Day) | FinancialOntology.kif 560-560 | primeInterestRate の数値 1 引数は 日 の instance では %n |
| (domain shortBalanceAmount 2 Day) | FinancialOntology.kif 3947-3947 | shortBalanceAmount の数値 2 引数は 日 の instance では %n |
| (domain weddingdate 3 Day) | Biography.kif 49-49 | weddingdate の数値 3 引数は 日 の instance では %n |
| (domainSubclass HourFn 2 Day) | Merge.kif 12189-12189 | HourFn の数値 2 引数は 日 のsubclass では %n |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (attribute ?H Mausaharati) (instance ?D Drumming) (agent ?D ?H) (instance ?DAY Day) (instance ?S Sunrise) (during ?S ?D) (before ?D ?S)) (hasPurpose ?D (exists (?P ?SUHUR ?WU) (and (instance ?WU WakingUp) (experiencer ?WU ?P) (instance ?SUHUR Suhur) (agent ?SUHUR ?P) (before ?WU ?SUHUR) (during ?WU ?DAY) (during ?SUHUR ?DAY))))) |
ArabicCulture.kif 57-75 |
|
| (=> (and (dayPhone ?Number ?Agent) (instance ?Day Day)) (exists (?Phone) (and (phoneNumber ?Number ?Phone) (holdsDuring (HourFn ?Number ?Day) (possesses ?Agent ?Phone)) (lessThan ?Number 18)))) |
FinancialOntology.kif 3583-3591 | |
| (=> (and (eveningPhone ?Number ?Agent) (instance ?Day Day)) (exists (?Phone) (and (phoneNumber ?Number ?Phone) (holdsDuring (HourFn ?Number ?Day) (possesses ?Agent ?Phone)) (greaterThan ?Number 18)))) |
FinancialOntology.kif 3600-3608 | |
| (=> (and (instance ?EVE Evening) (instance ?AFT Afternoon) (instance ?D Day) (during ?EVE ?D) (during ?AFT ?D)) (meetsTemporally ?AFT ?EVE)) |
Merge.kif 12468-12475 | |
| (=> (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) (and (holdsDuring ?LOW (waterDepth ?PLACE ?AMOUNT1)) (holdsDuring ?HIGH (waterDepth ?PLACE ?AMOUNT2)) (greaterThan ?AMOUNT2 ?AMOUNT1)))) |
Geography.kif 4630-4643 |
|
| (=> (and (lowTide ?PLACE ?TIME1 ?AMOUNT1) (highTide ?PLACE ?TIME2 ?AMOUNT2) (instance ?DAY Day) (overlapsTemporally ?TIME1 ?DAY) (overlapsTemporally ?TIME2 ?DAY)) (greaterThan ?AMOUNT1 ?AMOUNT2)) |
Geography.kif 4694-4701 | |
| (=> (instance ?DAY Day) (duration ?DAY (MeasureFn 1 DayDuration))) |
Merge.kif 12864-12866 | |
| (=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 24)) |
Merge.kif 13157-13159 |
| consequent |
|
|
| (=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD) (instance ?FY ?PERIOD)) (exists (?DAY) (and (instance ?DAY Day) (starts ?DAY ?FY) (temporalPart ?DAY ?YEAR)))) |
Economy.kif 3755-3764 | |
| (=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER)) |
Merge.kif 13147-13151 | |
| (=> (and (instance ?POLICY DailyHousekeepingPolicy) (policyOwner ?AGENT ?POLICY)) (modalAttribute (exists (?GUEST ?ROOM) (and (guest ?GUEST ?AGENT) (stays ?GUEST ?ROOM) (equal ?STAY (WhenFn (stays ?GUEST ?ROOM))) (holdsDuring ?STAY (forall (?DAY) (=> (and (instance ?DAY Day) (during ?DAY ?STAY)) (exists (?RC) (and (instance ?RC RoomCleaningService) (patient ?RC ?ROOM) (during ?RC ?DAY)))))))) Likely)) |
Hotel.kif 2595-2615 |
|
| (=> (and (instance ?REGION GeographicArea) (located ?REGION AntarcticArea)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3456-3465 | |
| (=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3416-3425 | |
| (=> (instance ?C CalendarText) (exists (?D) (and (instance ?D Day) (refers ?C ?D)))) |
ComputingBrands.kif 2116-2121 | |
| (=> (instance ?M Midnight) (exists (?D) (and (instance ?D Day) (equal ?M (EndFn ?D))))) |
Merge.kif 12394-12399 | |
| (=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7)) |
Merge.kif 13153-13155 | |
| (=> (instance ?X Iftar) (exists (?R ?S ?D) (and (instance ?S Sunset) (instance ?R Ramadan) (instance ?D Day) (during ?D ?R) (during (WhenFn ?X) ?D) (during ?S ?D) (before ?S (WhenFn ?X))))) |
ArabicCulture.kif 82-92 |
|
| (=> (instance ?X Suhur) (exists (?R ?S ?D) (and (instance ?S Sunrise) (instance ?R Ramadan) (instance ?D Day) (during ?D ?R) (during (WhenFn ?X) ?D) (during ?S ?D) (before (WhenFn ?X) ?S)))) |
ArabicCulture.kif 36-46 |
|
|
|
|