TreeView Knowledge Base Browser

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 and 一天長度
(relatedInternalConcept Day DayFn)	Merge.kif 9253-9253	相關的內部概念 Day and 天
(subclass Day TimeInterval)	Merge.kif 9252-9252	子類 Day and TimeInterval

appearance as argument number 2

(rangeSubclass DayFn Day)	Merge.kif 8612-8612	範圍子類天 and Day
(subclass ChristmasDay Day)	Media.kif 335-335	子類 ChristmasDay and Day
(subclass Friday Day)	Merge.kif 9304-9304	子類 Friday and Day
(subclass Monday Day)	Merge.kif 9262-9262	子類 Monday and Day
(subclass Saturday Day)	Merge.kif 9317-9317	子類 Saturday and Day
(subclass Sunday Day)	Merge.kif 9330-9330	子類 Sunday and Day
(subclass Thursday Day)	Merge.kif 9291-9291	子類 Thursday and Day
(subclass Tuesday Day)	Merge.kif 9265-9265	子類 Tuesday and Day
(subclass Wednesday Day)	Merge.kif 9278-9278	子類 Wednesday and 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	域 AfternoonFn, 1 and Day
(domain EveningFn 1 Day)	Merge.kif 8956-8956	域 EveningFn, 1 and Day
(domain MorningFn 1 Day)	Merge.kif 8840-8840	域 MorningFn, 1 and Day
(domain availableBalance 2 Day)	FinancialOntology.kif 3808-3808	域可用餘額, 2 and Day
(domain availableCash 2 Day)	FinancialOntology.kif 3831-3831	域可用現金, 2 and Day
(domain baptizeddate 2 Day)	Biography.kif 175-175	域 baptizeddate, 2 and Day
(domain birthdate 2 Day)	Mid-level-ontology.kif 24267-24267	域出生日期, 2 and Day
(domain buyingPowerAmount 2 Day)	FinancialOntology.kif 4092-4092	域購買電量, 2 and Day
(domain callDate 2 Day)	FinancialOntology.kif 2485-2485	域通話日期, 2 and Day
(domain closingPrice 3 Day)	FinancialOntology.kif 3472-3472	域收盤價, 3 and Day
(domain currentAccountBalance 2 Day)	FinancialOntology.kif 673-673	域目前賬戶餘額, 2 and Day
(domain currentInterestRate 2 Day)	FinancialOntology.kif 615-615	域目前的利率, 2 and Day
(domain date 2 Day)	Merge.kif 8567-8567	域日期, 2 and Day
(domain dateOfStatement 2 Day)	FinancialOntology.kif 4027-4027	域聲明日期, 2 and Day
(domain deathdate 2 Day)	Mid-level-ontology.kif 24280-24280	域 deathdate, 2 and Day
(domain marginBalanceAmount 2 Day)	FinancialOntology.kif 4101-4101	域餘額幅度, 2 and Day
(domain marketValueAmount 2 Day)	FinancialOntology.kif 4119-4119	域市值金額, 2 and Day
(domain maturityDate 2 Day)	FinancialOntology.kif 632-632	域成人禮, 2 and Day
(domain netWorth 3 Day)	FinancialOntology.kif 868-868	域淨值, 3 and Day
(domain overdraft 3 Day)	FinancialOntology.kif 780-780	域透支, 3 and Day
(domain primeInterestRate 1 Day)	FinancialOntology.kif 600-600	域主要利率, 1 and Day
(domain shortBalanceAmount 2 Day)	FinancialOntology.kif 4110-4110	域短期金額, 2 and Day
(domain weddingdate 3 Day)	Mid-level-ontology.kif 24212-24212	域 weddingdate, 3 and Day
(domainSubclass HourFn 2 Day)	Merge.kif 8636-8636	域子類小時, 2 and Day
(domainSubclass anniversary 2 Day)	Mid-level-ontology.kif 24181-24181	域子類週年, 2 and Day

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 下午例 Day and Day 等於下午 and Day 的 afternoon 期間下午 and Day
(=> (and (instance ?E Evening) (instance ?D Day) (equal ?E (EveningFn ?D))) (during ?E ?D))	Merge.kif 8962-8967	例 Evening and Evening 例 Day and Day 等於 Evening and Day 的 evening 期間 Evening and Day
(=> (and (instance ?E Morning) (instance ?D Day) (equal ?E (MorningFn ?D))) (during ?E ?D))	Merge.kif 8846-8851	例早上 and 早上例 Day and Day 等於早上 and Day 的 morning 期間早上 and Day
(=> (and (instance ?EVE Evening) (instance ?AFT Afternoon) (instance ?D Day) (during ?EVE ?D) (during ?AFT ?D)) (meetsTemporally ?AFT ?EVE))	Merge.kif 8944-8951	例 TimeInterval and Evening 例 TimeInterval and 下午例 TimeInterval and Day 期間 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 短暫相遇 TimeInterval and TimeInterval
(=> (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	例 AutonomousAgent and 人 attribute AutonomousAgent and mausaharati 例 Process and 鼓聲 agent Process and AutonomousAgent 例 ProcessAY and Day 例 TimeInterval and 日出期間 TimeInterval and ProcessAY 早期何時 Process and TimeInterval 有目的 Process and entity TimeIntervalUHUR and entity 例 entity and 起來體驗者 entity and entity 例 TimeIntervalUHUR and 封齋飯 agent TimeIntervalUHUR and entity 早期何時 entity and 何時 TimeIntervalUHUR 期間何時 entity and ProcessAY 期間何時 TimeIntervalUHUR and ProcessAY
(=> (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	例 TimeInterval and 低潮例 TimeInterval and 高潮 TimeInterval 是 located 在 Object TimeInterval 是 located 在 Object 例 TimeInterval and Day 暫時重疊 TimeInterval and TimeInterval 暫時重疊 TimeInterval and TimeInterval RealNumber RealNumber and Entity 例 Entity and UnitOfLength 持有期間 TimeInterval and 測量 RealNumber and Entity 是 Object 的 water 深度持有期間 TimeInterval and 測量 RealNumber and Entity 是 Object 的 water 深度比較多 RealNumber and RealNumber
(=> (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	Region 對於 %3 low 潮汐 Region 是對於測量 RealNumber and UnitOfMeasure 的 high 潮汐 TimeInterval 例 UnitOfMeasure and UnitOfLength 例 TimeInterval and Day 暫時重疊 TimeInterval and TimeInterval 暫時重疊 TimeInterval and TimeInterval 比較多 RealNumber and RealNumber
(=> (instance ?DAY Day) (duration ?DAY (MeasureFn 1 DayDuration)))	Merge.kif 9258-9260	例 TimeInterval and Day 持續時間 TimeInterval and 測量 1 and 一天長度
(=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 24))	Merge.kif 9495-9497	例 TimeInterval and Day 等於基數時間構成 TimeInterval and Hour and 24

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	Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer Human 的 birthday 是 Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
(=> (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	等於 TimeInterval and AutonomousAgent 和年的 fiscal 開始年分 TimeInterval 是 AutonomousAgent 的 fiscal 年週期例 TimeInterval and TimeInterval TimeInterval TimePosition 例 TimeInterval and Day 啟動 TimeInterval and TimeInterval 例 TimePosition and 年時間部分 TimeInterval and TimePosition
(=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER))	Merge.kif 9485-9489	例 TimeInterval and Month 持續時間 TimeInterval and 測量 Integer and 一天長度等於基數時間構成 TimeInterval and Day and Integer
(=> (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	例 Policy and DailyHousekeepingPolicy Organization enacts policy Policy 模態屬性 entity entity and entity entity 是在 Organization 的 guest entity stays 在 entity 等於 entity and 何時 entity stays 在 entity 持有期間 entity and entity 例 entity and Day 期間 entity and entity entity 例 entity and RoomCleaningService 患者 entity and entity 期間 entity and entity and 容易
(=> (and (instance ?REGION GeographicArea) (located ?REGION AntarcticArea)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated))))))	Geography.kif 3631-3640	例 Physical and GeographicArea 位於 Physical and 南極地區 TimePosition 例 TimePosition and Day 持有期間 TimePosition and attribute Physical and 發光的
(=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated))))))	Geography.kif 3570-3579	例 Physical and GeographicArea 位於 Physical and 北極地區 TimePosition 例 TimePosition and Day 持有期間 TimePosition and attribute Physical and 發光的
(=> (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 出生證明例 Process and Birth 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent containsFormula 內容承載物理 and entity entity and entity entity 是 AutonomousAgent 的 birthdate 例 entity and Day entity 是 AutonomousAgent 的 birthplace 例 entity and GeographicArea 代表 entity and AutonomousAgent 例 entity and Name
(=> (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 DeathCertificate 例 Process and Death 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent containsFormula 內容承載物理 and ProcessAY entity, entity and entityROC ProcessAY 是 AutonomousAgent 的 deathdate 例 ProcessAY and Day entity 是 AutonomousAgent 的 deathplace 例 entity and GeographicArea 代表 entity and AutonomousAgent 例 entity and Name 原因 entityROC and Process 例 entityROC and Process
(=> (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 MarriageCertificate 例 Human and Human 例 Human and Human Human 是 Human 的 spouse containsFormula 內容承載物理 and entity Human 和 Human 之前是 married 在 entity 例 entity and Day
(=> (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	例 Physical and 婚禮日期 Physical and Day 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer weddingAnniversary Physical and Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
(=> (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	AutonomousAgent 是 SymbolicString 的 day 電話電話 entity and RealNumber 電話是 SymbolicString 的 phone 號碼比較多 RealNumber and 6 少於 RealNumber and 18 持有期間例 entity and 小時 RealNumber and Day and entity 例 entity and 致電目的地 entity and AutonomousAgent 患者 entity and 電話擁有 AutonomousAgent and 電話模態屬性 entity 例 entity and 回答中子過程 entity and entity agent entity and AutonomousAgent and 容易
(=> (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	AutonomousAgent 是 SymbolicString 的 evening 電話電話 entity and RealNumber 電話是 SymbolicString 的 phone 號碼比較多 RealNumber and 18 少於 RealNumber and 6 持有期間例 entity and 小時 RealNumber and Day and entity 例 entity and 致電目的地 entity and AutonomousAgent 患者 entity and 電話擁有 AutonomousAgent and 電話模態屬性 entity 例 entity and 回答中子過程 entity and entity agent entity and AutonomousAgent and 容易
(=> (instance ?C CalendarText) (exists (?D) (and (instance ?D Day) (refers ?C ?D))))	ComputingBrands.kif 2295-2300	例 Entity and 日曆 Entity 例 Entity and Day 參照 Entity and Entity
(=> (instance ?M Midnight) (exists (?D) (and (instance ?D Day) (equal ?M (EndFn ?D)))))	Merge.kif 8803-8808	例 TimePoint and Midnight TimeInterval 例 TimeInterval and Day 等於 TimePoint and 結束 TimeInterval
(=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7))	Merge.kif 9491-9493	例 TimeInterval and Week 等於基數時間構成 TimeInterval and Day and 7
(=> (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	例 Physical and 開齋 TimeInterval TimeInterval and TimeInterval 例 TimeInterval and 日落例 TimeInterval and 齋月例 TimeInterval and Day 期間 TimeInterval and TimeInterval 期間何時 Physical and TimeInterval 期間 TimeInterval and TimeInterval 之前 TimeInterval and 何時 Physical
(=> (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	例 Physical and 封齋飯 TimeInterval TimeInterval and TimeInterval 例 TimeInterval and 日出例 TimeInterval and 齋月例 TimeInterval and Day 期間 TimeInterval and TimeInterval 期間何時 Physical and TimeInterval 期間 TimeInterval and TimeInterval 之前何時 Physical and TimeInterval

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: