Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  meetsTemporally

 Sigma KEE - meetsTemporally
meetsTemporally

appearance as argument number 1
-------------------------


(instance meetsTemporally BinaryPredicate) Merge.kif 8523-8523 meets temporally is an instance of binary predicate
(instance meetsTemporally TemporalRelation) Merge.kif 8524-8524 meets temporally is an instance of temporal relation
(instance meetsTemporally AsymmetricRelation) Merge.kif 8525-8525 meets temporally is an instance of asymmetric relation
(instance meetsTemporally IntransitiveRelation) Merge.kif 8526-8526 meets temporally is an instance of intransitive relation
(instance meetsTemporally TotalValuedRelation) Merge.kif 8527-8527 meets temporally is an instance of total valued relation
(domain meetsTemporally 1 TimeInterval) Merge.kif 8528-8528 The number 1 argument of meets temporally is an instance of timeframe
(domain meetsTemporally 2 TimeInterval) Merge.kif 8529-8529 The number 2 argument of meets temporally is an instance of timeframe
(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 8531-8533 The number 2 argument of meets temporally is an instance of timeframe

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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners