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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - meetsTemporally
meetsTemporally

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


s__documentation(s__meetsTemporally__m,s__ChineseLanguage,'"(meetsTemporally ?INTERVAL1 ?INTERVAL2) 的意思是 TimeInterval ?INTERVAL1 的终点是 TimeInterval ?INTERVAL2 起点。"')

 chinese_format.kif 2722-2723
s__documentation(s__meetsTemporally__m,s__EnglishLanguage,'"(meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the TimeInterval ?INTERVAL1 is the initial point of the TimeInterval ?INTERVAL2."')

 Merge.kif 7961-7963
s__domain(s__meetsTemporally__m,n__1,s__TimeInterval)

 Merge.kif 7958-7958 The number 1 argument of meets temporally is an instance of time interval
s__domain(s__meetsTemporally__m,n__2,s__TimeInterval)

 Merge.kif 7959-7959 The number 2 argument of meets temporally is an instance of time interval
s__instance(s__meetsTemporally__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

 Merge.kif 7955-7955 meets temporally is an instance of asymmetric relation
s__instance(s__meetsTemporally__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

 Merge.kif 7953-7953 meets temporally is an instance of binary predicate
s__instance(s__meetsTemporally__m,s__IntransitiveRelation)

s__instance(s__IntransitiveRelation,s__SetOrClass)

 Merge.kif 7956-7956 meets temporally is an instance of intransitive relation
s__instance(s__TemporalRelation,s__SetOrClass)

s__instance(s__meetsTemporally__m,s__TemporalRelation)

 Merge.kif 7954-7954 meets temporally is an instance of temporal relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__meetsTemporally__m,s__TotalValuedRelation)

 Merge.kif 7957-7957 meets temporally is an instance of total valued relation

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__meetsTemporally__m,'"%1 %n{doesnt} 接着 %2"')

 chinese_format.kif 435-435
s__format(s__EnglishLanguage,s__meetsTemporally__m,'"%1 %n{doesnt} meet%p{s} %2"')

 english_format.kif 444-444
s__termFormat(s__ChineseLanguage,s__meetsTemporally__m,'"在时间上接着"')

 chinese_format.kif 436-436
s__termFormat(s__ChineseLanguage,s__meetsTemporally__m,'"短暂相遇"')

 domainEnglishFormat.kif 36912-36912
s__termFormat(s__ChineseTraditionalLanguage,s__meetsTemporally__m,'"短暫相遇"')

 domainEnglishFormat.kif 36911-36911
s__termFormat(s__EnglishLanguage,s__meetsTemporally__m,'"meets temporally"')

 domainEnglishFormat.kif 36910-36910

antecedent
-------------------------


( ! [V__INTERVAL2,V__INTERVAL1] :
   (((s__instance(V__INTERVAL2,s__TimeInterval) &
         s__instance(V__INTERVAL1,s__TimeInterval))
       =>
       (((s__meetsTemporally(V__INTERVAL1,V__INTERVAL2)
           =>
           (s__EndFn(V__INTERVAL1)
           = s__BeginFn(V__INTERVAL2)))
     &
     ((s__EndFn(V__INTERVAL1)
       = s__BeginFn(V__INTERVAL2))
   =>
   s__meetsTemporally(V__INTERVAL1,V__INTERVAL2)))))
)
)

 Merge.kif 7965-7969 A time interval meets another time interval if and only if the end of the time interval is equal to the beginning of the other time interval
( ! [V__DAY2,V__DAY1,V__WEEK2,V__WEEK1] :
   (((s__instance(V__DAY1,s__Sunday) &
         s__instance(V__DAY2,s__Monday) &
         s__instance(V__WEEK1,s__Week) &
         s__instance(V__WEEK2,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK1)
       &
       s__temporalPart(V__DAY2,V__WEEK2)
     &
     s__meetsTemporally(V__WEEK1,V__WEEK2))
=>
(s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

 Merge.kif 8915-8924
( ! [V__DrawingTime,V__Time,V__Duration,V__Processing,V__Drawing,V__ProcessingTime,V__Check] :
   (((s__instance(V__DrawingTime,s__TimeInterval) &
         s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Duration,s__TimeDuration) &
         s__instance(V__ProcessingTime,s__TimeInterval))
       =>
       (((s__instance(V__Drawing,s__DrawingACheck) &
             s__patient(V__Drawing,V__Check)
           &
           s__instance(V__Processing,s__ProcessingACheck) &
           s__patient(V__Processing,V__Check)
         &
         (s__WhenFn(V__Drawing)
         = V__DrawingTime)
       &
       (s__WhenFn(V__Processing)
       = V__ProcessingTime)
     &
     s__meetsTemporally(V__DrawingTime,V__Time)
   &
   s__meetsTemporally(V__Time,V__ProcessingTime)
&
s__duration(V__Time,V__Duration))
=>
(s__lessThan(V__Duration,s__MeasureFn(n__6,s__MonthDuration))))))
)
)

 FinancialOntology.kif 155-166
( ! [V__Y,V__ES,V__L] :
   (((s__instance(V__ES,s__EasterSunday) &
         s__instance(V__L,s__Lent) &
         s__meetsTemporally(V__L,V__ES)
       &
       s__during(V__ES,V__Y)
     &
     s__instance(V__Y,s__Year))
   =>
   (s__during(V__L,V__Y)))
)
)

 Media.kif 437-444
( ! [V__Y,V__ES,V__L] :
   (((s__instance(V__ES,s__EasterSunday) &
         s__instance(V__L,s__Lent) &
         s__meetsTemporally(V__L,V__ES)
       &
       s__during(V__L,V__Y)
     &
     s__instance(V__Y,s__Year))
   =>
   (s__during(V__ES,V__Y)))
)
)

 Media.kif 446-453
( ! [V__YEAR2,V__YEAR1,V__Y1,V__Y2,V__MONTH2,V__MONTH1] :
   (((s__instance(V__YEAR2,s__Class) &
         s__subclass(V__YEAR2,s__Year) &
         s__instance(V__YEAR1,s__Class) &
         s__subclass(V__YEAR1,s__Year) &
         s__instance(V__Y1,s__TimeInterval) &
         s__instance(V__Y2,s__TimeInterval) &
         s__instance(V__MONTH2,s__TimeInterval) &
         s__instance(V__MONTH1,s__TimeInterval))
       =>
       (((s__instance(V__MONTH1,s__MonthFn(s__December,V__YEAR1))
         &
         s__instance(V__MONTH2,s__MonthFn(s__January,V__YEAR2))
     &
     s__instance(V__Y1,V__YEAR1)
   &
   s__instance(V__Y2,V__YEAR2)
&
s__meetsTemporally(V__Y1,V__Y2))
=>
(s__meetsTemporally(V__MONTH1,V__MONTH2)))))
)
)

 Merge.kif 8815-8822
( ! [V__T1,V__T2,V__YEAR] :
   (((s__instance(V__T1,s__Advent) &
         s__instance(V__T2,s__ChristmasDay) &
         s__during(V__T1,V__YEAR)
       &
       s__instance(V__YEAR,s__Year) &
       s__meetsTemporally(V__T1,V__T2))
   =>
   (s__during(V__T2,V__YEAR)))
)
)

 Media.kif 387-394
( ! [V__T1,V__T2,V__YEAR] :
   (((s__instance(V__T1,s__Advent) &
         s__instance(V__T2,s__ChristmasDay) &
         s__during(V__T2,V__YEAR)
       &
       s__instance(V__YEAR,s__Year) &
       s__meetsTemporally(V__T1,V__T2))
   =>
   (s__during(V__T1,V__YEAR)))
)
)

 Media.kif 396-403
( ! [V__T1,V__T2] :
   (((s__instance(V__T1,s__Advent) &
         s__instance(V__T2,s__ChristmasDay) &
         s__meetsTemporally(V__T1,V__T2))
     =>
     (( ? [V__YEAR] :
         ((s__instance(V__YEAR,s__Year) &
             s__during(V__T1,V__YEAR)
           &
           s__during(V__T2,V__YEAR))))))
)
)

 Media.kif 376-385
( ! [V__Time,V__Application,V__Time2,V__Time1,V__Process1,V__Process2,V__Delay] :
   (((s__instance(V__Time,s__Physical) &
         s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Application,s__ComputerProgram) &
         s__instance(V__Time2,s__TimeInterval) &
         s__instance(V__Time1,s__TimeInterval) &
         s__instance(V__Delay,s__TimeDuration))
       =>
       (((s__startupTimeDelay(V__Application,V__Delay)
           &
           s__instance(V__Process1,s__ComputerProcess) &
           s__programRunning(V__Process1,V__Application)
         &
         (s__WhenFn(V__Process1)
         = V__Time1)
       &
       s__instance(V__Process2,s__ComputerProcess) &
       (s__WhenFn(V__Process2)
       = V__Time2)
     &
     s__meetsTemporally(V__Time1,V__Time)
   &
   s__meetsTemporally(V__Time,V__Time2))
=>
(s__measure(V__Time,V__Delay)))))
)
)

 QoSontology.kif 658-668

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 1160-1177
No TPTP formula. May not be expressible in strict first order. Merge.kif 17356-17362
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 421-434
( ! [V__NUMBER1,V__MONTH,V__DAY2,V__NUMBER2,V__DAY1] :
   (((s__instance(V__NUMBER1,s__PositiveInteger) &
         s__subclass(V__MONTH,s__Month) &
         s__instance(V__DAY2,s__TimeInterval) &
         s__instance(V__NUMBER2,s__PositiveInteger) &
         s__instance(V__DAY1,s__TimeInterval))
       =>
       (((s__instance(V__DAY1,s__DayFn(V__NUMBER1,V__MONTH))
         &
         s__instance(V__DAY2,s__DayFn(V__NUMBER2,V__MONTH))
     &
     (s__SubtractionFn(V__NUMBER2,V__NUMBER1)
     = n__1))
=>
(s__meetsTemporally(V__DAY1,V__DAY2)))))
)
)

 Merge.kif 8213-8218
( ! [V__DAY2,V__DAY1,V__WEEK] :
   (((s__instance(V__DAY1,s__Friday) &
         s__instance(V__DAY2,s__Saturday) &
         s__instance(V__WEEK,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK)
       &
       s__temporalPart(V__DAY2,V__WEEK))
   =>
   (s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

 Merge.kif 8893-8900
( ! [V__DAY2,V__DAY1,V__WEEK] :
   (((s__instance(V__DAY1,s__Monday) &
         s__instance(V__DAY2,s__Tuesday) &
         s__instance(V__WEEK,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK)
       &
       s__temporalPart(V__DAY2,V__WEEK))
   =>
   (s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

 Merge.kif 8841-8848
( ! [V__DAY2,V__DAY1,V__WEEK] :
   (((s__instance(V__DAY1,s__Saturday) &
         s__instance(V__DAY2,s__Sunday) &
         s__instance(V__WEEK,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK)
       &
       s__temporalPart(V__DAY2,V__WEEK))
   =>
   (s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

 Merge.kif 8906-8913
( ! [V__DAY2,V__DAY1,V__WEEK2,V__WEEK1] :
   (((s__instance(V__DAY1,s__Sunday) &
         s__instance(V__DAY2,s__Monday) &
         s__instance(V__WEEK1,s__Week) &
         s__instance(V__WEEK2,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK1)
       &
       s__temporalPart(V__DAY2,V__WEEK2)
     &
     s__meetsTemporally(V__WEEK1,V__WEEK2))
=>
(s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

 Merge.kif 8915-8924
( ! [V__DAY2,V__DAY1,V__WEEK] :
   (((s__instance(V__DAY1,s__Thursday) &
         s__instance(V__DAY2,s__Friday) &
         s__instance(V__WEEK,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK)
       &
       s__temporalPart(V__DAY2,V__WEEK))
   =>
   (s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

 Merge.kif 8880-8887
( ! [V__DAY2,V__DAY1,V__WEEK] :
   (((s__instance(V__DAY1,s__Tuesday) &
         s__instance(V__DAY2,s__Wednesday) &
         s__instance(V__WEEK,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK)
       &
       s__temporalPart(V__DAY2,V__WEEK))
   =>
   (s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

 Merge.kif 8854-8861
( ! [V__DAY2,V__DAY1,V__WEEK] :
   (((s__instance(V__DAY1,s__Wednesday) &
         s__instance(V__DAY2,s__Thursday) &
         s__instance(V__WEEK,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK)
       &
       s__temporalPart(V__DAY2,V__WEEK))
   =>
   (s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

 Merge.kif 8867-8874
( ! [V__OBJ,V__DISCOVER] :
   (((s__instance(V__DISCOVER,s__Discovering) &
         s__patient(V__DISCOVER,V__OBJ))
     =>
     (( ? [V__PURSUE] :
         ((s__instance(V__PURSUE,s__Pursuing) &
             s__meetsTemporally(s__WhenFn(V__PURSUE)
          ,s__WhenFn(V__DISCOVER)))))))
)
)

 Merge.kif 11411-11418
( ! [V__Price1,V__U,V__Time1,V__Price2,V__Stock,V__Downtick] :
   (((s__instance(V__Price1,s__RealNumber) &
         s__instance(V__Time1,s__Agent) &
         s__instance(V__Time1,s__TimeInterval) &
         s__instance(V__Price2,s__RealNumber) &
         s__instance(V__Stock,s__Physical))
       =>
       (((s__instance(V__Downtick,s__Downtick) &
             s__patient(V__Downtick,V__Stock)
           &
           (s__WhenFn(V__Downtick)
           = V__Time1)
         &
         s__instance(V__U,s__UnitOfCurrency) &
         s__price(V__Stock,s__MeasureFn(V__Price1,V__U)
      ,V__Time1))
   =>
   (( ? [V__Transaction, V__Time2] :
       ((s__instance(V__Time2,s__Agent) &
           s__instance(V__Time2,s__TimeInterval) &
           (s__instance(V__Transaction,s__StockMarketTransaction) &
             s__patient(V__Transaction,V__Stock)
           &
           (s__WhenFn(V__Transaction)
           = V__Time2)
         &
         s__meetsTemporally(V__Time2,V__Time1)
       &
       s__price(V__Stock,s__MeasureFn(V__Price2,V__U)
    ,V__Time2)
   &
   s__greaterThan(V__Price2,V__Price1)))))))))
)
)

 FinancialOntology.kif 3174-3190
( ! [V__AGENT,V__ESCAPE] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__ESCAPE,s__Escaping) &
             s__agent(V__ESCAPE,V__AGENT))
         =>
         (( ? [V__CONFINE] :
             ((s__instance(V__CONFINE,s__Confining) &
                 s__patient(V__CONFINE,V__AGENT)
               &
               s__meetsTemporally(s__WhenFn(V__CONFINE)
            ,s__WhenFn(V__ESCAPE)))))))))
)
)

 Mid-level-ontology.kif 15764-15772
( ! [V__D,V__EVE,V__AFT] :
   (((s__instance(V__EVE,s__Evening) &
         s__instance(V__AFT,s__Afternoon) &
         s__instance(V__D,s__Day) &
         s__during(V__EVE,V__D)
       &
       s__during(V__AFT,V__D))
   =>
   (s__meetsTemporally(V__AFT,V__EVE)))
)
)

 Merge.kif 8524-8531
( ! [V__DAY,V__NUMBER1,V__HOUR2,V__NUMBER2,V__HOUR1] :
   (((s__subclass(V__DAY,s__Day) &
         s__instance(V__NUMBER1,s__NonnegativeInteger) &
         s__instance(V__HOUR2,s__TimeInterval) &
         s__instance(V__NUMBER2,s__NonnegativeInteger) &
         s__instance(V__HOUR1,s__TimeInterval))
       =>
       (((s__instance(V__HOUR1,s__HourFn(V__NUMBER1,V__DAY))
         &
         s__instance(V__HOUR2,s__HourFn(V__NUMBER2,V__DAY))
     &
     (s__SubtractionFn(V__NUMBER2,V__NUMBER1)
     = n__1))
=>
(s__meetsTemporally(V__HOUR1,V__HOUR2)))))
)
)

 Merge.kif 8239-8244
( ! [V__MINUTE1,V__NUMBER1,V__MINUTE2,V__NUMBER2,V__HOUR] :
   (((s__instance(V__MINUTE1,s__TimeInterval) &
         s__instance(V__NUMBER1,s__NonnegativeInteger) &
         s__instance(V__MINUTE2,s__TimeInterval) &
         s__instance(V__NUMBER2,s__NonnegativeInteger) &
         s__subclass(V__HOUR,s__Hour))
       =>
       (((s__instance(V__MINUTE1,s__MinuteFn(V__NUMBER1,V__HOUR))
         &
         s__instance(V__MINUTE2,s__MinuteFn(V__NUMBER2,V__HOUR))
     &
     (s__SubtractionFn(V__NUMBER2,V__NUMBER1)
     = n__1))
=>
(s__meetsTemporally(V__MINUTE1,V__MINUTE2)))))
)
)

 Merge.kif 8266-8271
( ! [V__MONTH2,V__MONTH1,V__YEAR] :
   (((s__instance(V__MONTH2,s__TimeInterval) &
         s__instance(V__MONTH1,s__TimeInterval) &
         s__subclass(V__YEAR,s__Year))
       =>
       (((s__instance(V__MONTH1,s__MonthFn(s__April,V__YEAR))
         &
         s__instance(V__MONTH2,s__MonthFn(s__May,V__YEAR)))
   =>
   (s__meetsTemporally(V__MONTH1,V__MONTH2)))))
)
)

 Merge.kif 8702-8706
( ! [V__MONTH2,V__MONTH1,V__YEAR] :
   (((s__instance(V__MONTH2,s__TimeInterval) &
         s__instance(V__MONTH1,s__TimeInterval) &
         s__subclass(V__YEAR,s__Year))
       =>
       (((s__instance(V__MONTH1,s__MonthFn(s__August,V__YEAR))
         &
         s__instance(V__MONTH2,s__MonthFn(s__September,V__YEAR)))
   =>
   (s__meetsTemporally(V__MONTH1,V__MONTH2)))))
)
)

 Merge.kif 8758-8762
( ! [V__YEAR2,V__YEAR1,V__Y1,V__Y2,V__MONTH2,V__MONTH1] :
   (((s__instance(V__YEAR2,s__Class) &
         s__subclass(V__YEAR2,s__Year) &
         s__instance(V__YEAR1,s__Class) &
         s__subclass(V__YEAR1,s__Year) &
         s__instance(V__Y1,s__TimeInterval) &
         s__instance(V__Y2,s__TimeInterval) &
         s__instance(V__MONTH2,s__TimeInterval) &
         s__instance(V__MONTH1,s__TimeInterval))
       =>
       (((s__instance(V__MONTH1,s__MonthFn(s__December,V__YEAR1))
         &
         s__instance(V__MONTH2,s__MonthFn(s__January,V__YEAR2))
     &
     s__instance(V__Y1,V__YEAR1)
   &
   s__instance(V__Y2,V__YEAR2)
&
s__meetsTemporally(V__Y1,V__Y2))
=>
(s__meetsTemporally(V__MONTH1,V__MONTH2)))))
)
)

 Merge.kif 8815-8822
( ! [V__MONTH2,V__MONTH1,V__YEAR] :
   (((s__instance(V__MONTH2,s__TimeInterval) &
         s__instance(V__MONTH1,s__TimeInterval) &
         s__subclass(V__YEAR,s__Year))
       =>
       (((s__instance(V__MONTH1,s__MonthFn(s__February,V__YEAR))
         &
         s__instance(V__MONTH2,s__MonthFn(s__March,V__YEAR)))
   =>
   (s__meetsTemporally(V__MONTH1,V__MONTH2)))))
)
)

 Merge.kif 8674-8678
( ! [V__MONTH2,V__MONTH1,V__YEAR] :
   (((s__instance(V__MONTH2,s__TimeInterval) &
         s__instance(V__MONTH1,s__TimeInterval) &
         s__subclass(V__YEAR,s__Year))
       =>
       (((s__instance(V__MONTH1,s__MonthFn(s__January,V__YEAR))
         &
         s__instance(V__MONTH2,s__MonthFn(s__February,V__YEAR)))
   =>
   (s__meetsTemporally(V__MONTH1,V__MONTH2)))))
)
)

 Merge.kif 8650-8654
( ! [V__MONTH2,V__MONTH1,V__YEAR] :
   (((s__instance(V__MONTH2,s__TimeInterval) &
         s__instance(V__MONTH1,s__TimeInterval) &
         s__subclass(V__YEAR,s__Year))
       =>
       (((s__instance(V__MONTH1,s__MonthFn(s__July,V__YEAR))
         &
         s__instance(V__MONTH2,s__MonthFn(s__August,V__YEAR)))
   =>
   (s__meetsTemporally(V__MONTH1,V__MONTH2)))))
)
)

 Merge.kif 8744-8748
( ! [V__MONTH2,V__MONTH1,V__YEAR] :
   (((s__instance(V__MONTH2,s__TimeInterval) &
         s__instance(V__MONTH1,s__TimeInterval) &
         s__subclass(V__YEAR,s__Year))
       =>
       (((s__instance(V__MONTH1,s__MonthFn(s__June,V__YEAR))
         &
         s__instance(V__MONTH2,s__MonthFn(s__July,V__YEAR)))
   =>
   (s__meetsTemporally(V__MONTH1,V__MONTH2)))))
)
)

 Merge.kif 8730-8734
( ! [V__MONTH2,V__MONTH1,V__YEAR] :
   (((s__instance(V__MONTH2,s__TimeInterval) &
         s__instance(V__MONTH1,s__TimeInterval) &
         s__subclass(V__YEAR,s__Year))
       =>
       (((s__instance(V__MONTH1,s__MonthFn(s__March,V__YEAR))
         &
         s__instance(V__MONTH2,s__MonthFn(s__April,V__YEAR)))
   =>
   (s__meetsTemporally(V__MONTH1,V__MONTH2)))))
)
)

 Merge.kif 8688-8692

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