|
|
   StateOrProvince
|
|
|
| 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 | Day ist innerlich verwandt mit DayDuration %n{nicht} |
| (relatedInternalConcept Day DayFn) | Merge.kif 9253-9253 | Day ist innerlich verwandt mit DayFn %n{nicht} |
| (subclass Day TimeInterval) | Merge.kif 9252-9252 | Day ist eine teilkategorie von TimeInterval |
| appearance as argument number 2 |
|
|
| (rangeSubclass DayFn Day) | Merge.kif 8612-8612 | 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 9304-9304 | Friday ist eine teilkategorie von Day |
| (subclass Monday Day) | Merge.kif 9262-9262 | Monday ist eine teilkategorie von Day |
| (subclass Saturday Day) | Merge.kif 9317-9317 | Saturday ist eine teilkategorie von Day |
| (subclass Sunday Day) | Merge.kif 9330-9330 | Sunday ist eine teilkategorie von Day |
| (subclass Thursday Day) | Merge.kif 9291-9291 | Thursday ist eine teilkategorie von Day |
| (subclass Tuesday Day) | Merge.kif 9265-9265 | Tuesday ist eine teilkategorie von Day |
| (subclass Wednesday Day) | Merge.kif 9278-9278 | 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 8856-8856 | Die Zahl 1 Argument von AfternoonFn ist ein fall von Day %n{nicht} |
| (domain EveningFn 1 Day) | Merge.kif 8956-8956 | Die Zahl 1 Argument von EveningFn ist ein fall von Day %n{nicht} |
| (domain MorningFn 1 Day) | Merge.kif 8840-8840 | 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 24267-24267 | 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 8567-8567 | 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 24280-24280 | 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 24212-24212 | Die Zahl 3 Argument von weddingdate ist ein fall von Day %n{nicht} |
| (domainSubclass HourFn 2 Day) | Merge.kif 8636-8636 | Die Zahl 2 Argument von HourFn ist eine teilkategorie von Day %n{nicht} |
| (domainSubclass anniversary 2 Day) | Mid-level-ontology.kif 24181-24181 | 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 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 |
|
|
| (=> (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 24235-24245 |
|
| (=> (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 9485-9489 |
|
| (=> (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 24194-24205 |
|
| (=> (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 8803-8808 |
|
| (=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7)) |
Merge.kif 9491-9493 |
|
| (=> (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 |
|
|
|
|
