Day - Sigma 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 9276-9276
(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 5947-5947
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg")	pictureList.kif 6342-6342
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg")	pictureList.kif 6343-6343
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg")	pictureList.kif 6344-6344
(externalImage Day "http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg")	pictureList.kif 6345-6345
(relatedInternalConcept Day DayDuration)	Merge.kif 9274-9274	日は DayDuration に internally 関連して %n
(relatedInternalConcept Day DayFn)	Merge.kif 9273-9273	日は DayFn に internally 関連して %n
(subclass Day TimeInterval)	Merge.kif 9272-9272	日は時間間隔の subclass では %n

appearance as argument number 2

(rangeSubclass DayFn Day)	Merge.kif 8632-8632	DayFn が返す値は日の subclasses では %n
(subclass ChristmasDay Day)	Media.kif 335-335	ChristmasDay は日の subclass では %n
(subclass Friday Day)	Merge.kif 9333-9333	金曜日は日の subclass では %n
(subclass Monday Day)	Merge.kif 9282-9282	月曜日は日の subclass では %n
(subclass Saturday Day)	Merge.kif 9346-9346	土曜日は日の subclass では %n
(subclass Sunday Day)	Merge.kif 9359-9359	日曜日は日の subclass では %n
(subclass Thursday Day)	Merge.kif 9320-9320	木曜日は日の subclass では %n
(subclass Tuesday Day)	Merge.kif 9294-9294	火曜日は日の subclass では %n
(subclass Wednesday Day)	Merge.kif 9307-9307	水曜日は日の subclass では %n
(termFormat ChineseLanguage Day "日")	chinese_format.kif 1289-1289	水曜日は日の subclass では %n
(termFormat EnglishLanguage Day "day")	english_format.kif 1795-1795	水曜日は日の subclass では %n
(termFormat FrenchLanguage Day "jour")	french_format.kif 967-967	水曜日は日の subclass では %n
(termFormat Hindi Day "divasa")	terms-hindi.txt 502-502	水曜日は日の subclass では %n
(termFormat ItalianLanguage Day "Giorno")	terms-it.txt 506-506	水曜日は日の subclass では %n
(termFormat JapaneseLanguage Day "日")	japanese_format.kif 2651-2651	水曜日は日の subclass では %n
(termFormat PortugueseLanguage Day "Dia")	portuguese_format.kif 919-919	水曜日は日の subclass では %n
(termFormat cb Day "adlaw")	terms-cb.txt 508-508	水曜日は日の subclass では %n
(termFormat cz Day "day")	terms-cz.txt 542-542	水曜日は日の subclass では %n
(termFormat de Day "Tag")	terms-de.txt 801-801	水曜日は日の subclass では %n
(termFormat ro Day "zi")	relations-ro.kif 988-988	水曜日は日の subclass では %n
(termFormat tg Day "araw")	terms-tg.txt 507-507	水曜日は日の subclass では %n

appearance as argument number 3

(domain AfternoonFn 1 Day)	Merge.kif 8876-8876	AfternoonFn の数値 1 引数は日の instance では %n
(domain EveningFn 1 Day)	Merge.kif 8976-8976	EveningFn の数値 1 引数は日の instance では %n
(domain MorningFn 1 Day)	Merge.kif 8860-8860	MorningFn の数値 1 引数は日の instance では %n
(domain availableBalance 2 Day)	FinancialOntology.kif 3822-3822	availableBalance の数値 2 引数は日の instance では %n
(domain availableCash 2 Day)	FinancialOntology.kif 3845-3845	availableCash の数値 2 引数は日の instance では %n
(domain baptizeddate 2 Day)	Biography.kif 175-175	baptizeddate の数値 2 引数は日の instance では %n
(domain birthdate 2 Day)	Mid-level-ontology.kif 25387-25387	birthdate の数値 2 引数は日の instance では %n
(domain buyingPowerAmount 2 Day)	FinancialOntology.kif 4106-4106	buyingPowerAmount の数値 2 引数は日の instance では %n
(domain callDate 2 Day)	FinancialOntology.kif 2499-2499	callDate の数値 2 引数は日の instance では %n
(domain closingPrice 3 Day)	FinancialOntology.kif 3486-3486	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 8587-8587	date の数値 2 引数は日の instance では %n
(domain dateOfStatement 2 Day)	FinancialOntology.kif 4041-4041	dateOfStatement の数値 2 引数は日の instance では %n
(domain deathdate 2 Day)	Mid-level-ontology.kif 25400-25400	deathdate の数値 2 引数は日の instance では %n
(domain marginBalanceAmount 2 Day)	FinancialOntology.kif 4115-4115	marginBalanceAmount の数値 2 引数は日の instance では %n
(domain marketValueAmount 2 Day)	FinancialOntology.kif 4133-4133	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 4124-4124	shortBalanceAmount の数値 2 引数は日の instance では %n
(domain weddingdate 3 Day)	Mid-level-ontology.kif 25332-25332	weddingdate の数値 3 引数は日の instance では %n
(domainSubclass HourFn 2 Day)	Merge.kif 8656-8656	HourFn の数値 2 引数は日のsubclass では %n
(domainSubclass anniversary 2 Day)	Mid-level-ontology.kif 25301-25301	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 8882-8887	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 8982-8987	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 8866-8871	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 8964-8971	時間間隔は 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 5027-5045	時間間隔は 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 5096-5106	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 9278-9280	時間間隔は日の instance では %n 時間間隔の duration は 1 の DayDuration(s) では %n
(=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 24))	Merge.kif 9538-9540	時間間隔は日の 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 25355-25365	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 3964-3974	時間間隔は 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 9528-9532	時間間隔は月の 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 3619-3628	物理は地理的地域の 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 3558-3567	物理は地理的地域の 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 25314-25325	物理は 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 3705-3725	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 3749-3769	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 8823-8828	時点は Midnight の instance では %n 時間間隔時間間隔は日の instance では %n 時点は時間間隔の end と equal では %n
(=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7))	Merge.kif 9534-9536	時間間隔は週の 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: