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 9218-9218 | |
(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 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 9216-9216 | Day is internally related to day duration |
(relatedInternalConcept Day DayFn) | Merge.kif 9215-9215 | Day is internally related to day |
(subclass Day TimeInterval) | Merge.kif 9214-9214 | Day is a subclass of time interval |
appearance as argument number 2 |
![]() |
(rangeSubclass DayFn Day) | Merge.kif 8574-8574 | The values returned by day are subclasses of day |
(subclass ChristmasDay Day) | Media.kif 335-335 | Christmas day is a subclass of day |
(subclass Friday Day) | Merge.kif 9266-9266 | Friday is a subclass of day |
(subclass Monday Day) | Merge.kif 9224-9224 | Monday is a subclass of day |
(subclass Saturday Day) | Merge.kif 9279-9279 | Saturday is a subclass of day |
(subclass Sunday Day) | Merge.kif 9292-9292 | Sunday is a subclass of day |
(subclass Thursday Day) | Merge.kif 9253-9253 | Thursday is a subclass of day |
(subclass Tuesday Day) | Merge.kif 9227-9227 | Tuesday is a subclass of day |
(subclass Wednesday Day) | Merge.kif 9240-9240 | Wednesday is a subclass of 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 504-504 | |
(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 8818-8818 | The number 1 argument of afternoon of is an instance of day |
(domain EveningFn 1 Day) | Merge.kif 8918-8918 | The number 1 argument of Evening fn is an instance of day |
(domain MorningFn 1 Day) | Merge.kif 8802-8802 | The number 1 argument of morning fn is an instance of day |
(domain availableBalance 2 Day) | FinancialOntology.kif 3821-3821 | The number 2 argument of available balance is an instance of day |
(domain availableCash 2 Day) | FinancialOntology.kif 3844-3844 | The number 2 argument of available cash is an instance of day |
(domain baptizeddate 2 Day) | Biography.kif 175-175 | The number 2 argument of baptizedmdate is an instance of day |
(domain birthdate 2 Day) | Mid-level-ontology.kif 24344-24344 | The number 2 argument of birthdate is an instance of day |
(domain buyingPowerAmount 2 Day) | FinancialOntology.kif 4105-4105 | The number 2 argument of buying power amount is an instance of day |
(domain callDate 2 Day) | FinancialOntology.kif 2499-2499 | The number 2 argument of call date is an instance of day |
(domain closingPrice 3 Day) | FinancialOntology.kif 3485-3485 | The number 3 argument of closing price is an instance of day |
(domain currentAccountBalance 2 Day) | FinancialOntology.kif 673-673 | The number 2 argument of current account balance is an instance of day |
(domain currentInterestRate 2 Day) | FinancialOntology.kif 615-615 | The number 2 argument of current interest rate is an instance of day |
(domain date 2 Day) | Merge.kif 8529-8529 | The number 2 argument of date is an instance of day |
(domain dateOfStatement 2 Day) | FinancialOntology.kif 4040-4040 | The number 2 argument of date of statement is an instance of day |
(domain deathdate 2 Day) | Mid-level-ontology.kif 24357-24357 | The number 2 argument of deathdate is an instance of day |
(domain marginBalanceAmount 2 Day) | FinancialOntology.kif 4114-4114 | The number 2 argument of margin balance amount is an instance of day |
(domain marketValueAmount 2 Day) | FinancialOntology.kif 4132-4132 | The number 2 argument of market value amount is an instance of day |
(domain maturityDate 2 Day) | FinancialOntology.kif 632-632 | The number 2 argument of maturity date is an instance of day |
(domain netWorth 3 Day) | FinancialOntology.kif 868-868 | The number 3 argument of net worth is an instance of day |
(domain overdraft 3 Day) | FinancialOntology.kif 780-780 | The number 3 argument of overdraft is an instance of day |
(domain primeInterestRate 1 Day) | FinancialOntology.kif 600-600 | The number 1 argument of prime interest rate is an instance of day |
(domain shortBalanceAmount 2 Day) | FinancialOntology.kif 4123-4123 | The number 2 argument of short balance amount is an instance of day |
(domain weddingdate 3 Day) | Mid-level-ontology.kif 24289-24289 | The number 3 argument of weddingdate is an instance of day |
(domainSubclass HourFn 2 Day) | Merge.kif 8598-8598 | The number 2 argument of hour is a subclass of day |
(domainSubclass anniversary 2 Day) | Mid-level-ontology.kif 24258-24258 | The number 2 argument of anniversary is a subclass of day |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |