EndFn - Sigma Knowledge base Browser

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 8035-8036
(documentation EndFn JapaneseLanguage "UnaryFunction は、TimeInterval を間隔が終了する TimePoint にマップする。")	japanese_format.kif 1422-1423
(domain EndFn 1 TimeInterval)	Merge.kif 8032-8032	The number 1 argument of end is an instance of time interval
(instance EndFn TemporalRelation)	Merge.kif 8029-8029	End is an instance of temporal relation
(instance EndFn TotalValuedRelation)	Merge.kif 8031-8031	End is an instance of total valued relation
(instance EndFn UnaryFunction)	Merge.kif 8030-8030	End is an instance of unary function
(range EndFn TimePoint)	Merge.kif 8033-8033	The range of end is an instance of time point

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 22042-22042
(termFormat ChineseLanguage EndFn "结束函数")	chinese_format.kif 452-452
(termFormat ChineseTraditionalLanguage EndFn "結束")	domainEnglishFormat.kif 22041-22041
(termFormat EnglishLanguage EndFn "end")	domainEnglishFormat.kif 22040-22040
(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 8108-8116	If the beginning of a time interval happens before the beginning of another time interval and the end of the time interval is equal to the end of the other time interval, then the other time interval finishes the time interval
(=> (and (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))) (starts ?INTERVAL1 ?INTERVAL2))	Merge.kif 8076-8084	If the beginning of a time interval is equal to the beginning of another time interval and the end of the time interval happens before the end of the other time interval, then the time interval starts the other time interval
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (benefits ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND))	Mid-level-ontology.kif 22919-22924	If a time point is equal to the beginning of the time of existence of a process and another time point is equal to the end of the time of existence of an agent and the agent is a beneficiary of the process, then the time point happens before the other time point
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND))	Mid-level-ontology.kif 29583-29592	If a time point is equal to the beginning of the time of existence of a process and another time point is equal to the end of the time of existence of an agent and the agent suffers from the process, then the time point happens before the other time point
(=> (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 12405-12419	If a process is an instance of attaching and an entity is a patient of the process and another entity is a patient of the process and the entity is not connected to the other entity holds during the beginning of the time of existence of the process and the entity is connected to the other entity holds during the end of the time of existence of the process, then the process attaches the entity to another object and the process attaches the other entity to another object
(=> (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	If an accessing web page is an instance of accessing web page and an entity is an instance of web page and a process is an instance of data transfer and an object is an instance of server and another process is an instance of requesting and an agent is an instance of web browser and a time interval is an instance of time interval and the entity is a patient of the accessing web page and the agent is an agent of the other process and the other process ends up at the object and the entity is a patient of the other process and the process originates at the object and the process ends up at the agent and the entity is a patient of the process and the process is a subprocess of the accessing web page and the other process is a subprocess of the accessing web page and the end of the time of existence of the other process is equal to the beginning of the time interval and the end of the time of existence of the process is equal to the end of the time interval, then the time to access in the accessing web page is equal to the time interval
(=> (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 1087-1099	If a financial account is an instance of certificate of deposit and a day is a maturity date of the financial account and a process is an instance of withdrawal and the process originates at the currency of the financial account and date of the process is another day and the end of the other day happens before the beginning of the day, then there exists another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process
(=> (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 11669-11676	If a process is an instance of change of possession and an entity is a patient of the process and another entity possesses the entity holds during the beginning of the time of existence of the process and a third entity possesses the entity holds during the end of the time of existence of the process, then the other entity is not equal to the third entity
(=> (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 12453-12462	If a process is an instance of detaching and an entity is a patient of the process and another entity is a patient of the process and the entity is connected to the other entity holds during the beginning of the time of existence of the process and the entity is not connected to the other entity holds during the end of the time of existence of another process, then the other process detaches the entity from another object and the other process detaches the other entity from another object
(=> (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 2456-2466	If a process is an instance of exporting and an entity is a patient of the process and an object is an instance of geopolitical area and a physical is an instance of geopolitical area and the entity is located at the object holds during the beginning of the time of existence of the process and the entity is located at the physical holds during the end of the time of existence of the process, then the physical is not located at the object
(=> (and (instance ?INTERVAL1 TimeInterval) (instance ?INTERVAL2 TimeInterval) (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (equal (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))) (equal ?INTERVAL1 ?INTERVAL2))	Merge.kif 8376-8386	If a time interval is an instance of time interval and another time interval is an instance of time interval and the beginning of the time interval is equal to the beginning of the other time interval and the end of the time interval is equal to the end of the other time interval, then the time interval is equal to the other time interval
(=> (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	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an accessing web page is an instance of accessing web page and an agent is an instance of agent and the agent is an agent of the time interval and the agent is an agent of the accessing web page and the time interval takes place during the accessing web page and a physical is an instance of time interval and there doesn't exist the time interval2 such that the time interval2 is an instance of the time interval_CLASS and the agent is an agent of the time interval2 and the time interval2 takes place during the accessing web page and the beginning of the time of existence of the time interval2 happens before the beginning of the time of existence of the time interval and the beginning of the time of existence of the accessing web page is equal to the beginning of the time of existence of the physical and the beginning of the time of existence of the time interval is equal to the end of the time of existence of the physical, then the time of the accessing web page in the class the time interval_CLASS is equal to the physical
(=> (and (instance ?TI TimeInterval) (equal ?S (BeginFn ?TI)) (equal ?E (EndFn ?TI))) (before ?S ?E))	Merge.kif 8284-8289	If a time interval is an instance of time interval and a time point is equal to the beginning of the time interval and another time point is equal to the end of the time interval, then the time point happens before the other time point
(=> (and (instance ?TI1 TimeInterval) (instance ?TI2 TimeInterval) (beforeOrEqual (BeginFn ?TI2) (BeginFn ?TI1)) (before (BeginFn ?TI1) (EndFn ?TI2))) (overlapsTemporally ?TI2 ?TI1))	Merge.kif 8291-8301	If a time interval is an instance of time interval and another time interval is an instance of time interval and the beginning of the other time interval happens before or at the beginning of the time interval and the beginning of the time interval happens before the end of the other time interval, then the time interval overlaps the other time interval
(=> (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))) (instance ?PROCESS Creation))	Merge.kif 12826-12832	If a physical is a patient of a 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, then the process is an instance of creation
(=> (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 2669-2685	If an agreement the attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent has the right to perform the class described by a symbolic string
(=> (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 2623-2639	If an agreement the attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent has the right to perform the class described by a symbolic string
(=> (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 2687-2703	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (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 2641-2659	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (and (resource ?PROC ?OBJ) (holdsDuring (BeginFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT1)) (holdsDuring (EndFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT2))) (greaterThan ?QUANT1 ?QUANT2))	Merge.kif 8047-8052	If an object is a resource for a process and the measure of the object is a real number holds during the beginning of the time of existence of the process and the measure of the object is another real number holds during the end of the time of existence of the process, then the real number is greater than the other real number
(=> (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 834-842	If a currency measure is a transaction amount of a financial transaction and date of the financial transaction is a day and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and the financial account amount due the currency measure for a time interval and the end of the day happens before the beginning of the time interval, then the financial transaction is an instance of prepayment
(=> (before (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (earlier ?INTERVAL1 ?INTERVAL2))	Merge.kif 8404-8406	If the end of a time interval happens before the beginning of another time interval, then the time interval happens earlier than the other time interval
(=> (equal (EndFn ?INTERVAL) ?POINT) (forall (?OTHERPOINT) (=> (and (temporalPart ?OTHERPOINT ?INTERVAL) (not (equal ?OTHERPOINT ?POINT))) (before ?OTHERPOINT ?POINT))))	Merge.kif 8038-8045	If the end of a time interval is equal to a time point, then for all another time point if the other time point is a part of the time interval and the other time point is not equal to the time point, then the other time point happens before the time point
(=> (equal (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (meetsTemporally ?INTERVAL1 ?INTERVAL2))	Merge.kif 8361-8365	If the end of a time interval is equal to the beginning of another time interval, then the time interval meets the other time interval
(=> (exists (?Time1 ?Time2) (and (dependencyDelay ?Program1 ?Delay) (dependencyType ?Program1 ShutdownBlock) (hasDependency ?Program1 ?Program2) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Program1) (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Program2) (equal (WhenFn ?Process2) ?Time2) (finishes ?Time ?Time1) (equal (WhenFn ?Process2) ?Time2) (equal (BeginFn ?Time) (EndFn ?Time2)))) (duration ?Time ?Delay))	QoSontology.kif 1270-1284	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and shutdown block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and a third time interval finishes the time interval and the time of existence of the other computer process is equal to the other time interval and the beginning of the third time interval is equal to the end of the other time interval, then duration of the third time interval is the time duration

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (and (instance ?COMBINE Combining) (resource ?COMBINE ?OBJ1) (result ?COMBINE ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?COMBINE)) (not (part ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?COMBINE)) (part ?OBJ1 ?OBJ2))))	Merge.kif 12488-12495	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
(=> (and (amountDue ?Account ?Amount ?DueDate) (accountHolder ?Account ?Agent)) (holdsObligation (KappaFn ?Payment (and (instance ?Payment Payment) (transactionAmount ?Payment ?Amount) (or (destination ?Payment (CurrencyFn ?Account)) (origin ?Payment (CurrencyFn ?Account))) (date ?Payment ?Date) (beforeOrEqual (EndFn ?Date) (BeginFn ?DueDate)))) ?Agent))	FinancialOntology.kif 655-667	If a financial account amount due a currency measure for a time position and a cognitive agent holds account the financial account, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (and (birthdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn -6)) (instance ?Y2 (YearFn 4))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2))))	Media.kif 1936-1941	If a day is a birthdate of Jesus of Nazareth and a time interval is an instance of the year -6 and another time interval is an instance of the year 4, then the day is a part of interval between the beginning of the time interval and the end of the other time interval
(=> (and (deathdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn 29)) (instance ?Y2 (YearFn 36))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2))))	Media.kif 1943-1948	If a day is a deathdate of Jesus of Nazareth and a time interval is an instance of the year 29 and another time interval is an instance of the year 36, then the day is a part of interval between the beginning of the time interval and the end of the other time interval
(=> (and (equal (EditionFn ?TEXT ?INT1) ?EDITION1) (equal (EditionFn ?TEXT ?INT2) ?EDITION2) (greaterThan ?INT2 ?INT1) (instance ?PUB1 Publication) (instance ?PUB2 Publication) (instance ?CBO1 ?EDITION1) (instance ?CBO2 ?EDITION2) (patient ?PUB1 ?CBO1) (patient ?PUB2 ?CBO2) (date ?PUB1 ?DATE1) (date ?PUB2 ?DATE2)) (before (EndFn ?DATE1) (EndFn ?DATE2)))	Merge.kif 15537-15554	If edition a positive integer of a kind of content bearing object is equal to another kind of content bearing object and edition another positive integer of a kind of content bearing object is equal to a third kind of content bearing object and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of another kind of content bearing object and another entity is an instance of a third kind of content bearing object and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
(=> (and (instance ?A Aborting) (patient ?A ?W) (instance ?W Woman)) (and (holdsDuring (BeginFn (WhenFn ?A)) (attribute ?W Pregnant)) (holdsDuring (EndFn (WhenFn ?A)) (not (attribute ?W Pregnant)))))	Mid-level-ontology.kif 21494-21505	If a process is an instance of aborting and an entity is a patient of the process and the entity is an instance of woman, then pregnant is an attribute of the entity holds during the beginning of the time of existence of the process and pregnant is not an attribute of the entity holds during the end of the time of existence of the process
(=> (and (instance ?ACCELERATE Accelerating) (agent ?ACCELERATE ?AGENT)) (exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2) (and (holdsDuring (BeginFn (WhenFn ?ACCELERATE)) (measure ?AGENT (SpeedFn (MeasureFn ?LENGTH1 ?U1) (MeasureFn ?TIME1 ?U2)))) (holdsDuring (EndFn (WhenFn ?ACCELERATE)) (measure ?AGENT (SpeedFn (MeasureFn ?LENGTH2 ?U1) (MeasureFn ?TIME2 ?U2)))) (or (greaterThan ?LENGTH2 ?LENGTH1) (greaterThan ?TIME2 ?TIME1)))))	Mid-level-ontology.kif 17142-17163	If a process is an instance of accelerating and an agent is an agent of the process, then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the other real number is greater than the real number or the fourth real number is greater than the third real number
(=> (and (instance ?ACT ActivatingUIElement) (patient ?ACT ?GUIE) (instance ?GUIE GUIElement)) (and (holdsDuring (EndFn ?ACT) (hasGUEState ?GUIE GUE_ActiveState)) (holdsDuring (BeginFn ?ACT) (not (hasGUEState ?GUIE GUE_ActiveState)))))	ComputerInput.kif 2268-2277	If a time interval is an instance of activating UI element and an entity is a patient of the time interval and the entity is an instance of GUI element, then the entity has state GUE active state holds during the end of the time interval and not the entity has state GUE active state holds during the beginning of the time interval
(=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow) (holdsDuring (BeginFn ?ACT) (hasGUEState ?WINDOW ?STATE)) (contraryAttribute ?STATE GUE_UncoveredState)) (holdsDuring (EndFn ?ACT) (not (hasGUEState ?WINDOW ?STATE))))	ComputerInput.kif 2332-2343	If a time interval is an instance of bringing GE to front and an entity is a patient of the time interval and the entity is an instance of interface window and the entity has state an attribute holds during the beginning of the time interval and the attribute is the opposite of GUE uncovered state, then not the entity has state the attribute holds during the end of the time interval
(=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow)) (holdsDuring (EndFn ?ACT) (hasGUEState ?WINDOW GUE_UncoveredState)))	ComputerInput.kif 2347-2354	If a time interval is an instance of bringing GE to front and an entity is a patient of the time interval and the entity is an instance of interface window, then the entity has state GUE uncovered state holds during the end of the time interval
(=> (and (instance ?ALT ShapeChange) (patient ?ALT ?OBJ)) (exists (?PROPERTY) (and (instance ?PROPERTY ShapeAttribute) (or (and (holdsDuring (BeginFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (EndFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY)))) (and (holdsDuring (BeginFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY))) (holdsDuring (EndFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)))))))	Merge.kif 12678-12691	If a process is an instance of shape change and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of shape attribute and the other entity is an attribute of the entity holds during the beginning of the time of existence of the process and the other entity is not an attribute of the entity holds during the end of the time of existence of the process or the other entity is not an attribute of the entity holds during the beginning of the time of existence of the process and the other entity is an attribute of the entity holds during the end of the time of existence of the process
(=> (and (instance ?ALT SurfaceChange) (patient ?ALT ?OBJ)) (exists (?PART ?PROPERTY) (and (superficialPart ?PART ?OBJ) (or (and (holdsDuring (BeginFn (WhenFn ?ALT)) (attribute ?PART ?PROPERTY)) (holdsDuring (EndFn (WhenFn ?ALT)) (not (attribute ?PART ?PROPERTY)))) (and (holdsDuring (BeginFn (WhenFn ?ALT)) (not (attribute ?PART ?PROPERTY))) (holdsDuring (EndFn (WhenFn ?ALT)) (attribute ?PART ?PROPERTY)))))))	Merge.kif 12638-12651	If a process is an instance of surface change and an object is a patient of the process, then there exist another object and an entity such that the other object is a superficial part of the object and the entity is an attribute of the other object holds during the beginning of the time of existence of the process and the entity is not an attribute of the other object holds during the end of the time of existence of the process or the entity is not an attribute of the other object holds during the beginning of the time of existence of the process and the entity is an attribute of the other object holds during the end of the time of existence of the process
(=> (and (instance ?ATC AddToCart) (instance ?OBJ Object) (patient ?ATC ?OBJ) (agent ?ATC ?USER)) (exists (?COLL ?SITE ?AFTER ?INTERVAL) (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?INTERVAL TimeInterval) (webcart ?USER ?COLL ?SITE) (equal (BeginFn ?INTERVAL) (EndFn ?ATC)) (holdsDuring ?AFTER (member ?OBJ ?COLL)))))	UXExperimentalTerms.kif 1326-1342	If a time interval is an instance of add to cart and an entity is an instance of object and the entity is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a web site,, , a time position and another time interval such that the collection is an instance of collection and the web site is an instance of web site and the other time interval is an instance of time interval and user the agent at the web site has cart the collection and the beginning of the other time interval is equal to the end of the time interval and the entity is a member of the collection holds during the time position
(=> (and (instance ?ATTACH Attaching) (patient ?ATTACH ?OBJ1) (patient ?ATTACH ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?ATTACH)) (not (connected ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?ATTACH)) (connected ?OBJ1 ?OBJ2))))	Merge.kif 12382-12389	If a process is an instance of attaching and an entity is a patient of the process and another entity is a patient of the process, then the entity is not connected to the other entity holds during the beginning of the time of existence of the process and the entity is connected to the other entity holds during the end of the time of existence of the process
(=> (and (instance ?B BecomingDrunk) (experiencer ?B ?A)) (and (holdsDuring (BeginFn (WhenFn ?B)) (attribute ?A Sober)) (holdsDuring (EndFn (WhenFn ?B)) (attribute ?A Drunk))))	Mid-level-ontology.kif 16342-16352	If a process is an instance of becoming drunk and an agent experiences the process, then sober is an attribute of the agent holds during the beginning of the time of existence of the process and drunk is an attribute of the agent holds during the end of the time of existence of the process
(=> (and (instance ?B Boarding) (agent ?B ?A) (patient ?B ?V)) (and (holdsDuring (BeginFn (WhenFn ?B)) (not (onboard ?A ?V))) (holdsDuring (EndFn (WhenFn ?B)) (onboard ?A ?V))))	Mid-level-ontology.kif 17385-17396	If a process is an instance of boarding and an agent is an agent of the process and an entity is a patient of the process, then not the agent is onboard the entity holds during the beginning of the time of existence of the process and the agent is onboard the entity holds during the end of the time of existence of the process
(=> (and (instance ?B Deboarding) (agent ?B ?A) (patient ?B ?V)) (and (holdsDuring (BeginFn (WhenFn ?B)) (onboard ?A ?V)) (holdsDuring (EndFn (WhenFn ?B)) (not (onboard ?A ?V)))))	Mid-level-ontology.kif 17426-17438	If a process is an instance of deboarding and an agent is an agent of the process and an entity is a patient of the process, then the agent is onboard the entity holds during the beginning of the time of existence of the process and not the agent is onboard the entity holds during the end of the time of existence of the process
(=> (and (instance ?B Object) (roastedToTemperature ?B ?T)) (exists (?H) (and (instance ?H Heating) (patient ?H ?B) (holdsDuring (EndFn (WhenFn ?H)) (measure ?B (MeasureFn ?T CelsiusDegree))))))	Food.kif 468-478	If a food is an instance of object and a real number is the temperature at which the food is roasted to, then there exists a process such that the process is an instance of heating and the food is a patient of the process and the measure of the food is the real number celsius degree(s) holds during the end of the time of existence of the process
(=> (and (instance ?B SoberingUp) (experiencer ?B ?A)) (and (holdsDuring (BeginFn (WhenFn ?B)) (attribute ?A Drunk)) (holdsDuring (EndFn (WhenFn ?B)) (attribute ?A Sober))))	Mid-level-ontology.kif 16362-16372	If a process is an instance of sobering up and an agent experiences the process, then drunk is an attribute of the agent holds during the beginning of the time of existence of the process and sober is an attribute of the agent holds during the end of the time of existence of the process
(=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (exists (?BLOOD) (and (instance ?BLOOD Blood) (holdsDuring (BeginFn (WhenFn ?BLEED)) (part ?BLOOD ?ANIMAL)) (holdsDuring (EndFn (WhenFn ?BLEED)) (not (part ?BLOOD ?ANIMAL))))))	Mid-level-ontology.kif 21394-21402	If a process is an instance of bleeding and an agent experiences the process, then there exists an entity such that the entity is an instance of blood and the entity is a part of the agent holds during the beginning of the time of existence of the process and the entity is not a part of the agent holds during the end of the time of existence of the process
(=> (and (instance ?BOIL Boiling) (patient ?BOIL ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?BOIL)) (attribute ?PART Liquid)) (holdsDuring (EndFn (WhenFn ?BOIL)) (attribute ?PART Gas)))))	Merge.kif 13955-13963	If a process is an instance of boiling and an object is a patient of the process, then there exists another object such that the other object is a part of the object and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process
(=> (and (instance ?C CausingHappiness) (patient ?C ?P)) (and (holdsDuring (BeginFn (WhenFn ?C)) (not (attribute ?P Happiness))) (holdsDuring (EndFn (WhenFn ?C)) (attribute ?P Happiness))))	Mid-level-ontology.kif 23767-23778	If a process is an instance of causing happiness and an entity is a patient of the process, then happiness is not an attribute of the entity holds during the beginning of the time of existence of the process and happiness is an attribute of the entity holds during the end of the time of existence of the process
(=> (and (instance ?C CausingUnhappiness) (patient ?C ?P)) (and (holdsDuring (BeginFn (WhenFn ?C)) (not (attribute ?P Unhappiness))) (holdsDuring (EndFn (WhenFn ?C)) (attribute ?P Unhappiness))))	Mid-level-ontology.kif 23788-23799	If a process is an instance of causing unhappiness and an entity is a patient of the process, then unhappiness is not an attribute of the entity holds during the beginning of the time of existence of the process and unhappiness is an attribute of the entity holds during the end of the time of existence of the process
(=> (and (instance ?C ChurningButter) (instance ?E Emulsion) (patient ?C ?E)) (exists (?M ?B) (and (holdsDuring (BeginFn (WhenFn ?C)) (and (equal ?E ?M) (instance ?M Milk))) (holdsDuring (EndFn (WhenFn ?C)) (and (equal ?E ?B) (instance ?B Butter))))))	Food.kif 3076-3094	If a process is an instance of churning butter and an entity is an instance of emulsion and the entity is a patient of the process, then there exist another entity and a third entity such that the entity is equal to the other entity and the other entity is an instance of milk holds during the beginning of the time of existence of the process and the entity is equal to the third entity and the third entity is an instance of butter holds during the end of the time of existence of the process
(=> (and (instance ?C Cricothyroidotomy) (patient ?C ?O)) (holdsDuring (EndFn (WhenFn ?C)) (exists (?H) (and (instance ?H HoleRegion) (equal ?T (HoleHostFn ?H)) (instance ?T Throat) (part ?T ?O)))))	Medicine.kif 754-765	If a process is an instance of cricothyrotomy and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of hole and a third entity is equal to the host of the hole the other entity and the third entity is an instance of throat and the third entity is a part of the entity holds during the end of the time of existence of the process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: