Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| meetsTemporally |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage meetsTemporally "meets temporally") | domainEnglishFormat.kif 36923-36923 | |
| (termFormat ChineseTraditionalLanguage meetsTemporally "短暫相遇") | domainEnglishFormat.kif 36924-36924 | |
| (termFormat ChineseLanguage meetsTemporally "短暂相遇") | domainEnglishFormat.kif 36925-36925 | |
| (format EnglishLanguage meetsTemporally "%1 %n{doesn't} meet%p{s} %2") | english_format.kif 441-441 |
| antecedent |
|
|
| (=> (meetsTemporally ?INTERVAL1 ?INTERVAL2) (equal (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2))) |
Merge.kif 8535-8539 | If X meets Y, then equal the end of X and the beginning of Y |
| (=> (meetsTemporally ?T1 ?T2) (not (exists (?T3) (and (instance ?T3 TimeInterval) (temporalPart ?T3 ?T1) (temporalPart ?T3 ?T2))))) |
Merge.kif 8547-8554 | If X meets Y, then there doesn't exist Z such that Z is an instance of timeframe, Z is a part of X, and Z is a part of Y |
| (=> (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 9423-9430 | If X is an instance of the month December, Y is an instance of the month January, Z is an instance of W, V is an instance of U, and Z meets V, then X meets Y |
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK1 Week) (instance ?WEEK2 Week) (temporalPart ?DAY1 ?WEEK1) (temporalPart ?DAY2 ?WEEK2) (meetsTemporally ?WEEK1 ?WEEK2)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9532-9541 | If All of the following hold: (1) X is an instance of Saturday (2) Y is an instance of Sunday (3) Z is an instance of week (4) W is an instance of week (5) X is a part of Z (6) Y is a part of W (7) Z meets W, then X meets Y |
| (=> (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 157-168 | If All of the following hold: (1) X is an instance of drawing a check (2) Y is a patient of X (3) Z is an instance of processing a check (4) Y is a patient of Z (5) equal the time of existence of X and W (6) equal the time of existence of Z and V (7) W meets U (8) U meets V (9) duration of U is T month duration(s), then T is less than 6 |
| (=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (meetsTemporally ?T1 ?T2)) (exists (?YEAR) (and (instance ?YEAR Year) (during ?T1 ?YEAR) (during ?T2 ?YEAR)))) |
Media.kif 370-379 | If X is an instance of advent, Y is an instance of Christmas day, and X meets Y, then there exists Z such that Z is an instance of year, X takes place during Z, and Y takes place during Z |
| (=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T1 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T2 ?YEAR)) |
Media.kif 381-388 | If X is an instance of advent, Y is an instance of Christmas day, X takes place during Z, Z is an instance of year, and X meets Y, then Y takes place during Z |
| (=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T2 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T1 ?YEAR)) |
Media.kif 390-397 | If X is an instance of advent, Y is an instance of Christmas day, Y takes place during Z, Z is an instance of year, and X meets Y, then X takes place during Z |
| (=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?ES ?Y) (instance ?Y Year)) (during ?L ?Y)) |
Media.kif 431-438 | If X is an instance of Easter sunday, Y is an instance of lent, Y meets X, X takes place during Z, and Z is an instance of year, then Y takes place during Z |
| (=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?L ?Y) (instance ?Y Year)) (during ?ES ?Y)) |
Media.kif 440-447 | If X is an instance of Easter sunday, Y is an instance of lent, Y meets X, Y takes place during Z, and Z is an instance of year, then X takes place during Z |
| (=> (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 1295-1307 | If mild traumatic brain injury is not an attribute of X doesn't hold during Y, mild traumatic brain injury is an attribute of X holds during Z, and Y meets Z, then the statement unconscious is an attribute of X holds during the beginning of Z has the modal force of likely |
| (=> (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 755-765 | If All of the following hold: (1) the startup time delay of X is Y (2) Z is an instance of computer process (3) X is a program running of Z (4) equal the time of existence of Z and W (5) V is an instance of computer process (6) equal the time of existence of V and U (7) W meets T (8) T meets U, then duration of T is Y |
| consequent |
|
|
| (=> (equal (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (meetsTemporally ?INTERVAL1 ?INTERVAL2)) |
Merge.kif 8541-8545 | If equal the end of X and the beginning of Y, then X meets Y |
| (=> (instance ?INTERVAL TimeInterval) (meetsTemporally (PastFn ?INTERVAL) ?INTERVAL)) |
Merge.kif 8688-8690 | If X is an instance of timeframe, then before X meets X |
| (=> (instance ?INTERVAL TimeInterval) (meetsTemporally ?INTERVAL (FutureFn ?INTERVAL))) |
Merge.kif 8719-8721 | If X is an instance of timeframe, then X meets after X |
| (=> (and (instance ?DAY1 (DayFn ?NUMBER1 ?MONTH)) (instance ?DAY2 (DayFn ?NUMBER2 ?MONTH)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 8805-8810 | If X is an instance of the day Y of month Z, W is an instance of the day V of month Z, and equal (V and Y) and 1, then X meets W |
| (=> (and (instance ?HOUR1 (HourFn ?NUMBER1 ?DAY)) (instance ?HOUR2 (HourFn ?NUMBER2 ?DAY)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?HOUR1 ?HOUR2)) |
Merge.kif 8831-8836 | If X is an instance of the hour Y, Z is an instance of the hour W, and equal (W and Y) and 1, then X meets Z |
| (=> (and (instance ?MINUTE1 (MinuteFn ?NUMBER1 ?HOUR)) (instance ?MINUTE2 (MinuteFn ?NUMBER2 ?HOUR)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?MINUTE1 ?MINUTE2)) |
Merge.kif 8858-8863 | If X is an instance of the minute Y, Z is an instance of the minute W, and equal (W and Y) and 1, then X meets Z |
| (=> (and (instance ?SECOND1 (SecondFn ?NUMBER1 ?MINUTE)) (instance ?SECOND2 (SecondFn ?NUMBER2 ?MINUTE)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?SECOND1 ?SECOND2)) |
Merge.kif 8885-8890 | If X is an instance of the second Y, Z is an instance of the second W, and equal (W and Y) and 1, then X meets Z |
| (=> (and (instance ?Y1 (YearFn ?N1)) (instance ?Y2 (YearFn ?N2)) (equal (SubtractionFn ?N2 ?N1) 1)) (meetsTemporally ?Y1 ?Y2)) |
Merge.kif 8950-8955 | If X is an instance of the year Y, Z is an instance of the year W, and equal (W and Y) and 1, then X meets Z |
| (=> (instance ?DAY DayTime) (exists (?NIGHT1 ?NIGHT2) (and (instance ?NIGHT1 NightTime) (instance ?NIGHT2 NightTime) (meetsTemporally ?DAY ?NIGHT1) (meetsTemporally ?NIGHT2 ?DAY)))) |
Merge.kif 9072-9079 | If X is an instance of day time, then there exist Y, Z such that Y is an instance of night time, Z is an instance of night time, X meets Y, and Z meets X |
| (=> (instance ?NIGHT NightTime) (exists (?DAY1 ?DAY2) (and (instance ?DAY1 DayTime) (instance ?DAY2 DayTime) (meetsTemporally ?NIGHT ?DAY1) (meetsTemporally ?DAY2 ?NIGHT)))) |
Merge.kif 9094-9101 | If X is an instance of night time, then there exist Y, Z such that Y is an instance of day time, Z is an instance of day time, X meets Y, and Z meets X |
| (=> (and (instance ?EVE Evening) (instance ?AFT Afternoon) (instance ?D Day) (during ?EVE ?D) (during ?AFT ?D)) (meetsTemporally ?AFT ?EVE)) |
Merge.kif 9124-9131 | If X is an instance of evening, Y is an instance of afternoon, Z is an instance of day, X takes place during Z, and Y takes place during Z, then Y meets X |
| (=> (and (instance ?MONTH1 (MonthFn January ?YEAR)) (instance ?MONTH2 (MonthFn February ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9258-9262 | If X is an instance of the month January and Y is an instance of the month February, then X meets Y |
| (=> (and (instance ?MONTH1 (MonthFn February ?YEAR)) (instance ?MONTH2 (MonthFn March ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9282-9286 | If X is an instance of the month February and Y is an instance of the month March, then X meets Y |
| (=> (and (instance ?MONTH1 (MonthFn March ?YEAR)) (instance ?MONTH2 (MonthFn April ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9296-9300 | If X is an instance of the month March and Y is an instance of the month April, then X meets Y |
| (=> (and (instance ?MONTH1 (MonthFn April ?YEAR)) (instance ?MONTH2 (MonthFn May ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9310-9314 | If X is an instance of the month April and Y is an instance of the month May, then X meets Y |
| (=> (and (instance ?MONTH1 (MonthFn May ?YEAR)) (instance ?MONTH2 (MonthFn June ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9324-9328 | If X is an instance of the month May and Y is an instance of the month June, then X meets Y |
| (=> (and (instance ?MONTH1 (MonthFn June ?YEAR)) (instance ?MONTH2 (MonthFn July ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9338-9342 | If X is an instance of the month June and Y is an instance of the month July, then X meets Y |
| (=> (and (instance ?MONTH1 (MonthFn July ?YEAR)) (instance ?MONTH2 (MonthFn August ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9352-9356 | If X is an instance of the month July and Y is an instance of the month August, then X meets Y |
| (=> (and (instance ?MONTH1 (MonthFn August ?YEAR)) (instance ?MONTH2 (MonthFn September ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9366-9370 | If X is an instance of the month August and Y is an instance of the month September, then X meets Y |
| (=> (and (instance ?MONTH1 (MonthFn September ?YEAR)) (instance ?MONTH2 (MonthFn October ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9381-9385 | If X is an instance of the month September and Y is an instance of the month October, then X meets Y |
| (=> (and (instance ?MONTH1 (MonthFn October ?YEAR)) (instance ?MONTH2 (MonthFn November ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9395-9399 | If X is an instance of the month October and Y is an instance of the month November, then X meets Y |
| (=> (and (instance ?MONTH1 (MonthFn November ?YEAR)) (instance ?MONTH2 (MonthFn December ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9409-9413 | If X is an instance of the month November and Y is an instance of the month December, then X meets Y |
| (=> (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 9423-9430 | If X is an instance of the month December, Y is an instance of the month January, Z is an instance of W, V is an instance of U, and Z meets V, then X meets Y |
| (=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9445-9452 | If X is an instance of Sunday, Y is an instance of Monday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| (=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9458-9465 | If X is an instance of Monday, Y is an instance of Tuesday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|