EndFn |
appearance as argument number 1 |
![]() |
(documentation EndFn ChineseLanguage "这是一个 UnaryFunction,它把一个 TimeInterval 和 这个时段结束的 TimePoint联系起来。") | chinese_format.kif 2699-2700 | |
(documentation EndFn EnglishLanguage "A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval ends.") | Merge.kif 8083-8084 | |
(documentation EndFn JapaneseLanguage "UnaryFunction は、TimeInterval を間隔が終了する TimePoint にマップする。") | japanese_format.kif 1422-1423 | |
(domain EndFn 1 TimeInterval) | Merge.kif 8080-8080 | 结束函数 的 1 数量 是 时距 的 instance |
(instance EndFn TemporalRelation) | Merge.kif 8077-8077 | 结束函数 是 时间关系 的 instance |
(instance EndFn TotalValuedRelation) | Merge.kif 8079-8079 | 结束函数 是 总值关系 的 instance |
(instance EndFn UnaryFunction) | Merge.kif 8078-8078 | 结束函数 是 一元函数 的 instance |
(range EndFn TimePoint) | Merge.kif 8081-8081 | 结束函数 的 range 是 时点 的实例 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage EndFn "%1 的结束") | chinese_format.kif 451-451 | |
(format EnglishLanguage EndFn "the end of %1") | english_format.kif 457-457 | |
(format FrenchLanguage EndFn "la fin de %1") | french_format.kif 262-262 | |
(format ItalianLanguage EndFn "la fine di %1") | relations-it.txt 92-92 | |
(format JapaneseLanguage EndFn "%1 の end") | japanese_format.kif 2052-2052 | |
(format PortugueseLanguage EndFn "o fim de %1") | portuguese_format.kif 214-214 | |
(format cz EndFn "the end of %1'") | relations-cz.txt 268-268 | |
(format de EndFn "das ende von %1") | relations-de.txt 589-589 | |
(format hi EndFn "%1 kii samaapti") | relations-hindi.txt 132-132 | |
(format ro EndFn "the end%t{sfânceputul} lui %1") | relations-ro.kif 283-283 | |
(format sv EndFn "slutet på %1") | relations-sv.txt 288-288 | |
(format tg EndFn "ang dulo sa %1") | relations-tg.txt 199-199 | |
(termFormat ChineseLanguage EndFn "结束") | domainEnglishFormat.kif 22051-22051 | |
(termFormat ChineseLanguage EndFn "结束函数") | chinese_format.kif 452-452 | |
(termFormat ChineseTraditionalLanguage EndFn "結束") | domainEnglishFormat.kif 22050-22050 | |
(termFormat EnglishLanguage EndFn "end") | domainEnglishFormat.kif 22049-22049 | |
(termFormat de EndFn "EndeFn") | terms-de.txt 181-181 | |
(termFormat tg EndFn "tungkulin ng dulo") | relations-tg.txt 200-200 |
antecedent |
![]() |
(=> (and (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1)) (equal (EndFn ?INTERVAL2) (EndFn ?INTERVAL1))) (finishes ?INTERVAL1 ?INTERVAL2)) |
Merge.kif 8156-8164 | |
(=> (and (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))) (starts ?INTERVAL1 ?INTERVAL2)) |
Merge.kif 8124-8132 | |
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (benefits ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 24563-24568 | |
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 31516-31525 | |
(=> (and (instance ?A Attaching) (patient ?A ?O1) (patient ?A ?O2) (holdsDuring (BeginFn (WhenFn ?A)) (not (connected ?O1 ?O2))) (holdsDuring (EndFn (WhenFn ?A)) (connected ?O1 ?O2))) (and (objectAttached ?A ?O1) (objectAttached ?A ?O2))) |
Merge.kif 12520-12534 | |
(=> (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (instance ?TRANSFER DataTransfer) (instance ?SERVER Server) (instance ?REQUESTING Requesting) (instance ?BROWSER WebBrowser) (instance ?INTERVAL TimeInterval) (patient ?ACCESSING ?PAGE) (agent ?REQUESTING ?BROWSER) (destination ?REQUESTING ?SERVER) (patient ?REQUESTING ?PAGE) (origin ?TRANSFER ?SERVER) (destination ?TRANSFER ?BROWSER) (patient ?TRANSFER ?PAGE) (subProcess ?TRANSFER ?ACCESSING) (subProcess ?REQUESTING ?ACCESSING) (equal (EndFn (WhenFn ?REQUESTING)) (BeginFn ?INTERVAL)) (equal (EndFn (WhenFn ?TRANSFER)) (EndFn ?INTERVAL))) (equal (SiteSpeedFn ?ACCESSING) ?INTERVAL)) |
UXExperimentalTerms.kif 3759-3784 |
|
(=> (and (instance ?CD CertificateOfDeposit) (maturityDate ?CD ?MaturityDate) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?CD)) (date ?Withdrawal ?DateOfWithdrawal) (before (EndFn ?DateOfWithdrawal) (BeginFn ?MaturityDate))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?CD)) (causes ?Withdrawal ?Penalty)))) |
FinancialOntology.kif 1089-1101 | |
(=> (and (instance ?CHANGE ChangeOfPossession) (patient ?CHANGE ?OBJ) (holdsDuring (BeginFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ))) (not (equal ?AGENT1 ?AGENT2))) |
Merge.kif 11782-11789 | |
(=> (and (instance ?D Detaching) (patient ?D ?O1) (patient ?D ?O2) (holdsDuring (BeginFn (WhenFn ?D)) (connected ?O1 ?O2)) (holdsDuring (EndFn (WhenFn ?A)) (not (connected ?O1 ?O2)))) (and (objectDetached ?A ?O1) (objectDetached ?A ?O2))) |
Merge.kif 12570-12579 | |
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (instance ?AREA2 GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA1)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA2))) (not (located ?AREA2 ?AREA1))) |
Economy.kif 2696-2706 | |
(=> (and (instance ?IMPORT Importing) (patient ?IMPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (instance ?AREA2 GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?IMPORT)) (located ?ITEM ?AREA1)) (holdsDuring (EndFn (WhenFn ?IMPORT)) (located ?ITEM ?AREA2))) (not (located ?AREA2 ?AREA1))) |
Economy.kif 2862-2877 | |
(=> (and (instance ?INTERVAL1 TimeInterval) (instance ?INTERVAL2 TimeInterval) (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (equal (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))) (equal ?INTERVAL1 ?INTERVAL2)) |
Merge.kif 8452-8462 | |
(=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?PROCESS ?AGENT) (agent ?ACCESSING ?AGENT) (during ?PROCESS ?ACCESSING) (instance ?TIMETOFIRST TimeInterval) (not (exists (?PROCESS2) (and (instance ?PROCESS2 ?PROCESS_CLASS) (agent ?PROCESS2 ?AGENT) (during ?PROCESS2 ?ACCESSING) (before (BeginFn (WhenFn ?PROCESS2)) (BeginFn (WhenFn ?PROCESS)))))) (equal (BeginFn (WhenFn ?ACCESSING)) (BeginFn (WhenFn ?TIMETOFIRST))) (equal (BeginFn (WhenFn ?PROCESS)) (EndFn (WhenFn ?TIMETOFIRST)))) (equal (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST)) |
UXExperimentalTerms.kif 1496-1518 |
|
(=> (and (instance ?TI TimeInterval) (equal ?S (BeginFn ?TI)) (equal ?E (EndFn ?TI))) (before ?S ?E)) |
Merge.kif 8360-8365 | |
(=> (and (instance ?TI1 TimeInterval) (instance ?TI2 TimeInterval) (beforeOrEqual (BeginFn ?TI2) (BeginFn ?TI1)) (before (BeginFn ?TI1) (EndFn ?TI2))) (overlapsTemporally ?TI2 ?TI1)) |
Merge.kif 8367-8377 | |
(=> (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))) (instance ?PROCESS Creation)) |
Merge.kif 12943-12949 | |
(=> (and (property ?Option Option) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsRight (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))) ?Agent)) |
FinancialOntology.kif 2686-2702 | |
(=> (and (property ?Option Option) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsRight (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))) ?Agent)) |
FinancialOntology.kif 2640-2656 | |
(=> (and (property ?Option Option) (optionSeller ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))) ?Agent)) |
FinancialOntology.kif 2704-2720 | |
(=> (and (property ?Option Option) (optionSeller ?Option ?Seller) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))) ?Seller)) |
FinancialOntology.kif 2658-2676 | |
(=> (and (resource ?PROC ?OBJ) (holdsDuring (BeginFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT1)) (holdsDuring (EndFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT2))) (greaterThan ?QUANT1 ?QUANT2)) |
Merge.kif 8095-8100 | |
(=> (and (resourceConsumption ?PROC ?QUANT) (instance ?QUANT ConstantQuantity) (resource ?PROC ?RES) (holdsDuring (BeginFn (WhenFn ?PROC)) (measure ?RES (MeasureFn ?X ?U))) (holdsDuring (EndFn (WhenFn ?PROC)) (measure ?RES (MeasureFn ?Y ?U)))) (equal ?QUANT (MeasureFn (SubtractionFn ?X ?Y) ?U))) |
Mid-level-ontology.kif 18692-18708 | |
(=> (and (resourceConsumption ?PROC ?QUANT) (instance ?QUANT FunctionQuantity) (resource ?PROC ?RES) (equal ?QUANT (PerFn (MeasureFn ?Q ?U) (MeasureFn ?DC ?DU))) (duration (WhenFn ?PROC) (MeasureFn ?T ?DU)) (holdsDuring (BeginFn (WhenFn ?PROC)) (measure ?RES (MeasureFn ?X ?U))) (holdsDuring (EndFn (WhenFn ?PROC)) (measure ?RES (MeasureFn ?Y ?U)))) (equal ?Y (MeasureFn (SubtractionFn ?X (MultiplicationFn ?T (DivisionFn ?Q ?DC))) ?U))) |
Mid-level-ontology.kif 18748-18774 |
|
(=> (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (instance ?Account FinancialAccount) (destination ?Payment (CurrencyFn ?Account)) (amountDue ?Account ?Amount ?DueDate) (before (EndFn ?Date) (BeginFn ?DueDate))) (instance ?Payment Prepayment)) |
FinancialOntology.kif 836-844 | |
(=> (before (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (earlier ?INTERVAL1 ?INTERVAL2)) |
Merge.kif 8480-8482 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
![]() |
![]() |