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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WhenFn
WhenFn

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


s__documentation(s__WhenFn__m,s__ChineseLanguage,'这是一个 UnaryFunction,它把一个 ObjectProcess 联系到它存在的准确 TimeInterval。注:在 TimeInterval (WhenFn ?THING)以外的 每一个 TimePoint ?TIME, (time ?THING ?TIME) 并不存在')

Merge.kif 8560-8562
s__documentation(s__WhenFn__m,s__EnglishLanguage,'A UnaryFunction that maps an Object or Process to the exact TimeInterval during which it exists. Note that, for every TimePoint ?TIME outside of the TimeInterval (WhenFn ?THING), (time ?THING ?TIME) does not hold.')

Merge.kif 8556-8559
s__domain(s__WhenFn__m,1,s__Physical)

Merge.kif 8554-8554
s__instance(s__WhenFn__m,s__TemporalRelation)

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

Merge.kif 8553-8553
s__instance(s__WhenFn__m,s__UnaryFunction)

Merge.kif 8552-8552
s__range(s__WhenFn__m,s__TimeInterval)

Merge.kif 8555-8555

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


s__format(s__ChineseLanguage,s__WhenFn__m,'%1 出现 的 time')

chinese_format.kif 455-455
s__format(s__EnglishLanguage,s__WhenFn__m,'the time of existence of %1')

english_format.kif 275-275
s__format(s__FrenchLanguage,s__WhenFn__m,'temps dexistence de %1')

french_format.kif 264-264
s__format(s__ItalianLanguage,s__WhenFn__m,'il tempo di esistenza di %1')

relations-it.txt 314-314
s__format(s__PortugueseLanguage,s__WhenFn__m,'tempo de existencia de %1')

portuguese_format.kif 216-216
s__format(s__ar__m,s__WhenFn__m,'وَقْت وجُود %1')

arabic_format.kif 196-196
s__format(s__cz__m,s__WhenFn__m,'doba existence %1')

relations-cz.txt 270-270
s__format(s__de__m,s__WhenFn__m,'die zeit des Bestehens von %1')

relations-de.txt 595-595
s__format(s__hi__m,s__WhenFn__m,'%1 ke astitva kaa samaya')

relations-hindi.txt 349-349
s__format(s__tg__m,s__WhenFn__m,'ang panahon ng kabuhayan ng %1')

relations-tg.txt 506-506
s__relatedInternalConcept(s__WhereFn__m,s__WhenFn__m)

Merge.kif 4350-4350
s__termFormat(s__ChineseLanguage,s__WhenFn__m,'何时函数')

chinese_format.kif 456-456
s__termFormat(s__EnglishLanguage,s__WhenFn__m,'when')

domainEnglishFormat.kif 10922-10922
s__termFormat(s__ar__m,s__WhenFn__m,'«وَقْت وجُود»')

arabic_format.kif 646-646

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


( ! [V__POS,V__THING] :
   (s__temporalPart(V__POS,s__WhenFn(V__THING))
<=>
s__time(V__THING,V__POS))
)

Merge.kif 8169-8171
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
( ! [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
No TPTP formula. May not be expressible in strict first order. Law.kif 520-529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28718-28739
No TPTP formula. May not be expressible in strict first order. Merge.kif 18577-18583
No TPTP formula. May not be expressible in strict first order. Merge.kif 18546-18552
( ! [V__A,V__T,V__E] :
   ((s__instance(V__A,s__Accelerating) &
       (V__T = s__WhenFn(V__A))
     &
     s__experiencer(V__A,V__E))
=>
(~ (? [V__D] :
     (s__instance(V__D,s__Decelerating) &
       s__experiencer(V__D,V__E)
     &
     (V__T = s__WhenFn(V__D))))))
)

Mid-level-ontology.kif 14759-14769
( ! [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
( ! [V__AMBULATE,V__DURATION] :
   ((s__instance(V__AMBULATE,s__Ambulating) &
       (V__DURATION = s__WhenFn(V__AMBULATE)))
   =>
   (? [V__STEP1,V__STEPN] :
     (s__instance(V__STEP1,s__Stepping) &
       s__instance(V__STEPN,s__Stepping) &
       s__subProcess(V__STEP1,V__AMBULATE)
     &
     s__subProcess(V__STEPN,V__AMBULATE)
   &
   s__starts(s__WhenFn(V__STEP1)
,V__DURATION)
&
s__finishes(s__WhenFn(V__STEPN)
,V__DURATION)
&
(~ (V__STEP1 = V__STEPN)))))
)

Mid-level-ontology.kif 661-673
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 89-103
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 654-660
No TPTP formula. May not be expressible in strict first order. Merge.kif 13762-13770
No TPTP formula. May not be expressible in strict first order. Merge.kif 11542-11549
( ! [V__COLL,V__SITE,V__AGENT,V__LISTING,V__TIME] :
   ((s__instance(V__COLL,s__Collection) &
       s__instance(V__SITE,s__WebSite) &
       s__instance(V__AGENT,s__Agent) &
       s__instance(V__LISTING,s__WebListing) &
       s__instance(V__TIME,s__TimePoint) &
       s__listingSeller(V__LISTING,V__AGENT)
     &
     (~ s__member(V__LISTING,V__COLL))
   &
   (! [V__ITEM] :
     ((s__instance(V__ITEM,s__WebListing) &
         s__member(V__ITEM,s__SellersItemsFn(V__AGENT,V__SITE))
     &
     s__temporalPart(V__TIME,s__WhenFn(V__ITEM))
&
(~ (V__ITEM = V__LISTING)))
=>
s__member(V__ITEM,V__COLL)))
&
(! [V__MEMBER] :
(s__member(V__MEMBER,V__COLL)
=>
(s__temporalPart(V__TIME,s__WhenFn(V__ITEM))
&
s__instance(V__MEMBER,s__WebListing)))))
=>
(s__SellersOtherItemsFn(V__AGENT,V__SITE,V__LISTING,V__TIME)
= V__COLL))
)

UXExperimentalTerms.kif 1229-1256
No TPTP formula. May not be expressible in strict first order. Government.kif 768-776
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1904-1912
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 610-623
No TPTP formula. May not be expressible in strict first order. Geography.kif 6339-6353
No TPTP formula. May not be expressible in strict first order. Merge.kif 11871-11880
( ! [V__Deposit,V__TimeOfDeposit,V__Account,V__Amount,V__Balance1,V__Balance2] :
   ((s__instance(V__Deposit,s__Deposit) &
       s__time(V__Deposit,V__TimeOfDeposit)
     &
     s__instance(V__Account,s__FinancialAccount) &
     s__destination(V__Deposit,s__CurrencyFn(V__Account))
&
s__transactionAmount(V__Deposit,V__Amount)
&
s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Deposit))
,V__Balance1)
&
(V__Balance2 = s__AdditionFn(V__Balance1,V__Amount)))
=>
s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Deposit))
,V__Balance2))
)

FinancialOntology.kif 428-437
( ! [V__Downtick,V__Stock,V__Time1,V__Price1,V__Price2] :
   ((s__instance(V__Downtick,s__Downtick) &
       s__patient(V__Downtick,V__Stock)
     &
     (s__WhenFn(V__Downtick)
     = V__Time1)
   &
   s__price(V__Stock,V__Price1,V__Time1))
=>
(? [V__Transaction,V__Time2] :
(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,V__Price2,V__Time2)
&
s__greaterThan(V__Price2,V__Price1))))
)

FinancialOntology.kif 3128-3141
( ! [V__Drawing,V__Check,V__Processing,V__DrawingTime,V__Procesing,V__ProcessingTime,V__Time,V__Duration] :
   ((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__Procesing)
= 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(6,s__MonthDuration)))
)

FinancialOntology.kif 155-166

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__PHYS1,V__PHYS2] :
   (s__cooccur(V__PHYS1,V__PHYS2)
   <=>
   (s__WhenFn(V__PHYS1)
   = s__WhenFn(V__PHYS2)))
)

Merge.kif 8483-8485
No TPTP formula. May not be expressible in strict first order. People.kif 104-117
No TPTP formula. May not be expressible in strict first order. People.kif 138-151
No TPTP formula. May not be expressible in strict first order. People.kif 253-277
No TPTP formula. May not be expressible in strict first order. People.kif 411-442
No TPTP formula. May not be expressible in strict first order. People.kif 323-353
No TPTP formula. May not be expressible in strict first order. People.kif 367-398
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28338-28346
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14408-14417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18357-18364
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16391-16397
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-210
( ! [V__MR,V__A,V__M,V__MM] :
   ((s__attribute(V__MR,s__CoverRecording) &
       s__instance(V__MR,s__MusicRecording) &
       s__songArtist(V__MR,V__A)
     &
     s__musicInterpretation(V__MR,V__M)
   &
   s__record(V__MR,V__MM))
=>
(? [V__ORIG,V__ARTIST,V__MUSIC] :
(s__musicInterpretation(V__ORIG,V__M)
&
s__songArtist(V__ORIG,V__ARTIST)
&
(~ (V__A = V__ARTIST))
&
s__record(V__ORIG,V__MUSIC)
&
s__before(s__WhenFn(V__MUSIC)
,s__WhenFn(V__MM)))))
)

Music.kif 460-473
No TPTP formula. May not be expressible in strict first order. Dining.kif 1158-1175
No TPTP formula. May not be expressible in strict first order. Merge.kif 13772-13785
No TPTP formula. May not be expressible in strict first order. Hotel.kif 653-664
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18332-18341
( ! [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
( ! [V__INT,V__SITE,V__COLL,V__MEMBER,V__INTE] :
   ((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
     &
     s__member(V__MEMBER,V__COLL))
=>
(? [V__BUYING] :
   (s__instance(V__BUYING,s__Buying) &
     s__agent(V__BUYING,V__MEMBER)
   &
   s__eCommerceSite(V__BUYING,V__SITE)
&
s__during(s__WhenFn(V__BUYING)
,V__INTE))))
)

UXExperimentalTerms.kif 3730-3739
( ! [V__INT,V__SITE,V__COLL,V__MEMBER] :
   ((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
     &
     s__member(V__MEMBER,V__COLL))
=>
(~ (? [V__BUYING] :
     (s__instance(V__BUYING,s__Buying) &
       s__agent(V__BUYING,V__MEMBER)
     &
     s__eCommerceSite(V__BUYING,V__SITE)
   &
   s__earlier(s__WhenFn(V__BUYING)
,V__INT)))))
)

UXExperimentalTerms.kif 3741-3751

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1972-1980
No TPTP formula. May not be expressible in strict first order. Media.kif 1922-1922


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