BeginFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BeginFn ChineseLanguage "这是一个 UnaryFunction，它把一个 TimeInterval 和这个时段开始的 TimePoint 联系起来。")	chinese_format.kif 2697-2698
(documentation BeginFn EnglishLanguage "A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval begins.")	Merge.kif 7952-7953
(domain BeginFn 1 TimeInterval)	Merge.kif 7949-7949	domain BeginFn, 1 and TimeInterval
(instance BeginFn TemporalRelation)	Merge.kif 7946-7946	instance BeginFn and TemporalRelation
(instance BeginFn TotalValuedRelation)	Merge.kif 7948-7948	instance BeginFn and TotalValuedRelation
(instance BeginFn UnaryFunction)	Merge.kif 7947-7947	instance BeginFn and UnaryFunction
(range BeginFn TimePoint)	Merge.kif 7950-7950	range BeginFn and TimePoint

appearance as argument number 2

(format ChineseLanguage BeginFn "%1 的开始")	chinese_format.kif 449-449
(format EnglishLanguage BeginFn "the beginning of %1")	english_format.kif 455-455
(termFormat ChineseLanguage BeginFn "开始")	domainEnglishFormat.kif 10563-10563
(termFormat ChineseLanguage BeginFn "开始函数")	chinese_format.kif 450-450
(termFormat ChineseTraditionalLanguage BeginFn "開始")	domainEnglishFormat.kif 10562-10562
(termFormat EnglishLanguage BeginFn "begin")	domainEnglishFormat.kif 10561-10561

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 (holdsDuring ?T (attribute ?F Menopausal)) (birthdate ?F ?B) (equal ?A1 (AdditionFn (MeasureFn 49 YearDuration) ?B)) (equal ?A2 (AdditionFn (MeasureFn 52 YearDuration) ?B)) (equal ?START (BeginFn ?T))) (modalAttribute (and (greaterThan ?START ?A1) (greaterThan ?A2 ?START)) Likely))	Mid-level-ontology.kif 23882-23899	holdsDuring TimeInterval and attribute Human and Menopausal birthdate Human and RealNumber equal RealNumber and AdditionFn MeasureFn 49 and YearDuration and RealNumber equal RealNumber and AdditionFn MeasureFn 52 and YearDuration and RealNumber equal TimePoint and BeginFn TimeInterval modalAttribute greaterThan TimePoint and RealNumber greaterThan RealNumber and TimePoint and Likely
(=> (and (holdsDuring ?T1 (attribute ?F Menopausal)) (equal ?BEFORE (SubtractionFn (MeasureFn 1 YearDuration) (BeginFn ?T1))) (equal ?YBEFORE (TimeIntervalFn ?YBEFORE (BeginFn ?T1)))) (not (exists (?M) (and (instance ?M Menstruation) (experiencer ?M ?F)))))	Mid-level-ontology.kif 23856-23870	holdsDuring TimeInterval and attribute AutonomousAgent and Menopausal equal RealNumber and SubtractionFn MeasureFn 1 and YearDuration and BeginFn TimeInterval equal TimeInterval and TimeIntervalFn TimeInterval and BeginFn TimeInterval Process instance Process and Menstruation experiencer Process and AutonomousAgent
(=> (and (instance ?A Ambulating) (subProcess ?S1 ?A) (instance ?S1 Stepping) (subProcess ?S2 ?A) (instance ?S2 Stepping) (equal ?S1START (BeginFn (WhenFn ?S1))) (equal ?S2START (BeginFn (WhenFn ?S2))) (not (or (before ?S1START ?S2START) (before ?S2START ?S1START)))) (equal ?S1 ?S2))	Mid-level-ontology.kif 496-509	instance Process and Ambulating subProcess Process and Process instance Process and Stepping subProcess Process and Process instance Process and Stepping equal ProcessSTART and BeginFn WhenFn Process equal ProcessSTART and BeginFn WhenFn Process before ProcessSTART and ProcessSTART before ProcessSTART and ProcessSTART equal Process and Process
(=> (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 ?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 ?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 ?D1 (DayFn ?N1 (MonthFn ?M (YearFn ?Y)))) (instance ?D2 (DayFn ?N2 (MonthFn ?M (YearFn ?Y)))) (equal ?T1 (BeginFn ?D1)) (equal ?T2 (BeginFn ?D2)) (greaterThan ?N2 ?N1)) (before ?T1 ?T2))	Merge.kif 8687-8694	instance TimeInterval and DayFn PositiveInteger and MonthFn Month and YearFn Integer instance TimeInterval and DayFn PositiveInteger and MonthFn Month and YearFn Integer equal TimePoint and BeginFn TimeInterval equal TimePoint and BeginFn TimeInterval greaterThan PositiveInteger and PositiveInteger before TimePoint and TimePoint
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) (holdsDuring (EndFn (WhenFn ?EXPORT)) (not (located ?ITEM ?AREA))))	Economy.kif 2432-2441	instance Process and Exporting patient Process and Entity instance Entity and GeopoliticalArea holdsDuring BeginFn WhenFn Process and located Entity and Entity holdsDuring EndFn WhenFn Process and located Entity and Entity
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA1))) (exists (?AREA2) (and (instance ?AREA2 GeopoliticalArea) (not (geopoliticalSubdivision ?AREA1 ?AREA2)) (not (geopoliticalSubdivision ?AREA2 ?AREA1)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA2)))))	Economy.kif 2443-2456	instance Process and Exporting patient Process and Entity instance GeopoliticalArea and GeopoliticalArea holdsDuring BeginFn WhenFn Process and located Entity and GeopoliticalArea GeopoliticalArea instance GeopoliticalArea and GeopoliticalArea GeopoliticalArea は GeopoliticalArea の geopolitical 部分では GeopoliticalArea は GeopoliticalArea の geopolitical 部分では holdsDuring EndFn WhenFn Process and located Entity and GeopoliticalArea
(=> (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 ?H Hanukkah) (equal ?B (BeginFn ?H))) (exists (?M) (and (temporalPart ?B ?M) (instance ?M Month) (or (instance ?M November) (instance ?M December)))))	Media.kif 587-597	instance TimeInterval and Hanukkah equal TimePoint and BeginFn TimeInterval TimePosition temporalPart TimePoint and TimePosition instance TimePosition and Month instance TimePosition and November instance TimePosition and December
(=> (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 ?LOAN Loan) (equal ?START (BeginFn ?LOAN)) (totalBalance ?LOAN ?BAL)) (currentAccountBalance ?LOAN ?START ?BAL))	FinancialOntology.kif 1399-1404	instance TimeInterval and Loan equal TimePoint and BeginFn TimeInterval totalBalance TimeInterval and CurrencyMeasure currentAccountBalance TimeInterval, TimePoint and CurrencyMeasure
(=> (and (instance ?M1 (MonthFn ?N1 (YearFn ?Y))) (instance ?M2 (MonthFn ?N2 (YearFn ?Y))) (equal ?T1 (BeginFn ?M1)) (equal ?T2 (BeginFn ?M2)) (successorClass ?N1 ?N2)) (before ?T1 ?T2))	Merge.kif 8671-8678	instance TimeInterval and MonthFn Month and YearFn Integer instance TimeInterval and MonthFn Month and YearFn Integer equal TimePoint and BeginFn TimeInterval equal TimePoint and BeginFn TimeInterval successorClass Month and Month before TimePoint and TimePoint
(=> (and (instance ?O Oxidation) (patient ?O ?S) (holdsDuring (BeginFn (WhenFn ?O)) (electronNumber ?S ?G))) (exists (?L) (and (lessThan ?L ?G) (holdsDuring (EndFn (WhenFn ?O)) (electronNumber ?S ?L)))))	Mid-level-ontology.kif 19365-19377	instance Process and Oxidation patient Process and Entity holdsDuring BeginFn WhenFn Process and electronNumber Entity and RealNumber RealNumber lessThan RealNumber and RealNumber holdsDuring EndFn WhenFn Process and electronNumber Entity and RealNumber
(=> (and (instance ?P Pulling) (origin ?P ?O) (agent ?P ?A) (holdsDuring (BeginFn ?P) (located ?A ?ALOC)) (destination ?P ?D)) (holdsDuring (ImmediateFutureFn (BeginFn ?P)) (exists (?LARGER ?U ?SMALLER) (and (distance ?ALOC ?D (MeasureFn ?SMALLER ?U)) (distance ?ALOC ?O (MeasureFn ?LARGER ?U)) (greaterThan ?LARGER ?SMALLER)))))	Mid-level-ontology.kif 17481-17499	instance TimeInterval and Pulling origin TimeInterval and Object agent TimeInterval and AutonomousAgent holdsDuring BeginFn TimeInterval and located AutonomousAgent and AutonomousAgentLOC destination TimeInterval and Entity holdsDuring ImmediateFutureFn BeginFn TimeInterval and entity entity and entity distance AutonomousAgentLOC, Entity and MeasureFn entity and entity distance AutonomousAgentLOC, Object and MeasureFn entity and entity greaterThan entity and entity
(=> (and (instance ?P Pushing) (origin ?P ?O) (agent ?P ?A) (holdsDuring (BeginFn ?P) (located ?A ?ALOC)) (destination ?P ?D)) (holdsDuring (ImmediateFutureFn (BeginFn ?P)) (exists (?LARGER ?U ?SMALLER) (and (distance ?ALOC ?D (MeasureFn ?SMALLER ?U)) (distance ?ALOC ?O (MeasureFn ?LARGER ?U)) (greaterThan ?LARGER ?SMALLER)))))	Mid-level-ontology.kif 17459-17477	instance TimeInterval and Pushing origin TimeInterval and Object agent TimeInterval and AutonomousAgent holdsDuring BeginFn TimeInterval and located AutonomousAgent and AutonomousAgentLOC destination TimeInterval and Entity holdsDuring ImmediateFutureFn BeginFn TimeInterval and entity entity and entity distance AutonomousAgentLOC, Entity and MeasureFn entity and entity distance AutonomousAgentLOC, Object and MeasureFn entity and entity greaterThan entity and entity
(=> (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

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 (allergic ?H ?S) (instance ?SUB ?S) (holdsDuring ?T (meetsSpatially ?SUB ?H))) (modalAttribute (exists (?AR) (and (instance ?AR AllergicReaction) (experiencer ?AR ?H) (overlapsTemporally ?T (WhenFn ?AR)) (before (BeginFn ?T) (BeginFn (WhenFn ?AR))))) Likely))	Mid-level-ontology.kif 6191-6204	allergic Human and Substance instance SubstanceUB and Substance holdsDuring TimePosition and meetsSpatially SubstanceUB and Human modalAttribute entity instance entity and AllergicReaction experiencer entity and Human overlapsTemporally TimePosition and WhenFn entity before BeginFn TimePosition and BeginFn WhenFn entity and Likely
(=> (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 (checkOutTime ?HOTEL ?TIME) (guest ?GUEST ?HOTEL)) (expects ?HOTEL (exists (?T ?C) (and (instance ?T ?TIME) (patient ?C ?GUEST) (instance ?C CheckOutService) (agent ?C ?HOTEL) (before (BeginFn (WhenFn ?C)) ?T)))))	Hotel.kif 684-695	checkOutTime CognitiveAgent and TimePoint guest CognitiveAgent and CognitiveAgent expects CognitiveAgent and entity entity instance entity and TimePoint patient entity and CognitiveAgent instance entity and CheckOutService agent entity and CognitiveAgent before BeginFn WhenFn entity and entity
(=> (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 (destination ?MSG ?TELEX) (instance ?MSG Messaging) (patient ?MSG ?M) (instance ?TELEX Telex)) (exists (?PROC ?TEXT) (and (instrument ?PROC ?TELEX) (result ?PROC ?TEXT) (represents ?TEXT ?M) (instance ?TEXT Text) (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?PROC))))))	Communications.kif 202-214	destination Process and Object instance Process and Messaging patient Process and Entity instance Object and Telex Process Entity instrument Process and Object result Process and Entity represents Entity and Entity instance Entity and Text before BeginFn WhenFn Process and BeginFn WhenFn Process
(=> (and (firstInstanceCreated ?C ?T) (instance ?I ?C)) (beforeOrEqual ?T (BeginFn (WhenFn ?I))))	Mid-level-ontology.kif 30608-30614	firstInstanceCreated Physical and TimePoint instance Physical and Physical beforeOrEqual TimePoint and BeginFn WhenFn Physical
(=> (and (holdsDuring ?T2 ?SIT2) (holdsDuring ?T1 ?SIT1) (instance ?T1 TimeInterval) (instance ?T2 TimeInterval) (causesProposition ?SIT1 ?SIT2)) (beforeOrEqual (BeginFn ?T1) (BeginFn ?T2)))	Merge.kif 3813-3820	holdsDuring TimeInterval and Formula holdsDuring TimeInterval and Formula instance TimeInterval and TimeInterval instance TimeInterval and TimeInterval causesProposition Formula and Formula beforeOrEqual BeginFn TimeInterval and BeginFn TimeInterval
(=> (and (inList ?INT ?LIST) (equal ?LIST (TimeIntervalListFn ?TIME ?DUR))) (equal (BeginFn ?TIME) (BeginFn (FirstFn ?LIST))))	Weather.kif 1966-1973	inList Entity and ConsecutiveTimeIntervalList equal ConsecutiveTimeIntervalList and TimeIntervalListFn TimeInterval and TimeDuration equal BeginFn TimeInterval and BeginFn FirstFn ConsecutiveTimeIntervalList
(=> (and (initialPart ?C2 ?C1) (instance ?PART ?C2)) (exists (?WHOLE) (and (instance ?WHOLE ?C1) (holdsDuring (BeginFn (WhenFn ?PART)) (part ?PART ?WHOLE)))))	Mid-level-ontology.kif 23660-23669	initialPart Object and Object instance Physical and Object Entity instance Entity and Object holdsDuring BeginFn WhenFn Physical and part Physical and Entity
(=> (and (initiallyContainsPart ?C2 ?C1) (instance ?WHOLE ?C1)) (exists (?PART) (and (instance ?PART ?C2) (holdsDuring (BeginFn (WhenFn ?WHOLE)) (part ?PART ?WHOLE)))))	Mid-level-ontology.kif 23687-23695	initiallyContainsPart Object and Object instance Physical and Object Entity instance Entity and Object holdsDuring BeginFn WhenFn Physical and part Entity and Physical
(=> (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 ?A Appointing) (patient ?A ?H)) (exists (?P ?ORG) (and (holdsDuring (BeginFn (WhenFn ?A)) (not (occupiesPosition ?H ?P ?ORG))) (holdsDuring (ImmediateFutureFn (WhenFn ?A)) (occupiesPosition ?H ?P ?ORG)))))	Mid-level-ontology.kif 1009-1022	instance Process and Appointing patient Process and Entity entity entity holdsDuring BeginFn WhenFn Process and occupiesPosition Entity, entity and entity holdsDuring ImmediateFutureFn WhenFn Process and occupiesPosition Entity, entity and entity
(=> (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 ?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

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: