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 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	日は DayDuration に internally 関連して %n
(relatedInternalConcept Day DayFn)	Merge.kif 9231-9231	日は DayFn に internally 関連して %n
(subclass Day TimeInterval)	Merge.kif 9230-9230	日は時間間隔の subclass では %n

appearance as argument number 2

(rangeSubclass DayFn Day)	Merge.kif 8590-8590	DayFn が返す値は日の subclasses では %n
(subclass ChristmasDay Day)	Media.kif 335-335	ChristmasDay は日の subclass では %n
(subclass Friday Day)	Merge.kif 9282-9282	金曜日は日の subclass では %n
(subclass Monday Day)	Merge.kif 9240-9240	月曜日は日の subclass では %n
(subclass Saturday Day)	Merge.kif 9295-9295	土曜日は日の subclass では %n
(subclass Sunday Day)	Merge.kif 9308-9308	日曜日は日の subclass では %n
(subclass Thursday Day)	Merge.kif 9269-9269	木曜日は日の subclass では %n
(subclass Tuesday Day)	Merge.kif 9243-9243	火曜日は日の subclass では %n
(subclass Wednesday Day)	Merge.kif 9256-9256	水曜日は日の subclass では %n
(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	AfternoonFn の数値 1 引数は日の instance では %n
(domain EveningFn 1 Day)	Merge.kif 8934-8934	EveningFn の数値 1 引数は日の instance では %n
(domain MorningFn 1 Day)	Merge.kif 8818-8818	MorningFn の数値 1 引数は日の instance では %n
(domain availableBalance 2 Day)	FinancialOntology.kif 3808-3808	availableBalance の数値 2 引数は日の instance では %n
(domain availableCash 2 Day)	FinancialOntology.kif 3831-3831	availableCash の数値 2 引数は日の instance では %n
(domain baptizeddate 2 Day)	Biography.kif 175-175	baptizeddate の数値 2 引数は日の instance では %n
(domain birthdate 2 Day)	Mid-level-ontology.kif 24268-24268	birthdate の数値 2 引数は日の instance では %n
(domain buyingPowerAmount 2 Day)	FinancialOntology.kif 4092-4092	buyingPowerAmount の数値 2 引数は日の instance では %n
(domain callDate 2 Day)	FinancialOntology.kif 2485-2485	callDate の数値 2 引数は日の instance では %n
(domain closingPrice 3 Day)	FinancialOntology.kif 3472-3472	closingPrice の数値 3 引数は日の instance では %n
(domain currentAccountBalance 2 Day)	FinancialOntology.kif 673-673	currentAccountBalance の数値 2 引数は日の instance では %n
(domain currentInterestRate 2 Day)	FinancialOntology.kif 615-615	currentInterestRate の数値 2 引数は日の instance では %n
(domain date 2 Day)	Merge.kif 8545-8545	date の数値 2 引数は日の instance では %n
(domain dateOfStatement 2 Day)	FinancialOntology.kif 4027-4027	dateOfStatement の数値 2 引数は日の instance では %n
(domain deathdate 2 Day)	Mid-level-ontology.kif 24281-24281	deathdate の数値 2 引数は日の instance では %n
(domain marginBalanceAmount 2 Day)	FinancialOntology.kif 4101-4101	marginBalanceAmount の数値 2 引数は日の instance では %n
(domain marketValueAmount 2 Day)	FinancialOntology.kif 4119-4119	marketValueAmount の数値 2 引数は日の instance では %n
(domain maturityDate 2 Day)	FinancialOntology.kif 632-632	maturityDate の数値 2 引数は日の instance では %n
(domain netWorth 3 Day)	FinancialOntology.kif 868-868	netWorth の数値 3 引数は日の instance では %n
(domain overdraft 3 Day)	FinancialOntology.kif 780-780	overdraft の数値 3 引数は日の instance では %n
(domain primeInterestRate 1 Day)	FinancialOntology.kif 600-600	primeInterestRate の数値 1 引数は日の instance では %n
(domain shortBalanceAmount 2 Day)	FinancialOntology.kif 4110-4110	shortBalanceAmount の数値 2 引数は日の instance では %n
(domain weddingdate 3 Day)	Mid-level-ontology.kif 24213-24213	weddingdate の数値 3 引数は日の instance では %n
(domainSubclass HourFn 2 Day)	Merge.kif 8614-8614	HourFn の数値 2 引数は日のsubclass では %n
(domainSubclass anniversary 2 Day)	Mid-level-ontology.kif 24182-24182	anniversary の数値 2 引数は日のsubclass では %n

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	Afternoon は Afternoon の instance では %n 日は日の instance では %n Afternoon は AfternoonFn 日と equal では %n Afternoon は日の during に takes %n{ない}
(=> (and (instance ?E Evening) (instance ?D Day) (equal ?E (EveningFn ?D))) (during ?E ?D))	Merge.kif 8940-8945	Evening は Evening の instance では %n 日は日の instance では %n Evening は EveningFn 日と equal では %n Evening は日の during に takes %n{ない}
(=> (and (instance ?E Morning) (instance ?D Day) (equal ?E (MorningFn ?D))) (during ?E ?D))	Merge.kif 8824-8829	Morning は Morning の instance では %n 日は日の instance では %n Morning は MorningFn 日と equal では %n Morning は日の during に takes %n{ない}
(=> (and (instance ?EVE Evening) (instance ?AFT Afternoon) (instance ?D Day) (during ?EVE ?D) (during ?AFT ?D)) (meetsTemporally ?AFT ?EVE))	Merge.kif 8922-8929	時間間隔は Evening の instance では %n 時間間隔は Afternoon の instance では %n 時間間隔は日の instance では %n 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は時間間隔に meets %n{ない}
(=> (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 は Man の instance では %n Mausaharati は AutonomousAgent の attribute では %n 工程は Drumming の instance では %n AutonomousAgent は工程の agent では %n 工程AY は日の instance では %n 時間間隔は Sunrise の instance では %n 時間間隔は工程AY の during に takes %n{ない} 工程の time の existence は時間間隔より earlier happens %n{ない} 工程はエンティティー時間間隔UHUR and エンティティーエンティティーは WakingUp の instance では %n エンティティーがエンティティーを experiences %n{ない} 時間間隔UHUR は Suhur の instance では %n エンティティーは時間間隔UHUR の agent では %n エンティティーの time の existence は時間間隔UHUR の time の existence より earlier happens %n{ない} エンティティーの time の existence は工程AY の during に takes %n{ない} 時間間隔UHUR の time の existence は工程AY の during に takes %n{ない} の目的 %n{ない}
(=> (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	時間間隔は LowTide の instance では %n 時間間隔は HighTide の instance では %n eventLocated 時間間隔 and オブジェクト eventLocated 時間間隔 and オブジェクト時間間隔は日の instance では %n 時間間隔は時間間隔と overlaps %n{dない} 時間間隔は時間間隔と overlaps %n{dない} 実数実数 and エンティティーエンティティーは UnitOfLength の instance では %n waterDepth オブジェクト and 実数のエンティティー(s) は時間間隔の during holds %n{ない} waterDepth オブジェクト and 実数のエンティティー(s) は時間間隔の during holds %n{ない} 実数は実数より greater では　%n
(=> (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	lowTide 地域, 時間間隔 and 実数の測定単位(s) highTide 地域, 時間間隔 and 実数の測定単位(s) 測定単位は UnitOfLength の instance では %n 時間間隔は日の instance では %n 時間間隔は時間間隔と overlaps %n{dない} 時間間隔は時間間隔と overlaps %n{dない} 実数は実数より greater では　%n
(=> (instance ?DAY Day) (duration ?DAY (MeasureFn 1 DayDuration)))	Merge.kif 9236-9238	時間間隔は日の instance では %n 時間間隔の duration は 1 の DayDuration(s) では %n
(=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 24))	Merge.kif 9473-9475	時間間隔は日の instance では %n 時間間隔をの時間s に decomposition の instances の数は 24 と equal では %n

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	birthdate 人［人間］ and 日日は正の整数 day 目の instance では %n 日整数 birthday 人［人間］ and 日日は日の subclass では %n 整数は整数の instance では %n 日は正の整数 day 目と equal では %n 整数は整数より greater では　%n
(=> (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	時間間隔は FiscalYearStartingFn AutonomousAgent and 年と equal では %n fiscalYearPeriod AutonomousAgent and 時間間隔時間間隔は時間間隔の instance では %n 時間間隔時間位置時間間隔は日の instance では %n 時間間隔は時間間隔を starts %n{ない} 時間位置は年の instance では %n 時間間隔は時間位置の part では %n
(=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER))	Merge.kif 9463-9467	時間間隔は月の instance では %n 時間間隔の duration は整数の DayDuration(s) では %n 時間間隔をの日s に decomposition の instances の数は整数と equal では %n
(=> (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 は DailyHousekeepingPolicy の instance では %n policyOwner 組織 and Policy ステートメントエンティティーエンティティー and エンティティー guest エンティティー and 組織 stays エンティティー and エンティティーエンティティーは stays エンティティー and エンティティーの time の existence と equal では %n エンティティーエンティティーは日の instance では %n エンティティーはエンティティーの during に takes %n{ない} エンティティーエンティティーは RoomCleaningService の instance では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーの during に takes %n{ない} はエンティティーの during holds %n{ない} には Likely の modal force がある
(=> (and (instance ?REGION GeographicArea) (located ?REGION AntarcticArea)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated))))))	Geography.kif 3631-3640	物理は地理的地域の instance では %n 物理は AntarcticArea に located して %n 時間位置時間位置は日の instance では %n Illuminated は物理の attribute ではは時間位置の during holds %n{ない}
(=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated))))))	Geography.kif 3570-3579	物理は地理的地域の instance では %n 物理は ArcticRegion に located して %n 時間位置時間位置は日の instance では %n Illuminated は物理の attribute ではは時間位置の during holds %n{ない}
(=> (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	ContentBearingPhysical は BirthCertificate の instance では %n 工程は出生の instance では %n AutonomousAgent は人［人間］の instance では %n AutonomousAgent が工程を experiences %n{ない} containsFormula ContentBearingPhysical and エンティティーエンティティー and エンティティー birthdate AutonomousAgent and エンティティーエンティティーは日の instance では %n birthplace AutonomousAgent and エンティティーエンティティーは地理的地域の instance では %n エンティティーは AutonomousAgent を expresses %n{ない} エンティティーは Name の instance では %n
(=> (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	ContentBearingPhysical は DeathCertificate の instance では %n 工程は死の instance では %n AutonomousAgent は人［人間］の instance では %n AutonomousAgent が工程を experiences %n{ない} containsFormula ContentBearingPhysical and 工程AY エンティティー, エンティティー and エンティティーROC deathdate AutonomousAgent and 工程AY 工程AY は日の instance では %n deathplace AutonomousAgent and エンティティーエンティティーは地理的地域の instance では %n エンティティーは AutonomousAgent を expresses %n{ない} エンティティーは Name の instance では %n エンティティーROC は工程を causes %n{ない} エンティティーROC は工程の instance では %n
(=> (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	ContentBearingPhysical は MarriageCertificate の instance では %n 人［人間］は人［人間］の instance では %n 人［人間］は人［人間］の instance では %n spouse 人［人間］ and 人［人間］ containsFormula ContentBearingPhysical and エンティティー weddingdate 人［人間］, 人［人間］ and エンティティーエンティティーは日の instance では %n
(=> (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	物理は Wedding の instance では %n 物理の date は日では日は正の整数 day 目の instance では %n 日整数 weddingAnniversary 物理 and 日日は日の subclass では %n 整数は整数の instance では %n 日は正の整数 day 目と equal では %n 整数は整数より greater では　%n
(=> (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	dayPhone 記号文字列 and AutonomousAgent Telephone エンティティー and 実数 phoneNumber 記号文字列 and Telephone 実数は 6 より greater では　%n 実数は 18 より less では %n エンティティーエンティティーは Telephoning の instance では %n エンティティーは AutonomousAgent に ends %n{ない} Telephone はエンティティーの patient では %n AutonomousAgent は Telephone を possesses %n{ない} ステートメントエンティティーエンティティーは Answering の instance では %n エンティティーはエンティティー% の subprocess では %n AutonomousAgent はエンティティーの agent では %n には Likely の modal force があるはエンティティーは実数 hour 目の instance では %n の during holds %n{ない}
(=> (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	eveningPhone 記号文字列 and AutonomousAgent Telephone エンティティー and 実数 phoneNumber 記号文字列 and Telephone 実数は 18 より greater では　%n 実数は 6 より less では %n エンティティーエンティティーは Telephoning の instance では %n エンティティーは AutonomousAgent に ends %n{ない} Telephone はエンティティーの patient では %n AutonomousAgent は Telephone を possesses %n{ない} ステートメントエンティティーエンティティーは Answering の instance では %n エンティティーはエンティティー% の subprocess では %n AutonomousAgent はエンティティーの agent では %n には Likely の modal force があるはエンティティーは実数 hour 目の instance では %n の during holds %n{ない}
(=> (instance ?C CalendarText) (exists (?D) (and (instance ?D Day) (refers ?C ?D))))	ComputingBrands.kif 2295-2300	エンティティーはカレンダーの instance では %n エンティティーエンティティーは日の instance では %n エンティティーはエンティティーへの reference を includes %n{ない}
(=> (instance ?M Midnight) (exists (?D) (and (instance ?D Day) (equal ?M (EndFn ?D)))))	Merge.kif 8781-8786	時点は Midnight の instance では %n 時間間隔時間間隔は日の instance では %n 時点は時間間隔の end と equal では %n
(=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7))	Merge.kif 9469-9471	時間間隔は週の instance では %n 時間間隔をの日s に decomposition の instances の数は 7 と equal では %n
(=> (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	物理は Iftar の instance では %n 時間間隔時間間隔 and 時間間隔時間間隔は Sunset の instance では %n 時間間隔は Ramadan の instance では %n 時間間隔は日の instance では %n 時間間隔は時間間隔の during に takes %n{ない} 物理の time の existence は時間間隔の during に takes %n{ない} 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は物理の time の existence の before に happens %n{ない}
(=> (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	物理は Suhur の instance では %n 時間間隔時間間隔 and 時間間隔時間間隔は Sunrise の instance では %n 時間間隔は Ramadan の instance では %n 時間間隔は日の instance では %n 時間間隔は時間間隔の during に takes %n{ない} 物理の time の existence は時間間隔の during に takes %n{ない} 時間間隔は時間間隔の during に takes %n{ない} 物理の time の existence は時間間隔の before に happens %n{ない}

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: