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 7718-7719
s__domain(s__BeginFn__m,n__1,s__TimeInterval)

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

s__instance(s__TemporalRelation,s__SetOrClass)

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

s__instance(s__TotalValuedRelation,s__SetOrClass)

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

s__instance(s__BeginFn__m,s__UnaryFunction)

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

Merge.kif 7716-7716 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 458-458
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 21115-21120
( ! [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 27745-27754
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22127-22144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22101-22115
( ! [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 11761-11775
( ! [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 2347-2358
( ! [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 11120-11127
No TPTP formula. May not be expressible in strict first order. Merge.kif 11809-11818
( ! [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 8332-8339
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 7971-7981
( ! [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 8316-8323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17719-17731
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15841-15858
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15820-15837
( ! [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 17702-17713
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15721-15726

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 11844-11851 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 7901-7905 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 7995-7997 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 7799-7807 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 12161-12168 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 11668-11675 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 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__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 7777-7785 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 5673-5686
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 28831-28837
No TPTP formula. May not be expressible in strict first order. Merge.kif 3708-3715
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21905-21914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21932-21940
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19561-19572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 980-993
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15349-15370
No TPTP formula. May not be expressible in strict first order. Merge.kif 12023-12036
No TPTP formula. May not be expressible in strict first order. Merge.kif 11983-11996
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 11738-11745

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25