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 7980-7981
(domain EndFn 1 TimeInterval)	Merge.kif 7977-7977	domain EndFn, 1 and TimeInterval
(instance EndFn TemporalRelation)	Merge.kif 7974-7974	instance EndFn and TemporalRelation
(instance EndFn TotalValuedRelation)	Merge.kif 7976-7976	instance EndFn and TotalValuedRelation
(instance EndFn UnaryFunction)	Merge.kif 7975-7975	instance EndFn and UnaryFunction
(range EndFn TimePoint)	Merge.kif 7978-7978	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 22030-22030
(termFormat ChineseLanguage EndFn "结束函数")	chinese_format.kif 452-452
(termFormat ChineseTraditionalLanguage EndFn "結束")	domainEnglishFormat.kif 22029-22029
(termFormat EnglishLanguage EndFn "end")	domainEnglishFormat.kif 22028-22028

antecedent

(=> (and (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1)) (equal (EndFn ?INTERVAL2) (EndFn ?INTERVAL1))) (finishes ?INTERVAL1 ?INTERVAL2))	Merge.kif 8053-8061	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 8021-8029	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 22870-22875	equal TimePoint and BeginFn WhenFn Process equal TimePoint and EndFn WhenFn AutonomousAgent benefits Process and AutonomousAgent 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 29511-29520	equal TimePoint and BeginFn WhenFn Process equal TimePoint and EndFn WhenFn AutonomousAgent suffers Process and AutonomousAgent 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 12242-12256	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 3965-3990	instance AccessingWebPage and AccessingWebPage instance Entity and WebPage instance Process and DataTransfer instance Object and Server instance Process and Requesting instance AutonomousAgent and WebBrowser instance TimeInterval and TimeInterval patient AccessingWebPage and Entity agent Process and AutonomousAgent destination Process and Object patient Process and Entity origin Process and Object destination Process and AutonomousAgent 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 1087-1099	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 11567-11574	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 12290-12299	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 2467-2477	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 8319-8329	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 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 1702-1724	instance TimeInterval and TimeInterval_CLASS subclass TimeInterval_CLASS and Process instance AccessingWebPage and AccessingWebPage instance AutonomousAgent and AutonomousAgent agent TimeInterval and AutonomousAgent agent AccessingWebPage and AutonomousAgent during TimeInterval and AccessingWebPage instance Physical and TimeInterval TimeInterval instance TimeInterval and TimeInterval_CLASS agent TimeInterval and AutonomousAgent 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 8227-8232	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 8234-8244	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 12663-12669	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 2683-2699	property Agreement and Option optionHolder Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval price FinancialInstrument, CurrencyMeasure and AutonomousAgent instance AutonomousAgent and TimeInterval before EndFn AutonomousAgent and BeginFn TimeInterval underlier Agreement and FinancialInstrument holdsRight KappaFn SymbolicString and instance SymbolicString and Selling patient SymbolicString and FinancialInstrument time SymbolicString and AutonomousAgent 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 2637-2653	property Agreement and Option optionHolder Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval underlier Agreement and FinancialInstrument price FinancialInstrument, CurrencyMeasure and AutonomousAgent instance AutonomousAgent and TimeInterval before EndFn AutonomousAgent and BeginFn TimeInterval holdsRight KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and FinancialInstrument time SymbolicString and AutonomousAgent 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 2701-2717	property Agreement and Option optionSeller Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval price FinancialInstrument, CurrencyMeasure and AutonomousAgent instance AutonomousAgent and TimeInterval before EndFn AutonomousAgent and BeginFn TimeInterval underlier Agreement and FinancialInstrument holdsObligation KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and FinancialInstrument time SymbolicString and AutonomousAgent 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 2655-2673	property Agreement and Option optionSeller Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval underlier Agreement and FinancialInstrument price FinancialInstrument, CurrencyMeasure and AutonomousAgent instance AutonomousAgent and TimeInterval before EndFn AutonomousAgent and BeginFn TimeInterval holdsObligation KappaFn SymbolicString and instance SymbolicString and Selling patient SymbolicString and FinancialInstrument time SymbolicString and AutonomousAgent 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 7992-7997	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 834-842	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 8347-8349	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 7983-7990	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 8304-8308	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 1270-1284	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 12325-12332	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 1936-1941	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 1943-1948	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 15365-15382	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 21274-21285	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 16986-17007	instance Process and Accelerating agent Process and AutonomousAgent RealNumber RealNumber, RealNumber, RealNumber, entity and entity holdsDuring BeginFn WhenFn Process and measure AutonomousAgent and SpeedFn MeasureFn RealNumber and entity and MeasureFn RealNumber and entity holdsDuring EndFn WhenFn Process and measure AutonomousAgent 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 ?ACT) (hasGUEState ?GUIE GUE_ActiveState)) (holdsDuring (BeginFn ?ACT) (not (hasGUEState ?GUIE GUE_ActiveState)))))	ComputerInput.kif 2268-2277	instance TimeInterval and ActivatingUIElement patient TimeInterval and Entity instance Entity and GUIElement holdsDuring EndFn TimeInterval and hasGUEState Entity and GUE_ActiveState holdsDuring BeginFn 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 2332-2343	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 2347-2354	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 12515-12528	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 12475-12488	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 ?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 1523-1539	instance TimeInterval and AddToCart instance Entity and Object patient TimeInterval and Entity agent TimeInterval and AutonomousAgent Collection WebSite, TimePosition and TimeInterval instance Collection and Collection instance WebSite and WebSite instance TimeInterval and TimeInterval webcart AutonomousAgent, 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 12219-12226	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 16186-16196	instance Process and BecomingDrunk experiencer Process and AutonomousAgent holdsDuring BeginFn WhenFn Process and attribute AutonomousAgent and Sober holdsDuring EndFn WhenFn Process and attribute AutonomousAgent 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 17229-17240	instance Process and Boarding agent Process and AutonomousAgent patient Process and Entity holdsDuring BeginFn WhenFn Process and onboard AutonomousAgent and Entity holdsDuring EndFn WhenFn Process and onboard AutonomousAgent 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 17270-17282	instance Process and Deboarding agent Process and AutonomousAgent patient Process and Entity holdsDuring BeginFn WhenFn Process and onboard AutonomousAgent and Entity holdsDuring EndFn WhenFn Process and onboard AutonomousAgent 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 16206-16216	instance Process and SoberingUp experiencer Process and AutonomousAgent holdsDuring BeginFn WhenFn Process and attribute AutonomousAgent and Drunk holdsDuring EndFn WhenFn Process and attribute AutonomousAgent 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 21174-21182	instance Process and Bleeding experiencer Process and AutonomousAgent Entity instance Entity and Blood holdsDuring BeginFn WhenFn Process and part Entity and AutonomousAgent holdsDuring EndFn WhenFn Process and part Entity and AutonomousAgent
(=> (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 13792-13800	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 23735-23746	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 23756-23767	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 16955-16960	instance Process and Catching agent Process and AutonomousAgent patient Process and Entity holdsDuring EndFn WhenFn Process and AutonomousAgent は Entity を grasps %n{ない}
(=> (and (instance ?CHANGE ChangeOfPossession) (origin ?CHANGE ?AGENT1) (destination ?CHANGE ?AGENT2) (instance ?AGENT1 AutonomousAgent) (instance ?AGENT2 AutonomousAgent) (patient ?CHANGE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ))))	Merge.kif 11576-11586	instance Process and ChangeOfPossession origin Process and Object destination Process and Entity instance Object and AutonomousAgent instance Entity and AutonomousAgent 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 12458-12469	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: