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 7897-7898
(domain BeginFn 1 TimeInterval)	Merge.kif 7894-7894	domain BeginFn, 1 and TimeInterval
(instance BeginFn TemporalRelation)	Merge.kif 7891-7891	instance BeginFn and TemporalRelation
(instance BeginFn TotalValuedRelation)	Merge.kif 7893-7893	instance BeginFn and TotalValuedRelation
(instance BeginFn UnaryFunction)	Merge.kif 7892-7892	instance BeginFn and UnaryFunction
(range BeginFn TimePoint)	Merge.kif 7895-7895	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 10568-10568
(termFormat ChineseLanguage BeginFn "开始函数")	chinese_format.kif 450-450
(termFormat ChineseTraditionalLanguage BeginFn "開始")	domainEnglishFormat.kif 10567-10567
(termFormat EnglishLanguage BeginFn "begin")	domainEnglishFormat.kif 10566-10566

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 (holdsDuring ?T (attribute ?F Menopausal)) (birthdate ?F ?B) (equal ?A1 (AdditionFn (YearDuration 49) ?B)) (equal ?A2 (AdditionFn (YearDuration 52) ?B)) (equal ?START (BeginFn ?T))) (modalAttribute (and (greaterThan ?START ?A1) (greaterThan ?A2 ?START)) Likely))	Mid-level-ontology.kif 23464-23481	holdsDuring TimeInterval and attribute Human and Menopausal birthdate Human and RealNumber equal RealNumber and AdditionFn YearDuration 49 and RealNumber equal RealNumber and AdditionFn YearDuration 52 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 (YearDuration 1) (BeginFn ?T1))) (equal ?YBEFORE (TimeIntervalFn ?YBEFORE (BeginFn ?T1)))) (not (exists (?M) (and (instance ?M Menstruation) (experiencer ?M ?F)))))	Mid-level-ontology.kif 23438-23452	holdsDuring TimeInterval and attribute Agent and Menopausal equal RealNumber and SubtractionFn YearDuration 1 and BeginFn TimeInterval equal TimeInterval and TimeIntervalFn TimeInterval and BeginFn TimeInterval Process instance Process and Menstruation experiencer Process and Agent
(=> (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 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 ?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 ?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 ?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 8632-8639	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))) (exists (?AREA2) (and (instance ?AREA2 GeopoliticalArea) (not (geopoliticalSubdivision ?AREA1 ?AREA2)) (not (geopoliticalSubdivision ?AREA2 ?AREA1)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA2)))))	Economy.kif 2442-2455	instance Process and Exporting patient Process and Entity instance Entity and GeopoliticalArea holdsDuring BeginFn WhenFn Process and located Entity and Entity Entity instance Entity and GeopoliticalArea Entity は Entity の geopolitical 部分では Entity は Entity の geopolitical 部分では holdsDuring EndFn WhenFn Process and located Entity and Entity
(=> (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 2431-2440	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) (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 ?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 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 ?LOAN Loan) (equal ?START (BeginFn ?LOAN)) (totalBalance ?LOAN ?BAL)) (currentAccountBalance ?LOAN ?START ?BAL))	FinancialOntology.kif 1398-1403	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 8616-8623	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 19018-19030	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 17132-17150	instance TimeInterval and Pulling origin TimeInterval and Object agent TimeInterval and Agent holdsDuring BeginFn TimeInterval and located Agent and AgentLOC destination TimeInterval and Entity holdsDuring ImmediateFutureFn BeginFn TimeInterval and entity entity and entity distance AgentLOC, Entity and MeasureFn entity and entity distance AgentLOC, 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 17110-17128	instance TimeInterval and Pushing origin TimeInterval and Object agent TimeInterval and Agent holdsDuring BeginFn TimeInterval and located Agent and AgentLOC destination TimeInterval and Entity holdsDuring ImmediateFutureFn BeginFn TimeInterval and entity entity and entity distance AgentLOC, Entity and MeasureFn entity and entity distance AgentLOC, Object and MeasureFn entity and entity greaterThan entity and entity
(=> (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

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 (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 5938-5951	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 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 (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 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 (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 30196-30202	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 3763-3770	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 1965-1972	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 23242-23251	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 23269-23277	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 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 ?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 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 ?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

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: