|
|
   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 | Day ist innerlich verwandt mit DayDuration %n{nicht} |
| (relatedInternalConcept Day DayFn) | Merge.kif 9231-9231 | Day ist innerlich verwandt mit DayFn %n{nicht} |
| (subclass Day TimeInterval) | Merge.kif 9230-9230 | Day ist eine teilkategorie von TimeInterval |
| appearance as argument number 2 |
|
|
| (rangeSubclass DayFn Day) | Merge.kif 8590-8590 | Die werte die DayFn zurueckgibt sind teilkategorien von Day |
| (subclass ChristmasDay Day) | Media.kif 335-335 | ChristmasDay ist eine teilkategorie von Day |
| (subclass Friday Day) | Merge.kif 9282-9282 | Friday ist eine teilkategorie von Day |
| (subclass Monday Day) | Merge.kif 9240-9240 | Monday ist eine teilkategorie von Day |
| (subclass Saturday Day) | Merge.kif 9295-9295 | Saturday ist eine teilkategorie von Day |
| (subclass Sunday Day) | Merge.kif 9308-9308 | Sunday ist eine teilkategorie von Day |
| (subclass Thursday Day) | Merge.kif 9269-9269 | Thursday ist eine teilkategorie von Day |
| (subclass Tuesday Day) | Merge.kif 9243-9243 | Tuesday ist eine teilkategorie von Day |
| (subclass Wednesday Day) | Merge.kif 9256-9256 | Wednesday ist eine teilkategorie von Day |
| (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 | Die Zahl 1 Argument von AfternoonFn ist ein fall von Day %n{nicht} |
| (domain EveningFn 1 Day) | Merge.kif 8934-8934 | Die Zahl 1 Argument von EveningFn ist ein fall von Day %n{nicht} |
| (domain MorningFn 1 Day) | Merge.kif 8818-8818 | Die Zahl 1 Argument von MorningFn ist ein fall von Day %n{nicht} |
| (domain availableBalance 2 Day) | FinancialOntology.kif 3808-3808 | Die Zahl 2 Argument von availableBalance ist ein fall von Day %n{nicht} |
| (domain availableCash 2 Day) | FinancialOntology.kif 3831-3831 | Die Zahl 2 Argument von availableCash ist ein fall von Day %n{nicht} |
| (domain baptizeddate 2 Day) | Biography.kif 175-175 | Die Zahl 2 Argument von baptizeddate ist ein fall von Day %n{nicht} |
| (domain birthdate 2 Day) | Mid-level-ontology.kif 24268-24268 | Die Zahl 2 Argument von birthdate ist ein fall von Day %n{nicht} |
| (domain buyingPowerAmount 2 Day) | FinancialOntology.kif 4092-4092 | Die Zahl 2 Argument von buyingPowerAmount ist ein fall von Day %n{nicht} |
| (domain callDate 2 Day) | FinancialOntology.kif 2485-2485 | Die Zahl 2 Argument von callDate ist ein fall von Day %n{nicht} |
| (domain closingPrice 3 Day) | FinancialOntology.kif 3472-3472 | Die Zahl 3 Argument von closingPrice ist ein fall von Day %n{nicht} |
| (domain currentAccountBalance 2 Day) | FinancialOntology.kif 673-673 | Die Zahl 2 Argument von currentAccountBalance ist ein fall von Day %n{nicht} |
| (domain currentInterestRate 2 Day) | FinancialOntology.kif 615-615 | Die Zahl 2 Argument von currentInterestRate ist ein fall von Day %n{nicht} |
| (domain date 2 Day) | Merge.kif 8545-8545 | Die Zahl 2 Argument von date ist ein fall von Day %n{nicht} |
| (domain dateOfStatement 2 Day) | FinancialOntology.kif 4027-4027 | Die Zahl 2 Argument von dateOfStatement ist ein fall von Day %n{nicht} |
| (domain deathdate 2 Day) | Mid-level-ontology.kif 24281-24281 | Die Zahl 2 Argument von deathdate ist ein fall von Day %n{nicht} |
| (domain marginBalanceAmount 2 Day) | FinancialOntology.kif 4101-4101 | Die Zahl 2 Argument von marginBalanceAmount ist ein fall von Day %n{nicht} |
| (domain marketValueAmount 2 Day) | FinancialOntology.kif 4119-4119 | Die Zahl 2 Argument von marketValueAmount ist ein fall von Day %n{nicht} |
| (domain maturityDate 2 Day) | FinancialOntology.kif 632-632 | Die Zahl 2 Argument von maturityDate ist ein fall von Day %n{nicht} |
| (domain netWorth 3 Day) | FinancialOntology.kif 868-868 | Die Zahl 3 Argument von netWorth ist ein fall von Day %n{nicht} |
| (domain overdraft 3 Day) | FinancialOntology.kif 780-780 | Die Zahl 3 Argument von overdraft ist ein fall von Day %n{nicht} |
| (domain primeInterestRate 1 Day) | FinancialOntology.kif 600-600 | Die Zahl 1 Argument von primeInterestRate ist ein fall von Day %n{nicht} |
| (domain shortBalanceAmount 2 Day) | FinancialOntology.kif 4110-4110 | Die Zahl 2 Argument von shortBalanceAmount ist ein fall von Day %n{nicht} |
| (domain weddingdate 3 Day) | Mid-level-ontology.kif 24213-24213 | Die Zahl 3 Argument von weddingdate ist ein fall von Day %n{nicht} |
| (domainSubclass HourFn 2 Day) | Merge.kif 8614-8614 | Die Zahl 2 Argument von HourFn ist eine teilkategorie von Day %n{nicht} |
| (domainSubclass anniversary 2 Day) | Mid-level-ontology.kif 24182-24182 | Die Zahl 2 Argument von anniversary ist eine teilkategorie von Day %n{nicht} |
| 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 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 9236-9238 |
|
| (=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 24)) |
Merge.kif 9473-9475 |
|
| consequent |
|
|
| (=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 24236-24246 |
|
| (=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD) (instance ?FY ?PERIOD)) (exists (?DAY ?INST) (and (instance ?DAY Day) (starts ?DAY ?FY) (instance ?INST ?YEAR) (temporalPart ?DAY ?INST)))) |
Economy.kif 3754-3764 |
|
| (=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER)) |
Merge.kif 9463-9467 |
|
| (=> (and (instance ?POLICY DailyHousekeepingPolicy) (policyOwner ?AGENT ?POLICY)) (modalAttribute (exists (?GUEST ?ROOM ?STAY) (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 2654-2674 |
|
| (=> (and (instance ?REGION GeographicArea) (located ?REGION AntarcticArea)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3631-3640 |
|
| (=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3570-3579 |
|
| (=> (and (instance ?TEXT BirthCertificate) (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N) (and (birthdate ?A ?DAY) (instance ?DAY Day) (birthplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name))))) |
Biography.kif 250-264 |
|
| (=> (and (instance ?TEXT DeathCertificate) (instance ?D Death) (instance ?A Human) (experiencer ?D ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N ?PROC) (and (deathdate ?A ?DAY) (instance ?DAY Day) (deathplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name) (causes ?PROC ?D) (instance ?PROC Process))))) |
Biography.kif 280-296 |
|
| (=> (and (instance ?TEXT MarriageCertificate) (instance ?A Human) (instance ?B Human) (spouse ?A ?B)) (containsFormula ?TEXT (exists (?DAY) (and (weddingdate ?A ?B ?DAY) (instance ?DAY Day))))) |
Biography.kif 307-317 |
|
| (=> (and (instance ?WED Wedding) (date ?WED ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (weddingAnniversary ?WED ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 24195-24206 |
|
| (=> (dayPhone ?Number ?Agent) (exists (?Phone ?Hour ?Num) (and (phoneNumber ?Number ?Phone) (greaterThan ?Num 6) (lessThan ?Num 18) (holdsDuring (instance ?Hour (HourFn ?Num Day)) (exists (?T) (and (instance ?T Telephoning) (destination ?T ?Agent) (patient ?T ?Phone) (possesses ?Agent ?Phone) (modalAttribute (exists (?A) (and (instance ?A Answering) (subProcess ?A ?T) (agent ?A ?Agent))) Likely))))))) |
FinancialOntology.kif 3691-3711 |
|
| (=> (eveningPhone ?Number ?Agent) (exists (?Phone ?Hour ?Num) (and (phoneNumber ?Number ?Phone) (greaterThan ?Num 18) (lessThan ?Num 6) (holdsDuring (instance ?Hour (HourFn ?Num Day)) (exists (?T) (and (instance ?T Telephoning) (destination ?T ?Agent) (patient ?T ?Phone) (possesses ?Agent ?Phone) (modalAttribute (exists (?A) (and (instance ?A Answering) (subProcess ?A ?T) (agent ?A ?Agent))) Likely))))))) |
FinancialOntology.kif 3735-3755 |
|
| (=> (instance ?C CalendarText) (exists (?D) (and (instance ?D Day) (refers ?C ?D)))) |
ComputingBrands.kif 2295-2300 |
|
| (=> (instance ?M Midnight) (exists (?D) (and (instance ?D Day) (equal ?M (EndFn ?D))))) |
Merge.kif 8781-8786 |
|
| (=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7)) |
Merge.kif 9469-9471 |
|
| (=> (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 91-101 |
|
| (=> (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 |
|
|
|
|
