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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EndFn

Sigma KEE - EndFn
EndFn

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


s__documentation(s__EndFn__m,s__ChineseLanguage,'"这是一个 UnaryFunction,它把一个 TimeInterval 和 这个时段结束的 TimePoint联系起来。"')

chinese_format.kif 2699-2700
s__documentation(s__EndFn__m,s__EnglishLanguage,'"A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval ends."')

Merge.kif 7779-7780
s__domain(s__EndFn__m,n__1,s__TimeInterval)

Merge.kif 7776-7776 The number 1 argument of end is an instance of time interval
s__instance(s__EndFn__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__Class)

Merge.kif 7773-7773 End is an instance of temporal relation
s__instance(s__TotalValuedRelation,s__Class)

s__instance(s__EndFn__m,s__TotalValuedRelation)

Merge.kif 7775-7775 End is an instance of total valued relation
s__instance(s__UnaryFunction,s__Class)

s__instance(s__EndFn__m,s__UnaryFunction)

Merge.kif 7774-7774 End is an instance of unary function
s__range(s__EndFn__m,s__TimePoint)

Merge.kif 7777-7777 The range of end is an instance of time point

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


s__format(s__ChineseLanguage,s__EndFn__m,'"%1 的结束"')

chinese_format.kif 451-451
s__format(s__EnglishLanguage,s__EndFn__m,'"the end of %1"')

english_format.kif 460-460
s__termFormat(s__ChineseLanguage,s__EndFn__m,'"结束"')

domainEnglishFormat.kif 22035-22035
s__termFormat(s__ChineseLanguage,s__EndFn__m,'"结束函数"')

chinese_format.kif 452-452
s__termFormat(s__ChineseTraditionalLanguage,s__EndFn__m,'"結束"')

domainEnglishFormat.kif 22034-22034
s__termFormat(s__EnglishLanguage,s__EndFn__m,'"end"')

domainEnglishFormat.kif 22033-22033

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


( ! [V__AGENT,V__PROCESS,V__PROCESSSTART,V__AGENTEND] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__PROCESS,s__Process) &
         s__instance(V__PROCESSSTART,s__TimePoint) &
         s__instance(V__AGENTEND,s__TimePoint))
       =>
       ((((V__PROCESSSTART = s__BeginFn(s__WhenFn(V__PROCESS)))
         &
         (V__AGENTEND = s__EndFn(s__WhenFn(V__AGENT)))
     &
     s__benefits(V__PROCESS,V__AGENT))
=>
(s__before(V__PROCESSSTART,V__AGENTEND)))))
)
)

Mid-level-ontology.kif 22011-22016
( ! [V__AGENT,V__PROCESS,V__PROCESSSTART,V__AGENTEND] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__PROCESS,s__Process) &
         s__instance(V__PROCESSSTART,s__TimePoint) &
         s__instance(V__AGENTEND,s__TimePoint))
       =>
       ((((V__PROCESSSTART = s__BeginFn(s__WhenFn(V__PROCESS)))
         &
         (V__AGENTEND = s__EndFn(s__WhenFn(V__AGENT)))
     &
     s__suffers(V__PROCESS,V__AGENT))
=>
(s__before(V__PROCESSSTART,V__AGENTEND)))))
)
)

Mid-level-ontology.kif 28654-28663
No TPTP formula. May not be expressible in strict first order. Merge.kif 11794-11808
( ! [V__PAGE,V__ACCESSING,V__INTERVAL,V__REQUESTING,V__BROWSER,V__TRANSFER,V__SERVER] :
   (((s__instance(V__ACCESSING,s__AccessingWebPage) &
         s__instance(V__PAGE,s__WebPage) &
         s__instance(V__TRANSFER,s__DataTransfer) &
         s__instance(V__SERVER,s__Server) &
         s__instance(V__REQUESTING,s__Requesting) &
         s__instance(V__BROWSER,s__WebBrowser) &
         s__instance(V__INTERVAL,s__TimeInterval) &
         s__patient(V__ACCESSING,V__PAGE)
       &
       s__agent(V__REQUESTING,V__BROWSER)
     &
     s__destination(V__REQUESTING,V__SERVER)
   &
   s__patient(V__REQUESTING,V__PAGE)
&
s__origin(V__TRANSFER,V__SERVER)
&
s__destination(V__TRANSFER,V__BROWSER)
&
s__patient(V__TRANSFER,V__PAGE)
&
s__subProcess(V__TRANSFER,V__ACCESSING)
&
s__subProcess(V__REQUESTING,V__ACCESSING)
&
(s__EndFn(s__WhenFn(V__REQUESTING))
= s__BeginFn(V__INTERVAL))
&
(s__EndFn(s__WhenFn(V__TRANSFER))
= s__EndFn(V__INTERVAL)))
=>
((s__SiteSpeedFn(V__ACCESSING)
= V__INTERVAL)))
)
)

UXExperimentalTerms.kif 3966-3991
( ! [V__CD,V__DateOfWithdrawal,V__Withdrawal,V__MaturityDate] :
   (((s__instance(V__DateOfWithdrawal,s__Day) &
         s__instance(V__MaturityDate,s__Day))
       =>
       (((s__instance(V__CD,s__CertificateOfDeposit) &
             s__maturityDate(V__CD,V__MaturityDate)
           &
           s__instance(V__Withdrawal,s__Withdrawal) &
           s__origin(V__Withdrawal,s__CurrencyFn(V__CD))
       &
       s__date(V__Withdrawal,V__DateOfWithdrawal)
     &
     s__before(s__EndFn(V__DateOfWithdrawal)
  ,s__BeginFn(V__MaturityDate)))
=>
(( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
     s__destination(V__Penalty,s__CurrencyFn(V__CD))
&
s__causes(V__Withdrawal,V__Penalty))))))))
)
)

FinancialOntology.kif 1041-1053
No TPTP formula. May not be expressible in strict first order. Merge.kif 11153-11160
No TPTP formula. May not be expressible in strict first order. Merge.kif 11842-11851
No TPTP formula. May not be expressible in strict first order. Economy.kif 2459-2469
( ! [V__INTERVAL2,V__INTERVAL1] :
   (((s__instance(V__INTERVAL1,s__TimeInterval) &
         s__instance(V__INTERVAL2,s__TimeInterval) &
         (s__BeginFn(V__INTERVAL1)
         = s__BeginFn(V__INTERVAL2))
     &
     (s__EndFn(V__INTERVAL1)
     = s__EndFn(V__INTERVAL2)))
=>
((V__INTERVAL1 = V__INTERVAL2)))
)
)

Merge.kif 8004-8014
( ! [V__AGENT,V__PROCESS,V__ACCESSING,V__TIMETOFIRST,V__PROCESS_CLASS] :
   (((s__instance(V__PROCESS,s__TimeInterval) &
         s__instance(V__PROCESS,s__Process) &
         s__instance(V__PROCESS_CLASS,s__Class))
       =>
       (((s__instance(V__PROCESS,V__PROCESS_CLASS)
           &
           s__subclass(V__PROCESS_CLASS,s__Process) &
           s__instance(V__ACCESSING,s__AccessingWebPage) &
           s__instance(V__AGENT,s__Agent) &
           s__agent(V__PROCESS,V__AGENT)
         &
         s__agent(V__ACCESSING,V__AGENT)
       &
       s__during(V__PROCESS,V__ACCESSING)
     &
     s__instance(V__TIMETOFIRST,s__TimeInterval) &
     ~(( ? [V__PROCESS2] :
         ((s__instance(V__PROCESS2,s__TimeInterval) &
             s__instance(V__PROCESS2,s__Process) &
             (s__instance(V__PROCESS2,V__PROCESS_CLASS)
             &
             s__agent(V__PROCESS2,V__AGENT)
           &
           s__during(V__PROCESS2,V__ACCESSING)
         &
         s__before(s__BeginFn(s__WhenFn(V__PROCESS2))
    ,s__BeginFn(s__WhenFn(V__PROCESS))))))))
&
(s__BeginFn(s__WhenFn(V__ACCESSING))
= s__BeginFn(s__WhenFn(V__TIMETOFIRST)))
&
(s__BeginFn(s__WhenFn(V__PROCESS))
= s__EndFn(s__WhenFn(V__TIMETOFIRST))))
=>
((s__TTFxFn(V__PROCESS_CLASS,V__ACCESSING)
= V__TIMETOFIRST)))))
)
)

UXExperimentalTerms.kif 1703-1725
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2631-2647
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2585-2601
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2649-2665
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2603-2621
No TPTP formula. May not be expressible in strict first order. Merge.kif 7791-7796
( ! [V__Amount,V__Date,V__Account,V__Payment,V__DueDate] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Payment,s__FinancialTransaction) &
         s__instance(V__DueDate,s__TimeInterval))
       =>
       (((s__transactionAmount(V__Payment,V__Amount)
           &
           s__date(V__Payment,V__Date)
         &
         s__instance(V__Account,s__FinancialAccount) &
         s__destination(V__Payment,s__CurrencyFn(V__Account))
     &
     s__amountDue(V__Account,V__Amount,V__DueDate)
   &
   s__before(s__EndFn(V__Date)
,s__BeginFn(V__DueDate)))
=>
(s__instance(V__Payment,s__Prepayment)))))
)
)

FinancialOntology.kif 788-796
( ! [V__INTERVAL,V__POINT] :
   (((s__instance(V__INTERVAL,s__TimeInterval) &
         s__instance(V__POINT,s__TimePoint))
       =>
       (((s__EndFn(V__INTERVAL)
           = V__POINT)
         =>
         (( ! [V__OTHERPOINT] :
             ((s__instance(V__OTHERPOINT,s__TimePoint) =>
                 (((s__temporalPart(V__OTHERPOINT,V__INTERVAL)
                     &
                     ~((V__OTHERPOINT = V__POINT)))
                   =>
                   (s__before(V__OTHERPOINT,V__POINT)))))))))))
)
)

Merge.kif 7782-7789
( ! [V__Time,V__Process1,V__Program1,V__Process2,V__Delay,V__Program2] :
   (((s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Program1,s__ComputerProgram) &
         s__instance(V__Delay,s__TimeDuration) &
         s__instance(V__Program2,s__ComputerProgram))
       =>
       ((( ? [V__Time1, V__Time2] :
             ((s__instance(V__Time1,s__TimeInterval) &
                 s__instance(V__Time2,s__TimeInterval) &
                 (s__dependencyDelay(V__Program1,V__Delay)
                 &
                 s__dependencyType(V__Program1,s__ShutdownBlock) &
                 s__hasDependency(V__Program1,V__Program2)
               &
               s__instance(V__Process1,s__ComputerProcess) &
               s__programRunning(V__Process1,V__Program1)
             &
             s__instance(V__Process2,s__ComputerProcess) &
             s__programRunning(V__Process2,V__Program2)
           &
           (s__WhenFn(V__Process2)
           = V__Time2)
         &
         s__finishes(V__Time,V__Time1)
       &
       (s__WhenFn(V__Process2)
       = V__Time2)
     &
     (s__BeginFn(V__Time)
     = s__EndFn(V__Time2))))))
=>
(s__duration(V__Time,V__Delay)))))
)
)

QoSontology.kif 1275-1289
( ! [V__Time,V__Process1,V__Program1,V__Process2,V__Delay,V__Program2] :
   (((s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Program1,s__ComputerProgram) &
         s__instance(V__Delay,s__TimeDuration) &
         s__instance(V__Program2,s__ComputerProgram))
       =>
       ((( ? [V__Time1, V__Time2] :
             ((s__instance(V__Time1,s__TimeInterval) &
                 s__instance(V__Time2,s__TimeInterval) &
                 (s__dependencyDelay(V__Program1,V__Delay)
                 &
                 s__dependencyType(V__Program1,s__StartupBlock) &
                 s__hasDependency(V__Program1,V__Program2)
               &
               s__instance(V__Process1,s__ComputerProcess) &
               s__programRunning(V__Process1,V__Program1)
             &
             s__instance(V__Process2,s__ComputerProcess) &
             s__programRunning(V__Process2,V__Program2)
           &
           (s__WhenFn(V__Process2)
           = V__Time2)
         &
         s__starts(V__Time2,V__Time)
       &
       (s__WhenFn(V__Process1)
       = V__Time1)
     &
     (s__EndFn(V__Time)
     = s__BeginFn(V__Time1))))))
=>
(s__duration(V__Time,V__Delay)))))
)
)

QoSontology.kif 1259-1273

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11877-11884 A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
( ! [V__TIME,V__PHYS] :
   ((s__instance(V__PHYS,s__Physical) =>
       ((((s__time(V__PHYS,V__TIME)
             &
             s__instance(V__TIME,s__TimePoint))
           =>
           s__temporallyBetweenOrEqual(s__BeginFn(s__WhenFn(V__PHYS))
      ,V__TIME,s__EndFn(s__WhenFn(V__PHYS))))
&
(s__temporallyBetweenOrEqual(s__BeginFn(s__WhenFn(V__PHYS))
,V__TIME,s__EndFn(s__WhenFn(V__PHYS)))
=>
(s__time(V__PHYS,V__TIME)
&
s__instance(V__TIME,s__TimePoint))))))
)
)

Merge.kif 7934-7938 A physical exists during a time point and the time point is an instance of time point if and only if the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
( ! [V__INTERVAL2,V__INTERVAL1] :
   (((s__instance(V__INTERVAL2,s__TimeInterval) &
         s__instance(V__INTERVAL1,s__TimeInterval))
       =>
       (((s__earlier(V__INTERVAL1,V__INTERVAL2)
           =>
           s__before(s__EndFn(V__INTERVAL1)
        ,s__BeginFn(V__INTERVAL2)))
   &
   (s__before(s__EndFn(V__INTERVAL1)
  ,s__BeginFn(V__INTERVAL2))
=>
s__earlier(V__INTERVAL1,V__INTERVAL2)))))
)
)

Merge.kif 8028-8030 A time interval happens earlier than another time interval if and only if the end of the time interval happens before the beginning of the other time interval
( ! [V__INTERVAL2,V__INTERVAL1] :
   (((s__instance(V__INTERVAL2,s__TimeInterval) &
         s__instance(V__INTERVAL1,s__TimeInterval))
       =>
       (((s__finishes(V__INTERVAL1,V__INTERVAL2)
           =>
           (s__before(s__BeginFn(V__INTERVAL2)
          ,s__BeginFn(V__INTERVAL1))
       &
       (s__EndFn(V__INTERVAL2)
       = s__EndFn(V__INTERVAL1))))
&
((s__before(s__BeginFn(V__INTERVAL2)
,s__BeginFn(V__INTERVAL1))
&
(s__EndFn(V__INTERVAL2)
= s__EndFn(V__INTERVAL1)))
=>
s__finishes(V__INTERVAL1,V__INTERVAL2)))))
)
)

Merge.kif 7832-7840 A time interval finishes another time interval if and only if the beginning of the other time interval happens before the beginning of the time interval and the end of the other time interval is equal to the end of the time interval
( ! [V__PROCESS] :
   (((s__instance(V__PROCESS,s__Creation) =>
         ( ? [V__PATIENT] :
           ((s__instance(V__PATIENT,s__Physical) &
               (s__patient(V__PROCESS,V__PATIENT)
               &
               s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS)))
         &
         ~(s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS)))))))))
&
(( ? [V__PATIENT] :
((s__instance(V__PATIENT,s__Physical) &
(s__patient(V__PROCESS,V__PATIENT)
&
s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS)))
&
~(s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS))))))))
=>
s__instance(V__PROCESS,s__Creation)))
)
)

Merge.kif 12194-12201 A process is an instance of creation if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
( ! [V__PROCESS] :
   (((s__instance(V__PROCESS,s__Destruction) =>
         ( ? [V__PATIENT] :
           ((s__instance(V__PATIENT,s__Physical) &
               (s__patient(V__PROCESS,V__PATIENT)
               &
               s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS)))
         &
         ~(s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS)))))))))
&
(( ? [V__PATIENT] :
((s__instance(V__PATIENT,s__Physical) &
(s__patient(V__PROCESS,V__PATIENT)
&
s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS)))
&
~(s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS))))))))
=>
s__instance(V__PROCESS,s__Destruction)))
)
)

Merge.kif 11701-11708 A process is an instance of destruction if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
( ! [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 7998-8002 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__INTERVAL2,V__INTERVAL1] :
   (((s__instance(V__INTERVAL2,s__TimeInterval) &
         s__instance(V__INTERVAL1,s__TimeInterval))
       =>
       (((s__starts(V__INTERVAL1,V__INTERVAL2)
           =>
           ((s__BeginFn(V__INTERVAL1)
             = s__BeginFn(V__INTERVAL2))
         &
         s__before(s__EndFn(V__INTERVAL1)
      ,s__EndFn(V__INTERVAL2))))
&
(((s__BeginFn(V__INTERVAL1)
   = s__BeginFn(V__INTERVAL2))
&
s__before(s__EndFn(V__INTERVAL1)
,s__EndFn(V__INTERVAL2)))
=>
s__starts(V__INTERVAL1,V__INTERVAL2)))))
)
)

Merge.kif 7810-7818 A time interval starts another time interval if and only if the beginning of the time interval is equal to the beginning of the other time interval and the end of the time interval happens before the end of the other time interval
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-627
( ! [V__DAY,V__Y1,V__Y2] :
   (((s__instance(V__DAY,s__Day) &
         s__instance(V__Y1,s__TimeInterval) &
         s__instance(V__Y2,s__TimeInterval))
       =>
       (((s__birthdate(s__JesusOfNazareth,V__DAY)
           &
           s__instance(V__Y1,s__YearFn(n___6))
       &
       s__instance(V__Y2,s__YearFn(n__4)))
=>
(s__temporalPart(V__DAY,s__TimeIntervalFn(s__BeginFn(V__Y1)
,s__EndFn(V__Y2)))))))
)
)

Media.kif 1938-1943
( ! [V__DAY,V__Y1,V__Y2] :
   (((s__instance(V__DAY,s__Day) &
         s__instance(V__Y1,s__TimeInterval) &
         s__instance(V__Y2,s__TimeInterval))
       =>
       (((s__deathdate(s__JesusOfNazareth,V__DAY)
           &
           s__instance(V__Y1,s__YearFn(n__29))
       &
       s__instance(V__Y2,s__YearFn(n__36)))
=>
(s__temporalPart(V__DAY,s__TimeIntervalFn(s__BeginFn(V__Y1)
,s__EndFn(V__Y2)))))))
)
)

Media.kif 1945-1950
( ! [V__TEXT,V__EDITION1,V__CBO2,V__EDITION2,V__CBO1,V__INT2,V__PUB2,V__DATE1,V__INT1,V__DATE2,V__PUB1] :
   (((s__subclass(V__TEXT,s__ContentBearingObject) &
         s__subclass(V__EDITION1,s__ContentBearingObject) &
         s__instance(V__EDITION1,s__Class) &
         s__subclass(V__EDITION2,s__ContentBearingObject) &
         s__instance(V__EDITION2,s__Class) &
         s__instance(V__INT2,s__PositiveInteger) &
         s__instance(V__DATE1,s__Day) &
         s__instance(V__INT1,s__PositiveInteger) &
         s__instance(V__DATE2,s__Day))
       =>
       ((((s__EditionFn(V__TEXT,V__INT1)
             = V__EDITION1)
           &
           (s__EditionFn(V__TEXT,V__INT2)
           = V__EDITION2)
         &
         s__greaterThan(V__INT2,V__INT1)
       &
       s__instance(V__PUB1,s__Publication) &
       s__instance(V__PUB2,s__Publication) &
       s__instance(V__CBO1,V__EDITION1)
     &
     s__instance(V__CBO2,V__EDITION2)
   &
   s__patient(V__PUB1,V__CBO1)
&
s__patient(V__PUB2,V__CBO2)
&
s__date(V__PUB1,V__DATE1)
&
s__date(V__PUB2,V__DATE2))
=>
(s__before(s__EndFn(V__DATE1)
,s__EndFn(V__DATE2))))))
)
)

Merge.kif 14846-14863
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20457-20468
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16244-16265
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2297-2306
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2361-2372
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2376-2383
No TPTP formula. May not be expressible in strict first order. Merge.kif 12056-12069
No TPTP formula. May not be expressible in strict first order. Merge.kif 12016-12029
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1523-1539
No TPTP formula. May not be expressible in strict first order. Merge.kif 11771-11778
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15485-15495
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16485-16496
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16526-16538
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15505-15515

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show without tree


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