TreeView 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 7889-7890
(domain BeginFn 1 TimeInterval)	Merge.kif 7886-7886	domain BeginFn, 1 and TimeInterval
(instance BeginFn TemporalRelation)	Merge.kif 7883-7883	instance BeginFn and TemporalRelation
(instance BeginFn TotalValuedRelation)	Merge.kif 7885-7885	instance BeginFn and TotalValuedRelation
(instance BeginFn UnaryFunction)	Merge.kif 7884-7884	instance BeginFn and UnaryFunction
(range BeginFn TimePoint)	Merge.kif 7887-7887	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 7990-7998	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 7958-7966	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 22343-22348	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 28983-28992	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 23355-23372	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 23329-23343	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 490-503	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 12145-12159	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 3966-3991	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 ?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 11480-11487	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 12193-12202	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 8624-8631	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 8256-8266	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 ?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 8608-8615	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 18933-18945	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)) (and (distance ?ALOC ?D (MeasureFn ?SMALLER ?U)) (distance ?ALOC ?O (MeasureFn ?LARGER ?U)) (greaterThan ?LARGER ?SMALLER))))	Mid-level-ontology.kif 17054-17071	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 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)) (and (distance ?ALOC ?D (MeasureFn ?SMALLER ?U)) (distance ?ALOC ?O (MeasureFn ?LARGER ?U)) (greaterThan ?LARGER ?SMALLER))))	Mid-level-ontology.kif 17033-17050	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 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
(=> (and (instance ?R ChemicalReduction) (patient ?R ?S) (holdsDuring (BeginFn (WhenFn ?R)) (electronNumber ?S ?L))) (and (greaterThan ?G ?L) (holdsDuring (EndFn (WhenFn ?R)) (electronNumber ?S ?G))))	Mid-level-ontology.kif 18916-18927	instance Process and ChemicalReduction patient Process and Entity holdsDuring BeginFn WhenFn Process and electronNumber Entity and RealNumber greaterThan RealNumber and RealNumber holdsDuring EndFn WhenFn Process and electronNumber Entity and RealNumber
(=> (and (instance ?REVERSE Reversing) (patient ?REVERSE ?OBJ) (holdsDuring (BeginFn (WhenFn ?REVERSE)) (and (top ?TOP ?OBJ) (bottom ?BOTTOM ?OBJ)))) (holdsDuring (EndFn (WhenFn ?REVERSE)) (and (top ?BOTTOM ?OBJ) (bottom ?TOP ?OBJ))))	Mid-level-ontology.kif 16934-16939	instance Process and Reversing patient Process and Entity holdsDuring BeginFn WhenFn Process and top entity and Entity bottom entity and Entity holdsDuring EndFn WhenFn Process and top entity and Entity bottom entity and Entity

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 12228-12235	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 ?S ?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 5907-5920	allergic Human and Substance instance SubstanceUB and Substance holdsDuring TimePosition and meetsSpatially Substance 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 (birthdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn -6)) (instance ?Y2 (YearFn 4))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2))))	Media.kif 1934-1939	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 663-674	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 1941-1946	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 30070-30076	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 3755-3762	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 23133-23142	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 23160-23168	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 20788-20799	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 999-1012	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 16562-16583	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 12418-12431	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 12378-12391	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 12122-12129	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 15764-15774	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 16803-16814	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 16844-16856	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 15784-15794	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 20692-20700	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 13686-13694	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 23208-23219	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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: