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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeginFn

Sigma KEE - BeginFn
BeginFn

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


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

Merge.kif 8180-8181
s__documentation(s__BeginFn__m,s__EnglishLanguage,'A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval begins.')

Merge.kif 8178-8179
s__domain(s__BeginFn__m,1,s__TimeInterval)

Merge.kif 8176-8176
s__instance(s__BeginFn__m,s__TemporalRelation)

Merge.kif 8173-8173
s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 8175-8175
s__instance(s__UnaryFunction,s__SetOrClass)

Merge.kif 8174-8174
s__range(s__BeginFn__m,s__TimePoint)

Merge.kif 8177-8177

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 272-272
s__format(s__FrenchLanguage,s__BeginFn__m,'le d�but de %1')

french_format.kif 261-261
s__format(s__ItalianLanguage,s__BeginFn__m,'l inizio di %1')

relations-it.txt 34-34
s__format(s__PortugueseLanguage,s__BeginFn__m,'o comeco de %1')

portuguese_format.kif 213-213
s__format(s__ar__m,s__BeginFn__m,'بِدَايَة %1')

arabic_format.kif 193-193
s__format(s__cb__m,s__BeginFn__m,'ang sinugdanan sa %1')

relations-cb.txt 68-68
s__format(s__cz__m,s__BeginFn__m,'the beginning of %1')

relations-cz.txt 267-267
s__format(s__de__m,s__BeginFn__m,'der anfang von %1')

relations-de.txt 586-586
s__format(s__hi__m,s__BeginFn__m,'%1 kii shuruaata')

relations-hindi.txt 78-78
s__format(s__tg__m,s__BeginFn__m,'ang simula sa %1')

relations-tg.txt 84-84
s__termFormat(s__ChineseLanguage,s__BeginFn__m,'开始函数')

chinese_format.kif 450-450
s__termFormat(s__EnglishLanguage,s__BeginFn__m,'begin')

domainEnglishFormat.kif 2184-2184
s__termFormat(s__ar__m,s__BeginFn__m,'«بِدَايَة»')

arabic_format.kif 643-643
s__termFormat(s__tg__m,s__BeginFn__m,'tungkulin simula')

relations-tg.txt 85-85

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


( ∀ [V__INTERVAL1,V__INTERVAL2]
   (((s__BeginFn(V__INTERVAL1)
       = s__BeginFn(V__INTERVAL2))
   ∧
   (s__EndFn(V__INTERVAL1)
   = s__EndFn(V__INTERVAL2)))

(V__INTERVAL1 = V__INTERVAL2))
)

Merge.kif 8442-8450
( ∀ [V__PROCESS_START,V__PROCESS,V__AGENT_END,V__AGENT]
   (((V__PROCESS_START = s__BeginFn(s__WhenFn(V__PROCESS)))
   ∧
   (V__AGENT_END = s__EndFn(s__WhenFn(V__AGENT)))

s__benefits(V__PROCESS,V__AGENT))

s__before(V__PROCESS_START,V__AGENT_END))
)

Mid-level-ontology.kif 20772-20777
( ∀ [V__PROCESS_START,V__PROCESS,V__AGENT_END,V__AGENT]
   (((V__PROCESS_START = s__BeginFn(s__WhenFn(V__PROCESS)))
   ∧
   (V__AGENT_END = s__EndFn(s__WhenFn(V__AGENT)))

s__suffers(V__PROCESS,V__AGENT))

s__before(V__PROCESS_START,V__AGENT_END))
)

Mid-level-ontology.kif 27684-27693
( ∀ [V__T1,V__N1,V__M,V__Y,V__T2,V__N2]
   (((V__T1 = s__BeginFn(s__DayFn(V__N1,s__MonthFn(V__M,s__YearFn(V__Y)))))

(V__T2 = s__BeginFn(s__DayFn(V__N2,s__MonthFn(V__M,s__YearFn(V__Y)))))

s__greaterThan(V__N2,V__N1))

s__before(V__T1,V__T2))
)

Merge.kif 8838-8843
( ∀ [V__T1,V__N1,V__Y,V__T2,V__N2]
   (((V__T1 = s__BeginFn(s__MonthFn(V__N1,s__YearFn(V__Y))))

(V__T2 = s__BeginFn(s__MonthFn(V__N2,s__YearFn(V__Y))))

s__greaterThan(V__N2,V__N1))

s__before(V__T1,V__T2))
)

Merge.kif 8824-8829
( ∀ [V__T1,V__N1,V__T2,V__N2]
   (((V__T1 = s__BeginFn(s__YearFn(V__N1)))
   ∧
   (V__T2 = s__BeginFn(s__YearFn(V__N2)))

s__greaterThan(V__N2,V__N1))

s__before(V__T1,V__T2))
)

Merge.kif 8810-8815
( ∀ [V__A,V__S1,V__S2,V__S1_START,V__S2_START]
   ((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__S1_START = s__BeginFn(s__WhenFn(V__S1)))

(V__S2_START = s__BeginFn(s__WhenFn(V__S2)))

(¬ (s__before(V__S1_START,V__S2_START)

s__before(V__S2_START,V__S1_START))))

(V__S1 = V__S2))
)

Mid-level-ontology.kif 676-689
( ∀ [V__ACCESSING,V__PAGE,V__TRANSFER,V__SERVER,V__REQUESTING,V__BROWSER,V__INTERVAL]
   ((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 3954-3979
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1916-1927
( ∀ [V__CD,V__MaturityDate,V__Withdrawal,V__DateOfWithdrawal]
   ((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 1032-1044
No TPTP formula. May not be expressible in strict first order. Merge.kif 11542-11549
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__H,V__B]
   ((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__LOAN,V__START,V__BAL]
   ((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 1341-1346
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17302-17314
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15202-15217
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15183-15198
( ∀ [V__PROCESS,V__PROCESS_CLASS,V__ACCESSING,V__AGENT,V__TIMETOFIRST]
   ((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,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 17285-17296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15074-15079
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2590-2606
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2546-2562
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2608-2624

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 12318-12325
( ∀ [V__PHYS,V__TIME]
   ((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))))
)

Merge.kif 8369-8373
( ∀ [V__INTERVAL1,V__INTERVAL2]
   (s__earlier(V__INTERVAL1,V__INTERVAL2)
   <⇒
   s__before(s__EndFn(V__INTERVAL1)
,s__BeginFn(V__INTERVAL2)))
)

Merge.kif 8465-8467
( ∀ [V__INTERVAL1,V__INTERVAL2]
   (s__finishes(V__INTERVAL1,V__INTERVAL2)
   <⇒
   (s__before(s__BeginFn(V__INTERVAL2)
  ,s__BeginFn(V__INTERVAL1))

(s__EndFn(V__INTERVAL2)
= s__EndFn(V__INTERVAL1))))
)

Merge.kif 8261-8269
( ∀ [V__PROCESS]
   (s__instance(V__PROCESS,s__Creation) <⇒
     (∃ [V__PATIENT]
       (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)))))))
)

Merge.kif 12669-12676
( ∀ [V__PROCESS]
   (s__instance(V__PROCESS,s__Destruction) <⇒
     (∃ [V__PATIENT]
       (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)))))))
)

Merge.kif 12162-12169
( ∀ [V__INTERVAL1,V__INTERVAL2]
   (s__meetsTemporally(V__INTERVAL1,V__INTERVAL2)
   <⇒
   (s__EndFn(V__INTERVAL1)
   = s__BeginFn(V__INTERVAL2)))
)

Merge.kif 8436-8440
( ∀ [V__INTERVAL1,V__INTERVAL2]
   (s__starts(V__INTERVAL1,V__INTERVAL2)
   <⇒
   ((s__BeginFn(V__INTERVAL1)
     = s__BeginFn(V__INTERVAL2))

s__before(s__EndFn(V__INTERVAL1)
,s__EndFn(V__INTERVAL2))))
)

Merge.kif 8237-8245
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-627
( ∀ [V__DAY,V__Y1,V__Y2]
   ((s__birthdate(s__JesusOfNazareth,V__DAY)
     ∧
     s__instance(V__Y1,s__YearFn(-6))

s__instance(V__Y2,s__YearFn(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 653-664
( ∀ [V__DAY,V__Y1,V__Y2]
   ((s__deathdate(s__JesusOfNazareth,V__DAY)
     ∧
     s__instance(V__Y1,s__YearFn(29))

s__instance(V__Y2,s__YearFn(36)))

s__temporalPart(V__DAY,s__TimeIntervalFn(s__BeginFn(V__Y1)
,s__EndFn(V__Y2))))
)

Media.kif 1945-1950
( ∀ [V__MSG,V__TELEX,V__M]
   ((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__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__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 28747-28753
No TPTP formula. May not be expressible in strict first order. Merge.kif 3947-3954
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21591-21600
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21618-21626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19063-19074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1426-1439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14727-14737
No TPTP formula. May not be expressible in strict first order. Merge.kif 12513-12526
No TPTP formula. May not be expressible in strict first order. Merge.kif 12470-12483
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 12242-12249
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 37-53

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners