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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BeginFn
BeginFn

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


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

chinese_format.kif 2697-2698
s__documentation(s__BeginFn__m,s__EnglishLanguage,'"A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval begins."')

Merge.kif 7759-7760
s__domain(s__BeginFn__m,n__1,s__TimeInterval)

Merge.kif 7756-7756 The number 1 argument of begin is an instance of time interval
s__instance(s__TemporalRelation,s__Class)

s__instance(s__BeginFn__m,s__TemporalRelation)

Merge.kif 7753-7753 Begin is an instance of temporal relation
s__instance(s__BeginFn__m,s__TotalValuedRelation)

s__instance(s__TotalValuedRelation,s__Class)

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

s__instance(s__BeginFn__m,s__UnaryFunction)

Merge.kif 7754-7754 Begin is an instance of unary function
s__range(s__BeginFn__m,s__TimePoint)

Merge.kif 7757-7757 The range of begin is an instance of time point

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


s__format(s__ChineseLanguage,s__BeginFn__m,'"%1 的开始"')

chinese_format.kif 449-449
s__format(s__EnglishLanguage,s__BeginFn__m,'"the beginning of %1"')

english_format.kif 455-455
s__termFormat(s__ChineseLanguage,s__BeginFn__m,'"开始"')

domainEnglishFormat.kif 10568-10568
s__termFormat(s__ChineseLanguage,s__BeginFn__m,'"开始函数"')

chinese_format.kif 450-450
s__termFormat(s__ChineseTraditionalLanguage,s__BeginFn__m,'"開始"')

domainEnglishFormat.kif 10567-10567
s__termFormat(s__EnglishLanguage,s__BeginFn__m,'"begin"')

domainEnglishFormat.kif 10566-10566

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 22197-22202
( ! [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 28838-28847
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23209-23226
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23183-23197
( ! [V__S1START,V__A,V__S1,V__S2START,V__S2] :
   (((s__instance(V__S1START,s__TimePoint) &
         s__instance(V__S2START,s__TimePoint))
       =>
       (((s__instance(V__A,s__Ambulating) &
             s__subProcess(V__S1,V__A)
           &
           s__instance(V__S1,s__Stepping) &
           s__subProcess(V__S2,V__A)
         &
         s__instance(V__S2,s__Stepping) &
         (V__S1START = s__BeginFn(s__WhenFn(V__S1)))
     &
     (V__S2START = s__BeginFn(s__WhenFn(V__S2)))
&
~((s__before(V__S1START,V__S2START)
   |
   s__before(V__S2START,V__S1START))))
=>
((V__S1 = V__S2)))))
)
)

Mid-level-ontology.kif 472-485
No TPTP formula. May not be expressible in strict first order. Merge.kif 11805-11819
( ! [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
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2361-2372
( ! [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 11164-11171
No TPTP formula. May not be expressible in strict first order. Merge.kif 11853-11862
( ! [V__N1,V__N2,V__Y,V__D1,V__T1,V__D2,V__T2,V__M] :
   (((s__instance(V__N1,s__PositiveInteger) &
         s__instance(V__N2,s__PositiveInteger) &
         s__instance(V__Y,s__Integer) &
         s__instance(V__D1,s__TimeInterval) &
         s__instance(V__T1,s__TimePoint) &
         s__instance(V__D2,s__TimeInterval) &
         s__instance(V__T2,s__TimePoint) &
         s__subclass(V__M,s__Month))
       =>
       (((s__instance(V__D1,s__DayFn(V__N1,s__MonthFn(V__M,s__YearFn(V__Y))))
     &
     s__instance(V__D2,s__DayFn(V__N2,s__MonthFn(V__M,s__YearFn(V__Y))))
&
(V__T1 = s__BeginFn(V__D1))
&
(V__T2 = s__BeginFn(V__D2))
&
s__greaterThan(V__N2,V__N1))
=>
(s__before(V__T1,V__T2)))))
)
)

Merge.kif 8373-8380
No TPTP formula. May not be expressible in strict first order. Economy.kif 2435-2448
No TPTP formula. May not be expressible in strict first order. Economy.kif 2424-2433
No TPTP formula. May not be expressible in strict first order. Economy.kif 2459-2469
( ! [V__B,V__H] :
   ((s__instance(V__B,s__TimePoint) =>
       (((s__instance(V__H,s__Hanukkah) &
             (V__B = s__BeginFn(V__H)))
         =>
         (( ? [V__M] :
             ((s__temporalPart(V__B,V__M)
               &
               s__instance(V__M,s__Month) &
               (s__instance(V__M,s__November) |
                 s__instance(V__M,s__December)))))))))
)
)

Media.kif 587-597
( ! [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 8012-8022
( ! [V__BAL,V__LOAN,V__START] :
   (((s__instance(V__BAL,s__CurrencyMeasure) &
         s__instance(V__START,s__TimePoint) &
         s__instance(V__START,s__Day))
       =>
       (((s__instance(V__LOAN,s__Loan) &
             (V__START = s__BeginFn(V__LOAN))
           &
           s__totalBalance(V__LOAN,V__BAL))
       =>
       (s__currentAccountBalance(V__LOAN,V__START,V__BAL)))))
)
)

FinancialOntology.kif 1353-1358
( ! [V__N1,V__M1,V__N2,V__M2,V__Y,V__T1,V__T2] :
   (((s__instance(V__N1,s__Class) &
         s__subclass(V__N1,s__Month) &
         s__instance(V__M1,s__TimeInterval) &
         s__instance(V__N2,s__Class) &
         s__subclass(V__N2,s__Month) &
         s__instance(V__M2,s__TimeInterval) &
         s__instance(V__Y,s__Integer) &
         s__instance(V__T1,s__TimePoint) &
         s__instance(V__T2,s__TimePoint))
       =>
       (((s__instance(V__M1,s__MonthFn(V__N1,s__YearFn(V__Y)))
       &
       s__instance(V__M2,s__MonthFn(V__N2,s__YearFn(V__Y)))
&
(V__T1 = s__BeginFn(V__M1))
&
(V__T2 = s__BeginFn(V__M2))
&
s__successorClass(V__N1,V__N2))
=>
(s__before(V__T1,V__T2)))))
)
)

Merge.kif 8357-8364
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18788-18800
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16909-16926
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16888-16905
( ! [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. Mid-level-ontology.kif 18771-18782
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16789-16794

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11888-11895 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 7942-7946 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 8036-8038 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 7840-7848 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 12206-12213 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 11712-11719 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 8006-8010 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 7818-7826 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. Mid-level-ontology.kif 5884-5897
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
No TPTP formula. May not be expressible in strict first order. Hotel.kif 663-674
( ! [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__TELEX,V__M,V__MSG] :
   (((s__destination(V__MSG,V__TELEX)
       &
       s__instance(V__MSG,s__Messaging) &
       s__patient(V__MSG,V__M)
     &
     s__instance(V__TELEX,s__Telex))
   =>
   (( ? [V__PROC, V__TEXT] :
       ((s__instance(V__PROC,s__Process) &
           (s__instrument(V__PROC,V__TELEX)
           &
           s__result(V__PROC,V__TEXT)
         &
         s__represents(V__TEXT,V__M)
       &
       s__instance(V__TEXT,s__Text) &
       s__before(s__BeginFn(s__WhenFn(V__MSG))
  ,s__BeginFn(s__WhenFn(V__PROC)))))))))
)
)

Communications.kif 202-214
( ! [V__C,V__T,V__I] :
   (((s__subclass(V__C,s__Physical) &
         s__instance(V__C,s__Class) &
         s__instance(V__T,s__TimePoint) &
         s__instance(V__I,s__Physical))
       =>
       (((s__firstInstanceCreated(V__C,V__T)
           &
           s__instance(V__I,V__C))
       =>
       (s__beforeOrEqual(V__T,s__BeginFn(s__WhenFn(V__I)))))))
)
)

Mid-level-ontology.kif 29924-29930
No TPTP formula. May not be expressible in strict first order. Merge.kif 3742-3749
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22987-22996
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23014-23022
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20643-20654
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 981-994
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16417-16438
No TPTP formula. May not be expressible in strict first order. Merge.kif 12067-12080
No TPTP formula. May not be expressible in strict first order. Merge.kif 12027-12040
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 11782-11789

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25