meetsTemporally - Sigma Knowledge base Browser

appearance as argument number 1

(documentation meetsTemporally ChineseLanguage "(meetsTemporally ?INTERVAL1 ?INTERVAL2) 的意思是 TimeInterval ?INTERVAL1 的终点是 TimeInterval ?INTERVAL2 起点。")	chinese_format.kif 2722-2723
(documentation meetsTemporally EnglishLanguage "(meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the TimeInterval ?INTERVAL1 is the initial point of the TimeInterval ?INTERVAL2.")	Merge.kif 8379-8381
(documentation meetsTemporally JapaneseLanguage "(meetsTemporally ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL1 の端子点が TimeInterval ?INTERVAL2 の初期点であることを意味する。")	japanese_format.kif 1446-1448
(domain meetsTemporally 1 TimeInterval)	Merge.kif 8376-8376	meetsTemporally の数値 1 引数は時間間隔の instance では %n
(domain meetsTemporally 2 TimeInterval)	Merge.kif 8377-8377	meetsTemporally の数値 2 引数は時間間隔の instance では %n
(instance meetsTemporally AsymmetricRelation)	Merge.kif 8373-8373	meetsTemporally は非対称関係の instance では %n
(instance meetsTemporally BinaryPredicate)	Merge.kif 8371-8371	meetsTemporally は 2進述語の instance では %n
(instance meetsTemporally IntransitiveRelation)	Merge.kif 8374-8374	meetsTemporally は非推移関係の instance では %n
(instance meetsTemporally TemporalRelation)	Merge.kif 8372-8372	meetsTemporally は時間関係の instance では %n
(instance meetsTemporally TotalValuedRelation)	Merge.kif 8375-8375	meetsTemporally は合計値関係の instance では %n

appearance as argument number 2

(format ChineseLanguage meetsTemporally "%1 %n{doesn't} 接着 %2")	chinese_format.kif 435-435
(format EnglishLanguage meetsTemporally "%1 %n{doesn't} meet%p{s} %2")	english_format.kif 441-441
(format FrenchLanguage meetsTemporally "%1 %n{ne} rencontre %n{pas} %2")	french_format.kif 252-252
(format ItalianLanguage meetsTemporally "%1 %n{non} incontra%p{s} %2")	relations-it.txt 180-180
(format JapaneseLanguage meetsTemporally "%1 は %2 に meet%p{s} %n{ない}")	japanese_format.kif 2046-2046
(format PortugueseLanguage meetsTemporally "%1 %n{nao} encontra %n %2")	portuguese_format.kif 204-204
(format cz meetsTemporally "%1 %n{doesn't} meet%p{s} %2")	relations-cz.txt 258-258
(format de meetsTemporally "%1 schliesst %2 zeitlich %n{nicht} an")	relations-de.txt 568-568
(format hi meetsTemporally "%1 %2 se %n{nahiin} milataa hai")	relations-hindi.txt 218-218
(format ro meetsTemporally "%1 %n{nu} meet%t{se continuã} cu %2")	relations-ro.kif 273-273
(format sv meetsTemporally "%1 möter %n{inte} %2")	relations-sv.txt 276-276
(format tg meetsTemporally "%1 %n ay sumali sa %2")	relations-tg.txt 356-356
(termFormat ChineseLanguage meetsTemporally "在时间上接着")	chinese_format.kif 436-436
(termFormat ChineseLanguage meetsTemporally "短暂相遇")	domainEnglishFormat.kif 36952-36952
(termFormat ChineseTraditionalLanguage meetsTemporally "短暫相遇")	domainEnglishFormat.kif 36951-36951
(termFormat EnglishLanguage meetsTemporally "meets temporally")	domainEnglishFormat.kif 36950-36950

antecedent

(=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK1 Week) (instance ?WEEK2 Week) (temporalPart ?DAY1 ?WEEK1) (temporalPart ?DAY2 ?WEEK2) (meetsTemporally ?WEEK1 ?WEEK2)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9371-9380	時間間隔は日曜日の instance では %n 時間間隔は月曜日の instance では %n 時間間隔は週の instance では %n 時間間隔は週の instance では %n 時間間隔は時間間隔の part では %n 時間間隔は時間間隔の part では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?Drawing DrawingACheck) (patient ?Drawing ?Check) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Drawing) ?DrawingTime) (equal (WhenFn ?Processing) ?ProcessingTime) (meetsTemporally ?DrawingTime ?Time) (meetsTemporally ?Time ?ProcessingTime) (duration ?Time (MeasureFn ?Duration MonthDuration))) (lessThan ?Duration 6))	FinancialOntology.kif 155-166	工程は DrawingACheck の instance では %n エンティティーは工程の patient では %n 工程は ProcessingACheck の instance では %n エンティティーは工程の patient では %n 工程の time の existence は工程Time と equal では %n 工程の time の existence は工程Time と equal では %n 工程Time は時間間隔に meets %n{ない} 時間間隔は工程Time に meets %n{ない} 時間間隔の duration は実数の MonthDuration(s) では %n 実数は 6 より less では %n
(=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?ES ?Y) (instance ?Y Year)) (during ?L ?Y))	Media.kif 437-444	時間間隔は EasterSunday の instance では %n 時間間隔は Lent の instance では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は年の instance では %n 時間間隔は時間間隔の during に takes %n{ない}
(=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?L ?Y) (instance ?Y Year)) (during ?ES ?Y))	Media.kif 446-453	時間間隔は EasterSunday の instance では %n 時間間隔は Lent の instance では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は年の instance では %n 時間間隔は時間間隔の during に takes %n{ない}
(=> (and (instance ?MONTH1 (MonthFn December ?YEAR1)) (instance ?MONTH2 (MonthFn January ?YEAR2)) (instance ?Y1 ?YEAR1) (instance ?Y2 ?YEAR2) (meetsTemporally ?Y1 ?Y2)) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9271-9278	時間間隔は 12月 month 目の instance では %n 時間間隔は 1月 month 目の instance では %n 時間間隔は年の instance では %n 時間間隔は年の instance では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T1 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T2 ?YEAR))	Media.kif 387-394	時間間隔は Advent の instance では %n 時間間隔は ChristmasDay の instance では %n 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は年の instance では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔の during に takes %n{ない}
(=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T2 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T1 ?YEAR))	Media.kif 396-403	時間間隔は Advent の instance では %n 時間間隔は ChristmasDay の instance では %n 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は年の instance では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔の during に takes %n{ない}
(=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (meetsTemporally ?T1 ?T2)) (exists (?YEAR) (and (instance ?YEAR Year) (during ?T1 ?YEAR) (during ?T2 ?YEAR))))	Media.kif 376-385	時間間隔は Advent の instance では %n 時間間隔は ChristmasDay の instance では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔時間間隔は年の instance では %n 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は時間間隔の during に takes %n{ない}
(=> (and (not (holdsDuring ?T1 (attribute ?H Concussion))) (holdsDuring ?T2 (attribute ?H Concussion)) (meetsTemporally ?T1 ?T2)) (modalAttribute (holdsDuring (BeginFn ?T2) (attribute ?H Unconscious)) Likely))	Medicine.kif 1314-1326	Concussion はエンティティーの attribute では %n は時間間隔の during hold ない Concussion はエンティティーの attribute では %n は時間間隔の during holds %n{ない} 時間間隔は時間間隔に meets %n{ない} ステートメント無意識はエンティティーの attribute では %n は時間間隔の beginning の during holds %n{ない} には Likely の modal force がある
(=> (and (startupTimeDelay ?Application ?Delay) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Application) (equal (WhenFn ?Process1) ?Time1) (instance ?Process2 ComputerProcess) (equal (WhenFn ?Process2) ?Time2) (meetsTemporally ?Time1 ?Time) (meetsTemporally ?Time ?Time2)) (duration ?Time ?Delay))	QoSontology.kif 766-776	startupTimeDelay コンピュータープログラム and 時間分 ComputerProcess は ComputerProcess の instance では %n programRunning ComputerProcess and コンピュータープログラム ComputerProcess の time の existence は時間間隔と equal では %n 物理は ComputerProcess の instance では %n 物理の time の existence は時間間隔と equal では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔に meets %n{ない} 時間間隔の duration は時間分では %n
(=> (meetsTemporally ?INTERVAL1 ?INTERVAL2) (equal (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)))	Merge.kif 8383-8387	時間間隔は時間間隔に meets %n{ない} 時間間隔の end は時間間隔の beginning と equal では %n
(=> (meetsTemporally ?T1 ?T2) (not (exists (?T3) (and (instance ?T3 TimeInterval) (temporalPart ?T3 ?T1) (temporalPart ?T3 ?T2)))))	Merge.kif 8395-8402	時間間隔は時間間隔に meets %n{ない} 時間位置時間位置は時間間隔の instance では %n 時間位置は時間間隔の part では %n 時間位置は時間間隔の part では %n

consequent

(=> (and (attribute ?X CommunalAttribute) (instance ?X Table) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople) (eventLocated ?E1 ?X)) (modalAttribute (exists (?GRP2 ?E2 ?X2) (and (instance ?E2 Eating) (agent ?E2 ?GRP2) (not (equal ?GRP1 ?GRP2)) (instance ?GRP2 GroupOfPeople) (eventLocated ?E2 ?X2) (meetsTemporally (WhenFn ?E1) (WhenFn ?E2)) (equal ?X ?X2))) Possibility))	Dining.kif 1207-1224	CommunalAttribute はオブジェクトの attribute では %n オブジェクトは Table の instance では %n 工程は摂食の instance では %n AutonomousAgent は工程の agent では %n AutonomousAgent は GroupOfPeople の instance では %n eventLocated 工程 and オブジェクトステートメントエンティティーエンティティー and オブジェクト2 エンティティーは摂食の instance では %n エンティティーはエンティティーの agent では %n AutonomousAgent はエンティティーと equal ではエンティティーは GroupOfPeople の instance では %n eventLocated エンティティー and オブジェクト2 工程の time の existence はエンティティーの time の existence に meets %n{ない} オブジェクトはオブジェクト2 と equal では %n には Possibility の modal force がある
(=> (and (holdsDuring ?TIME (attribute ?ORG Larval)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (meetsTemporally ?BW ?TIME))	Merge.kif 18270-18276	Larval は AutonomousAgent の attribute では %n は時間間隔の during holds %n{ない} 工程は出生の instance では %n 時間間隔は工程の time の existence と equal では %n AutonomousAgent が工程を experiences %n{ない} 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?D Dodging) (agent ?D ?A) (equal ?DT (WhenFn ?D))) (hasPurpose ?D (not (exists (?I) (and (or (meetsTemporally ?DT (WhenFn ?I)) (overlapsTemporally ?DT (WhenFn ?I))) (instance ?I Impacting) (patient ?I ?A))))))	Mid-level-ontology.kif 443-456	工程は Dodging の instance では %n AutonomousAgent は工程の agent では %n 工程T は工程の time の existence と equal では %n 工程はエンティティー工程T はエンティティーの time の existence に meets %n{ない} エンティティーの time の existence は工程T と overlaps %n{dない} エンティティーは衝撃の instance では %n AutonomousAgent はエンティティーの patient では %n の目的 %n{ない}
(=> (and (instance ?DAY1 (DayFn ?NUMBER1 ?MONTH)) (instance ?DAY2 (DayFn ?NUMBER2 ?MONTH)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 8653-8658	時間間隔は正の整数 day 目の instance では %n 時間間隔は正の整数 day 目の instance では %n ( 正の整数 + 正の整数) は 1 と equal では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9349-9356	時間間隔は金曜日の instance では %n 時間間隔は土曜日の instance では %n 時間位置は週の instance では %n 時間間隔は時間位置の part では %n 時間間隔は時間位置の part では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9297-9304	時間間隔は月曜日の instance では %n 時間間隔は火曜日の instance では %n 時間位置は週の instance では %n 時間間隔は時間位置の part では %n 時間間隔は時間位置の part では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9362-9369	時間間隔は土曜日の instance では %n 時間間隔は日曜日の instance では %n 時間位置は週の instance では %n 時間間隔は時間位置の part では %n 時間間隔は時間位置の part では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK1 Week) (instance ?WEEK2 Week) (temporalPart ?DAY1 ?WEEK1) (temporalPart ?DAY2 ?WEEK2) (meetsTemporally ?WEEK1 ?WEEK2)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9371-9380	時間間隔は日曜日の instance では %n 時間間隔は月曜日の instance では %n 時間間隔は週の instance では %n 時間間隔は週の instance では %n 時間間隔は時間間隔の part では %n 時間間隔は時間間隔の part では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9336-9343	時間間隔は木曜日の instance では %n 時間間隔は金曜日の instance では %n 時間位置は週の instance では %n 時間間隔は時間位置の part では %n 時間間隔は時間位置の part では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9310-9317	時間間隔は火曜日の instance では %n 時間間隔は水曜日の instance では %n 時間位置は週の instance では %n 時間間隔は時間位置の part では %n 時間間隔は時間位置の part では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9323-9330	時間間隔は水曜日の instance では %n 時間間隔は木曜日の instance では %n 時間位置は週の instance では %n 時間間隔は時間位置の part では %n 時間間隔は時間位置の part では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?DISCOVER Discovering) (patient ?DISCOVER ?OBJ)) (exists (?PURSUE) (and (instance ?PURSUE Pursuing) (meetsTemporally (WhenFn ?PURSUE) (WhenFn ?DISCOVER)))))	Merge.kif 12024-12031	工程は Discovering の instance では %n エンティティーは工程の patient では %n 物理物理は追求の instance では %n 物理の time の existence は工程の time の existence に meets %n{ない}
(=> (and (instance ?Downtick Downtick) (patient ?Downtick ?Stock) (equal (WhenFn ?Downtick) ?Time1) (instance ?U UnitOfCurrency) (price ?Stock (MeasureFn ?Price1 ?U) ?Time1)) (exists (?Transaction ?Time2 ?Price2) (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock) (equal (WhenFn ?Transaction) ?Time2) (meetsTemporally ?Time2 ?Time1) (price ?Stock (MeasureFn ?Price2 ?U) ?Time2) (greaterThan ?Price2 ?Price1))))	FinancialOntology.kif 3234-3250	工程は Downtick の instance では %n 物理は工程の patient では %n 工程の time の existence は AutonomousAgent と equal では %n 測定単位は UnitOfCurrency の instance では %n price 物理, 実数の測定単位(s) and AutonomousAgent 工程 AutonomousAgent and 実数工程は StockMarketTransaction の instance では %n 物理は工程の patient では %n 工程の time の existence は AutonomousAgent と equal では %n AutonomousAgent は AutonomousAgent に meets %n{ない} price 物理, 実数の測定単位(s) and AutonomousAgent 実数は実数より greater では　%n
(=> (and (instance ?ESCAPE Escaping) (agent ?ESCAPE ?AGENT)) (exists (?CONFINE) (and (instance ?CONFINE Confining) (patient ?CONFINE ?AGENT) (meetsTemporally (WhenFn ?CONFINE) (WhenFn ?ESCAPE)))))	Mid-level-ontology.kif 17571-17579	工程は Escaping の instance では %n AutonomousAgent は工程の agent では %n 工程工程は閉じ込めの instance では %n AutonomousAgent は工程の patient では %n 工程の time の existence は工程の time の existence に meets %n{ない}
(=> (and (instance ?EVE Evening) (instance ?AFT Afternoon) (instance ?D Day) (during ?EVE ?D) (during ?AFT ?D)) (meetsTemporally ?AFT ?EVE))	Merge.kif 8972-8979	時間間隔は Evening の instance では %n 時間間隔は Afternoon の instance では %n 時間間隔は日の instance では %n 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は時間間隔の during に takes %n{ない} 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?FL FlashingLight) (origin ?FL ?L)) (exists (?I1 ?T2 ?I3) (and (instance ?I1 RadiatingLight) (instance ?T2 TimeInterval) (instance ?I3 RadiatingLight) (meetsTemporally (WhenFn ?I1) ?I2) (meetsTemporally ?I2 (WhenFn ?I3)) (not (exists (?I2) (and (instance ?I2 RadiatingLight) (origin ?I2 ?L) (during (WhenFn ?I2) ?T2)))) (subProcess ?I1 ?FL) (subProcess ?I3 ?FL))))	Mid-level-ontology.kif 636-654	工程は FlashingLight の instance では %n 工程はオブジェクトから originates %n{ない} 工程時間間隔 and 工程工程は放射光の instance では %n 時間間隔は時間間隔の instance では %n 工程は放射光の instance では %n 工程の time の existence は時間間隔に meets %n{ない} 時間間隔は工程の time の existence に meets %n{ない} 時間間隔時間間隔は放射光の instance では %n 時間間隔はオブジェクトから originates %n{ない} 時間間隔の time の existence は時間間隔の during に takes %n{ない} 工程は工程% の subprocess では %n 工程は工程% の subprocess では %n
(=> (and (instance ?HOUR1 (HourFn ?NUMBER1 ?DAY)) (instance ?HOUR2 (HourFn ?NUMBER2 ?DAY)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?HOUR1 ?HOUR2))	Merge.kif 8679-8684	時間間隔は非負整数 hour 目の instance では %n 時間間隔は非負整数 hour 目の instance では %n ( 非負整数 + 非負整数) は 1 と equal では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?MINUTE1 (MinuteFn ?NUMBER1 ?HOUR)) (instance ?MINUTE2 (MinuteFn ?NUMBER2 ?HOUR)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?MINUTE1 ?MINUTE2))	Merge.kif 8706-8711	時間間隔は非負整数 minute 目の instance では %n 時間間隔は非負整数 minute 目の instance では %n ( 非負整数 + 非負整数) は 1 と equal では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?MONTH1 (MonthFn April ?YEAR)) (instance ?MONTH2 (MonthFn May ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9158-9162	時間間隔は 4月 month 目の instance では %n 時間間隔は 5月 month 目の instance では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?MONTH1 (MonthFn August ?YEAR)) (instance ?MONTH2 (MonthFn September ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9214-9218	時間間隔は 8月 month 目の instance では %n 時間間隔は 9月 month 目の instance では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?MONTH1 (MonthFn December ?YEAR1)) (instance ?MONTH2 (MonthFn January ?YEAR2)) (instance ?Y1 ?YEAR1) (instance ?Y2 ?YEAR2) (meetsTemporally ?Y1 ?Y2)) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9271-9278	時間間隔は 12月 month 目の instance では %n 時間間隔は 1月 month 目の instance では %n 時間間隔は年の instance では %n 時間間隔は年の instance では %n 時間間隔は時間間隔に meets %n{ない} 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?MONTH1 (MonthFn February ?YEAR)) (instance ?MONTH2 (MonthFn March ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9130-9134	時間間隔は 2月 month 目の instance では %n 時間間隔は 3月 month 目の instance では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?MONTH1 (MonthFn January ?YEAR)) (instance ?MONTH2 (MonthFn February ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9106-9110	時間間隔は 1月 month 目の instance では %n 時間間隔は 2月 month 目の instance では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?MONTH1 (MonthFn July ?YEAR)) (instance ?MONTH2 (MonthFn August ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9200-9204	時間間隔は 7月 month 目の instance では %n 時間間隔は 8月 month 目の instance では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (instance ?MONTH1 (MonthFn June ?YEAR)) (instance ?MONTH2 (MonthFn July ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9186-9190	時間間隔は 6月 month 目の instance では %n 時間間隔は 7月 month 目の instance では %n 時間間隔は時間間隔に meets %n{ない}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: