more pictures...
| Day(日)
more pictures... | |
| 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 9132-9132 | |
| (externalImage Day "http://upload.wikimedia.org/wikipedia/commons/1/14/Harrison%27s_Chronometer_H5.JPG") | pictureList.kif 5949-5949 | |
| (externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg") | pictureList.kif 6344-6344 | |
| (externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg") | pictureList.kif 6345-6345 | |
| (externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg") | pictureList.kif 6346-6346 | |
| (externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg") | pictureList.kif 6347-6347 | |
| (relatedInternalConcept Day DayDuration) | Merge.kif 9130-9130 | 日 和 一天长度 是 内部相关 |
| (relatedInternalConcept Day DayFn) | Merge.kif 9129-9129 | 日 和 日函数 是 内部相关 |
| (subclass Day TimeInterval) | Merge.kif 9128-9128 | 日 是 时距 的 subclass |
| appearance as argument number 2 |
|
|
| (rangeSubclass DayFn Day) | Merge.kif 8492-8492 | 日函数 的所得值 是 日 的 subclass |
| (subclass ChristmasDay Day) | Media.kif 335-335 | ChristmasDay 是 日 的 subclass |
| (subclass Friday Day) | Merge.kif 9180-9180 | 星期五 是 日 的 subclass |
| (subclass Monday Day) | Merge.kif 9138-9138 | 星期一 是 日 的 subclass |
| (subclass Saturday Day) | Merge.kif 9193-9193 | 星期六 是 日 的 subclass |
| (subclass Sunday Day) | Merge.kif 9206-9206 | 星期日 是 日 的 subclass |
| (subclass Thursday Day) | Merge.kif 9167-9167 | 星期四 是 日 的 subclass |
| (subclass Tuesday Day) | Merge.kif 9141-9141 | 星期二 是 日 的 subclass |
| (subclass Wednesday Day) | Merge.kif 9154-9154 | 星期三 是 日 的 subclass |
| (termFormat ChineseLanguage Day "日") | chinese_format.kif 1289-1289 | |
| (termFormat EnglishLanguage Day "day") | english_format.kif 1795-1795 |
| appearance as argument number 3 |
|
|
| (domain AfternoonFn 1 Day) | Merge.kif 8736-8736 | AfternoonFn 的 1 数量 是 日 的 instance |
| (domain EveningFn 1 Day) | Merge.kif 8836-8836 | EveningFn 的 1 数量 是 日 的 instance |
| (domain MorningFn 1 Day) | Merge.kif 8720-8720 | MorningFn 的 1 数量 是 日 的 instance |
| (domain availableBalance 2 Day) | FinancialOntology.kif 3760-3760 | 可用余额 的 2 数量 是 日 的 instance |
| (domain availableCash 2 Day) | FinancialOntology.kif 3783-3783 | 可用现金 的 2 数量 是 日 的 instance |
| (domain baptismdate 2 Day) | Biography.kif 65-65 | baptismdate 的 2 数量 是 日 的 instance |
| (domain birthdate 2 Day) | Mid-level-ontology.kif 23645-23645 | 生日 的 2 数量 是 日 的 instance |
| (domain birthday 2 Day) | Mid-level-ontology.kif 23622-23622 | 生日 的 2 数量 是 日 的 instance |
| (domain buyingPowerAmount 2 Day) | FinancialOntology.kif 4044-4044 | 购买电量 的 2 数量 是 日 的 instance |
| (domain callDate 2 Day) | FinancialOntology.kif 2493-2493 | 通话日期 的 2 数量 是 日 的 instance |
| (domain closingPrice 3 Day) | FinancialOntology.kif 3476-3476 | 收盘价 的 3 数量 是 日 的 instance |
| (domain currentAccountBalance 2 Day) | FinancialOntology.kif 673-673 | 目前账户余额 的 2 数量 是 日 的 instance |
| (domain currentInterestRate 2 Day) | FinancialOntology.kif 615-615 | 目前的利率 的 2 数量 是 日 的 instance |
| (domain date 2 Day) | Merge.kif 8447-8447 | 日期 的 2 数量 是 日 的 instance |
| (domain dateOfStatement 2 Day) | FinancialOntology.kif 3979-3979 | 声明日期 的 2 数量 是 日 的 instance |
| (domain deathdate 2 Day) | Mid-level-ontology.kif 23658-23658 | deathdate 的 2 数量 是 日 的 instance |
| (domain marginBalanceAmount 2 Day) | FinancialOntology.kif 4053-4053 | 余额幅度 的 2 数量 是 日 的 instance |
| (domain marketValueAmount 2 Day) | FinancialOntology.kif 4071-4071 | 市值金额 的 2 数量 是 日 的 instance |
| (domain maturityDate 2 Day) | FinancialOntology.kif 632-632 | 成人礼 的 2 数量 是 日 的 instance |
| (domain netWorth 3 Day) | FinancialOntology.kif 867-867 | 净值 的 3 数量 是 日 的 instance |
| (domain overdraft 3 Day) | FinancialOntology.kif 779-779 | 透支 的 3 数量 是 日 的 instance |
| (domain primeInterestRate 1 Day) | FinancialOntology.kif 600-600 | 主要利率 的 1 数量 是 日 的 instance |
| (domain shortBalanceAmount 2 Day) | FinancialOntology.kif 4062-4062 | 短期金额 的 2 数量 是 日 的 instance |
| (domain weddingdate 3 Day) | Biography.kif 49-49 | weddingdate 的 3 数量 是 日 的 instance |
| (domainSubclass HourFn 2 Day) | Merge.kif 8516-8516 | 时函数 的 2 数量 是 日 的 subclass |
| 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 3695-3703 | |
| (=> (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 3712-3720 | |
| (=> (and (instance ?E Afternoon) (instance ?D Day) (equal ?E (AfternoonFn ?D))) (during ?E ?D)) |
Merge.kif 8742-8747 | |
| (=> (and (instance ?E Evening) (instance ?D Day) (equal ?E (EveningFn ?D))) (during ?E ?D)) |
Merge.kif 8842-8847 | |
| (=> (and (instance ?E Morning) (instance ?D Day) (equal ?E (MorningFn ?D))) (during ?E ?D)) |
Merge.kif 8726-8731 | |
| (=> (and (instance ?EVE Evening) (instance ?AFT Afternoon) (instance ?D Day) (during ?EVE ?D) (during ?AFT ?D)) (meetsTemporally ?AFT ?EVE)) |
Merge.kif 8824-8831 | |
| (=> (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 4856-4874 |
|
| (=> (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 4925-4935 | |
| (=> (instance ?DAY Day) (duration ?DAY (MeasureFn 1 DayDuration))) |
Merge.kif 9134-9136 | |
| (=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 24)) |
Merge.kif 9371-9373 |
| 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 3762-3771 | |
| (=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER)) |
Merge.kif 9361-9365 | |
| (=> (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 2627-2647 |
|
| (=> (and (instance ?REGION GeographicArea) (located ?REGION AntarcticArea)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3553-3562 | |
| (=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3492-3501 | |
| (=> (instance ?C CalendarText) (exists (?D) (and (instance ?D Day) (refers ?C ?D)))) |
ComputingBrands.kif 2263-2268 | |
| (=> (instance ?M Midnight) (exists (?D) (and (instance ?D Day) (equal ?M (EndFn ?D))))) |
Merge.kif 8683-8688 | |
| (=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7)) |
Merge.kif 9367-9369 | |
| (=> (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 |
|
|
|