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 7925-7926
(domain EndFn 1 TimeInterval)	Merge.kif 7922-7922	domain EndFn, 1 and TimeInterval
(instance EndFn TemporalRelation)	Merge.kif 7919-7919	instance EndFn and TemporalRelation
(instance EndFn TotalValuedRelation)	Merge.kif 7921-7921	instance EndFn and TotalValuedRelation
(instance EndFn UnaryFunction)	Merge.kif 7920-7920	instance EndFn and UnaryFunction
(range EndFn TimePoint)	Merge.kif 7923-7923	range EndFn and TimePoint

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
(termFormat ChineseLanguage EndFn "结束")	domainEnglishFormat.kif 22035-22035
(termFormat ChineseLanguage EndFn "结束函数")	chinese_format.kif 452-452
(termFormat ChineseTraditionalLanguage EndFn "結束")	domainEnglishFormat.kif 22034-22034
(termFormat EnglishLanguage EndFn "end")	domainEnglishFormat.kif 22033-22033

antecedent

(=> (and (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1)) (equal (EndFn ?INTERVAL2) (EndFn ?INTERVAL1))) (finishes ?INTERVAL1 ?INTERVAL2))	Merge.kif 7998-8006	before BeginFn TimeInterval and BeginFn TimeInterval equal EndFn TimeInterval and EndFn TimeInterval finishes TimeInterval and TimeInterval
(=> (and (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))) (starts ?INTERVAL1 ?INTERVAL2))	Merge.kif 7966-7974	equal BeginFn TimeInterval and BeginFn TimeInterval before EndFn TimeInterval and EndFn TimeInterval starts TimeInterval and TimeInterval
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (benefits ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND))	Mid-level-ontology.kif 22452-22457	equal TimePoint and BeginFn WhenFn Process equal TimePoint and EndFn WhenFn Agent benefits Process and Agent before TimePoint and TimePoint
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND))	Mid-level-ontology.kif 29099-29108	equal TimePoint and BeginFn WhenFn Process equal TimePoint and EndFn WhenFn Agent suffers Process and Agent before TimePoint and TimePoint
(=> (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 12160-12174	instance Process and Attaching patient Process and Entity patient Process and Entity holdsDuring BeginFn WhenFn Process and connected Entity and Entity holdsDuring EndFn WhenFn Process and connected Entity and Entity objectAttached Process and Entity objectAttached Process and Entity
(=> (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 3968-3993	instance AccessingWebPage and AccessingWebPage instance Entity and WebPage instance Process and DataTransfer instance Object and Server instance Process and Requesting instance Agent and WebBrowser instance TimeInterval and TimeInterval patient AccessingWebPage and Entity agent Process and Agent destination Process and Object patient Process and Entity origin Process and Object destination Process and Agent patient Process and Entity subProcess Process and AccessingWebPage subProcess Process and AccessingWebPage equal EndFn WhenFn Process and BeginFn TimeInterval equal EndFn WhenFn Process and EndFn TimeInterval equal SiteSpeedFn AccessingWebPage and TimeInterval
(=> (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 1086-1098	instance FinancialAccount and CertificateOfDeposit maturityDate FinancialAccount and Day instance Process and Withdrawal origin Process and CurrencyFn FinancialAccount date Process and Day before EndFn Day and BeginFn Day Process instance Process and Penalty destination Process and CurrencyFn FinancialAccount causes Process and 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 11493-11500	instance Process and ChangeOfPossession patient Process and Entity holdsDuring BeginFn WhenFn Process and possesses entity and Entity holdsDuring EndFn WhenFn Process and possesses entity and Entity equal entity and 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 12208-12217	instance Process and Detaching patient Process and Entity patient Process and Entity holdsDuring BeginFn WhenFn Process and connected Entity and Entity holdsDuring EndFn WhenFn Process and connected Entity and Entity objectDetached Process and Entity objectDetached Process and Entity
(=> (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 2466-2476	instance Process and Exporting patient Process and Entity instance Object and GeopoliticalArea instance Physical and GeopoliticalArea holdsDuring BeginFn WhenFn Process and located Entity and Object holdsDuring EndFn WhenFn Process and located Entity and Physical located Physical and Object
(=> (and (instance ?INTERVAL1 TimeInterval) (instance ?INTERVAL2 TimeInterval) (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (equal (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))) (equal ?INTERVAL1 ?INTERVAL2))	Merge.kif 8264-8274	instance TimeInterval and TimeInterval instance TimeInterval and TimeInterval equal BeginFn TimeInterval and BeginFn TimeInterval equal EndFn TimeInterval and EndFn TimeInterval equal TimeInterval and TimeInterval
(=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT Agent) (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 1703-1725	instance TimeInterval and TimeInterval_CLASS subclass TimeInterval_CLASS and Process instance AccessingWebPage and AccessingWebPage instance Agent and Agent agent TimeInterval and Agent agent AccessingWebPage and Agent during TimeInterval and AccessingWebPage instance Physical and TimeInterval TimeInterval instance TimeInterval and TimeInterval_CLASS agent TimeInterval and Agent during TimeInterval and AccessingWebPage before BeginFn WhenFn TimeInterval and BeginFn WhenFn TimeInterval equal BeginFn WhenFn AccessingWebPage and BeginFn WhenFn Physical equal BeginFn WhenFn TimeInterval and EndFn WhenFn Physical equal TTFxFn TimeInterval_CLASS and AccessingWebPage and Physical
(=> (and (instance ?TI TimeInterval) (equal ?S (BeginFn ?TI)) (equal ?E (EndFn ?TI))) (before ?S ?E))	Merge.kif 8172-8177	instance TimeInterval and TimeInterval equal TimePoint and BeginFn TimeInterval equal TimePoint and EndFn TimeInterval before TimePoint and TimePoint
(=> (and (instance ?TI1 TimeInterval) (instance ?TI2 TimeInterval) (beforeOrEqual (BeginFn ?TI2) (BeginFn ?TI1)) (before (BeginFn ?TI1) (EndFn ?TI2))) (overlapsTemporally ?TI2 ?TI1))	Merge.kif 8179-8189	instance TimeInterval and TimeInterval instance TimeInterval and TimeInterval beforeOrEqual BeginFn TimeInterval and BeginFn TimeInterval before BeginFn TimeInterval and EndFn TimeInterval overlapsTemporally TimeInterval and TimeInterval
(=> (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))) (instance ?PROCESS Creation))	Merge.kif 12581-12587	patient Process and Physical time Physical and EndFn WhenFn Process time Physical and BeginFn WhenFn Process instance Process and 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 2677-2693	property Agreement and Option optionHolder Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval price FinancialInstrument, CurrencyMeasure and Agent instance Agent and TimeInterval before EndFn Agent and BeginFn TimeInterval underlier Agreement and FinancialInstrument holdsRight KappaFn SymbolicString and instance SymbolicString and Selling patient SymbolicString and FinancialInstrument time SymbolicString and Agent measure FinancialInstrument and MeasureFn 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
(=> (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 2631-2647	property Agreement and Option optionHolder Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval underlier Agreement and FinancialInstrument price FinancialInstrument, CurrencyMeasure and Agent instance Agent and TimeInterval before EndFn Agent and BeginFn TimeInterval holdsRight KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and FinancialInstrument time SymbolicString and Agent measure FinancialInstrument and MeasureFn 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
(=> (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 2695-2711	property Agreement and Option optionSeller Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval price FinancialInstrument, CurrencyMeasure and Agent instance Agent and TimeInterval before EndFn Agent and BeginFn TimeInterval underlier Agreement and FinancialInstrument holdsObligation KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and FinancialInstrument time SymbolicString and Agent measure FinancialInstrument and MeasureFn 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
(=> (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 2649-2667	property Agreement and Option optionSeller Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval underlier Agreement and FinancialInstrument price FinancialInstrument, CurrencyMeasure and Agent instance Agent and TimeInterval before EndFn Agent and BeginFn TimeInterval holdsObligation KappaFn SymbolicString and instance SymbolicString and Selling patient SymbolicString and FinancialInstrument time SymbolicString and Agent measure FinancialInstrument and MeasureFn 100 and ShareUnit agent SymbolicString and entity and CognitiveAgent
(=> (and (resource ?PROC ?OBJ) (holdsDuring (BeginFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT1)) (holdsDuring (EndFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT2))) (greaterThan ?QUANT1 ?QUANT2))	Merge.kif 7937-7942	resource Process and Object holdsDuring BeginFn WhenFn Process and measure Object and RealNumber holdsDuring EndFn WhenFn Process and measure Object and RealNumber greaterThan RealNumber and RealNumber
(=> (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 833-841	transactionAmount FinancialTransaction and CurrencyMeasure date FinancialTransaction and Day instance FinancialAccount and FinancialAccount destination FinancialTransaction and CurrencyFn FinancialAccount amountDue FinancialAccount, CurrencyMeasure and TimeInterval before EndFn Day and BeginFn TimeInterval instance FinancialTransaction and Prepayment
(=> (before (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (earlier ?INTERVAL1 ?INTERVAL2))	Merge.kif 8292-8294	before EndFn TimeInterval and BeginFn TimeInterval earlier TimeInterval and TimeInterval
(=> (equal (EndFn ?INTERVAL) ?POINT) (forall (?OTHERPOINT) (=> (and (temporalPart ?OTHERPOINT ?INTERVAL) (not (equal ?OTHERPOINT ?POINT))) (before ?OTHERPOINT ?POINT))))	Merge.kif 7928-7935	equal EndFn TimeInterval and TimePoint TimePoint temporalPart TimePoint and TimeInterval equal TimePoint and TimePoint before TimePoint and TimePoint
(=> (equal (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (meetsTemporally ?INTERVAL1 ?INTERVAL2))	Merge.kif 8249-8253	equal EndFn TimeInterval and BeginFn TimeInterval meetsTemporally TimeInterval and TimeInterval
(=> (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 1275-1289	TimeInterval TimeInterval dependencyDelay ComputerProgram and TimeDuration dependencyType ComputerProgram and ShutdownBlock hasDependency ComputerProgram and ComputerProgram instance ComputerProcess and ComputerProcess programRunning ComputerProcess and ComputerProgram instance ComputerProcess and ComputerProcess programRunning ComputerProcess and ComputerProgram equal WhenFn ComputerProcess and TimeInterval finishes TimeInterval and TimeInterval equal WhenFn ComputerProcess and TimeInterval equal BeginFn TimeInterval and EndFn TimeInterval duration TimeInterval and TimeDuration

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 12243-12250	instance Process and Combining resource Process and Object result Process and Entity holdsDuring BeginFn WhenFn Process and part Object and Entity holdsDuring EndFn WhenFn Process and part Object and Entity
(=> (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	amountDue FinancialAccount, CurrencyMeasure and TimePosition accountHolder FinancialAccount and CognitiveAgent holdsObligation KappaFn SymbolicString and instance SymbolicString and Payment transactionAmount SymbolicString and CurrencyMeasure destination SymbolicString and CurrencyFn FinancialAccount origin SymbolicString and CurrencyFn FinancialAccount date SymbolicString and entity beforeOrEqual EndFn entity and BeginFn TimePosition and CognitiveAgent
(=> (and (birthdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn -6)) (instance ?Y2 (YearFn 4))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2))))	Media.kif 1922-1927	birthdate JesusOfNazareth and Day instance TimeInterval and YearFn -6 instance TimeInterval and YearFn 4 temporalPart Day and TimeIntervalFn BeginFn TimeInterval and EndFn TimeInterval
(=> (and (deathdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn 29)) (instance ?Y2 (YearFn 36))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2))))	Media.kif 1929-1934	deathdate JesusOfNazareth and Day instance TimeInterval and YearFn 29 instance TimeInterval and YearFn 36 temporalPart Day and TimeIntervalFn BeginFn TimeInterval and EndFn TimeInterval
(=> (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 15261-15278	equal EditionFn ContentBearingObject and PositiveInteger and ContentBearingObject equal EditionFn ContentBearingObject and PositiveInteger and ContentBearingObject greaterThan PositiveInteger and PositiveInteger instance Process and Publication instance Process and Publication instance Entity and ContentBearingObject instance Entity and ContentBearingObject patient Process and Entity patient Process and Entity date Process and Day date Process and Day before EndFn Day and EndFn 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 20896-20907	instance Process and Aborting patient Process and Entity instance Entity and Woman holdsDuring BeginFn WhenFn Process and attribute Entity and Pregnant holdsDuring EndFn WhenFn Process and attribute Entity and Pregnant
(=> (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 16637-16658	instance Process and Accelerating agent Process and Agent RealNumber RealNumber, RealNumber, RealNumber, entity and entity holdsDuring BeginFn WhenFn Process and measure Agent and SpeedFn MeasureFn RealNumber and entity and MeasureFn RealNumber and entity holdsDuring EndFn WhenFn Process and measure Agent and SpeedFn MeasureFn RealNumber and entity and MeasureFn RealNumber and entity greaterThan RealNumber and RealNumber greaterThan RealNumber and RealNumber
(=> (and (instance ?ACT ActivatingUIElement) (patient ?ACT ?GUIE) (instance ?GUIE GUIElement)) (and (holdsDuring (EndFn ?SELECT) (hasGUEState ?GUIE GUE_ActiveState)) (holdsDuring (StartFn ?SELECT) (not (hasGUEState ?GUIE GUE_ActiveState)))))	ComputerInput.kif 2265-2274	instance Process and ActivatingUIElement patient Process and Entity instance Entity and GUIElement holdsDuring EndFn TimeInterval and hasGUEState Entity and GUE_ActiveState holdsDuring StartFn TimeInterval and hasGUEState Entity and GUE_ActiveState
(=> (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 2329-2340	instance TimeInterval and BringingGEToFront patient TimeInterval and Entity instance Entity and InterfaceWindow holdsDuring BeginFn TimeInterval and hasGUEState Entity and Attribute contraryAttribute Attribute and GUE_UncoveredState holdsDuring EndFn TimeInterval and hasGUEState Entity and Attribute
(=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow)) (holdsDuring (EndFn ?ACT) (hasGUEState ?WINDOW GUE_UncoveredState)))	ComputerInput.kif 2344-2351	instance TimeInterval and BringingGEToFront patient TimeInterval and Entity instance Entity and InterfaceWindow holdsDuring EndFn TimeInterval and hasGUEState Entity and GUE_UncoveredState
(=> (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 12433-12446	instance Process and ShapeChange patient Process and Entity Entity instance Entity and ShapeAttribute holdsDuring BeginFn WhenFn Process and attribute Entity and Entity holdsDuring EndFn WhenFn Process and attribute Entity and Entity holdsDuring BeginFn WhenFn Process and attribute Entity and Entity holdsDuring EndFn WhenFn Process and attribute Entity and Entity
(=> (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 12393-12406	instance Process and SurfaceChange patient Process and Object Object entity superficialPart Object and Object holdsDuring BeginFn WhenFn Process and attribute Object and entity holdsDuring EndFn WhenFn Process and attribute Object and entity holdsDuring BeginFn WhenFn Process and attribute Object and entity holdsDuring EndFn WhenFn Process and attribute Object and entity
(=> (and (instance ?ATC AddToCart) (instance ?OBJ Object) (patient ?ATC ?OBJ) (agent ?ATC ?USER)) (exists (?COLL ?SITE ?AFTER) (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 1523-1539	instance TimeInterval and AddToCart instance Entity and Object patient TimeInterval and Entity agent TimeInterval and Agent Collection WebSite and TimePosition instance Collection and Collection instance WebSite and WebSite instance TimeInterval and TimeInterval webcart Agent, Collection and WebSite equal BeginFn TimeInterval and EndFn TimeInterval holdsDuring TimePosition and member Entity and Collection
(=> (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 12137-12144	instance Process and Attaching patient Process and Entity patient Process and Entity holdsDuring BeginFn WhenFn Process and connected Entity and Entity holdsDuring EndFn WhenFn Process and connected Entity and Entity
(=> (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 15839-15849	instance Process and BecomingDrunk experiencer Process and Agent holdsDuring BeginFn WhenFn Process and attribute Agent and Sober holdsDuring EndFn WhenFn Process and attribute Agent and Drunk
(=> (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 16880-16891	instance Process and Boarding agent Process and Agent patient Process and Entity holdsDuring BeginFn WhenFn Process and onboard Agent and Entity holdsDuring EndFn WhenFn Process and onboard Agent and Entity
(=> (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 16921-16933	instance Process and Deboarding agent Process and Agent patient Process and Entity holdsDuring BeginFn WhenFn Process and onboard Agent and Entity holdsDuring EndFn WhenFn Process and onboard Agent and Entity
(=> (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 15859-15869	instance Process and SoberingUp experiencer Process and Agent holdsDuring BeginFn WhenFn Process and attribute Agent and Drunk holdsDuring EndFn WhenFn Process and attribute Agent and Sober
(=> (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 20796-20804	instance Process and Bleeding experiencer Process and Agent Entity instance Entity and Blood holdsDuring BeginFn WhenFn Process and part Entity and Agent holdsDuring EndFn WhenFn Process and part Entity and Agent
(=> (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 13706-13714	instance Process and Boiling patient Process and Object Object part Object and Object holdsDuring BeginFn WhenFn Process and attribute Object and Liquid holdsDuring EndFn WhenFn Process and attribute Object and Gas
(=> (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 23317-23328	instance Process and CausingHappiness patient Process and Entity holdsDuring BeginFn WhenFn Process and attribute Entity and Happiness holdsDuring EndFn WhenFn Process and attribute Entity and Happiness
(=> (and (instance ?C CausingHappiness) (patient ?C ?P)) (and (holdsDuring (BeginFn (WhenFn ?C)) (not (attribute ?P Unhappiness))) (holdsDuring (EndFn (WhenFn ?C)) (attribute ?P Unhappiness))))	Mid-level-ontology.kif 23338-23349	instance Process and CausingHappiness patient Process and Entity holdsDuring BeginFn WhenFn Process and attribute Entity and Unhappiness holdsDuring EndFn WhenFn Process and attribute Entity and Unhappiness
(=> (and (instance ?CATCH Catching) (agent ?CATCH ?AGENT) (patient ?CATCH ?BALL)) (holdsDuring (EndFn (WhenFn ?CATCH)) (grasps ?AGENT ?BALL)))	Mid-level-ontology.kif 16606-16611	instance Process and Catching agent Process and Agent patient Process and Entity holdsDuring EndFn WhenFn Process and Agent は Entity を grasps %n{ない}
(=> (and (instance ?CHANGE ChangeOfPossession) (origin ?CHANGE ?AGENT1) (destination ?CHANGE ?AGENT2) (instance ?AGENT1 Agent) (instance ?AGENT2 Agent) (patient ?CHANGE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ))))	Merge.kif 11502-11512	instance Process and ChangeOfPossession origin Process and Object destination Process and Entity instance Object and Agent instance Entity and Agent patient Process and Entity holdsDuring BeginFn WhenFn Process and possesses Object and Entity holdsDuring EndFn WhenFn Process and possesses Entity and Entity
(=> (and (instance ?CHANGE InternalChange) (patient ?CHANGE ?OBJ)) (exists (?PROPERTY) (or (and (holdsDuring (BeginFn (WhenFn ?CHANGE)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (not (attribute ?OBJ ?PROPERTY)))) (and (holdsDuring (BeginFn (WhenFn ?CHANGE)) (not (attribute ?OBJ ?PROPERTY))) (holdsDuring (EndFn (WhenFn ?CHANGE)) (attribute ?OBJ ?PROPERTY))))))	Merge.kif 12376-12387	instance Process and InternalChange patient Process and Entity entity holdsDuring BeginFn WhenFn Process and attribute Entity and entity holdsDuring EndFn WhenFn Process and attribute Entity and entity holdsDuring BeginFn WhenFn Process and attribute Entity and entity holdsDuring EndFn WhenFn Process and attribute Entity and entity

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: