TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ImmediateFutureFn ChineseLanguage "这是一个 UnaryFunction，它把一个 TimePosition 和紧随这个 TimePosition 的一个既短而又不确定的 TimeInterval。")	chinese_format.kif 2745-2746
(documentation ImmediateFutureFn EnglishLanguage "A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately follows the TimePosition.")	Merge.kif 8433-8435
(domain ImmediateFutureFn 1 TimePosition)	Merge.kif 8430-8430	domain ImmediateFutureFn, 1 and TimePosition
(instance ImmediateFutureFn TemporalRelation)	Merge.kif 8427-8427	instance ImmediateFutureFn and TemporalRelation
(instance ImmediateFutureFn TotalValuedRelation)	Merge.kif 8429-8429	instance ImmediateFutureFn and TotalValuedRelation
(instance ImmediateFutureFn UnaryFunction)	Merge.kif 8428-8428	instance ImmediateFutureFn and UnaryFunction
(range ImmediateFutureFn TimeInterval)	Merge.kif 8431-8431	range ImmediateFutureFn and TimeInterval

appearance as argument number 2

(format ChineseLanguage ImmediateFutureFn "紧接 %1 after")	chinese_format.kif 463-463
(format EnglishLanguage ImmediateFutureFn "immediately after %1")	english_format.kif 469-469
(termFormat ChineseLanguage ImmediateFutureFn "眼前的未来")	domainEnglishFormat.kif 29340-29340
(termFormat ChineseLanguage ImmediateFutureFn "紧接未来函数")	chinese_format.kif 464-464
(termFormat ChineseTraditionalLanguage ImmediateFutureFn "眼前的未來")	domainEnglishFormat.kif 29339-29339
(termFormat EnglishLanguage ImmediateFutureFn "immediate future")	domainEnglishFormat.kif 29338-29338

antecedent

(=> (and (holdsDuring ?T (attribute ?X Booting)) (holdsDuring ?T2 (attribute ?X HostReady)) (equal ?T2 (ImmediateFutureFn (WhenFn ?T))) (instance ?DIS ComputerDisplay) (connectedEngineeringComponents ?DIS ?X)) (modalAttribute (exists (?HS) (and (instance ?HS HomeScreen) (displayedUpon ?HS ?DIS))) Likely))	ComputingBrands.kif 3197-3211	holdsDuring Physical and attribute EngineeringComponent and 起動 holdsDuring Physical and attribute EngineeringComponent and HostReady equal Physical and ImmediateFutureFn WhenFn Physical instance EngineeringComponent and ComputerDisplay connectedEngineeringComponents EngineeringComponent and EngineeringComponent modalAttribute entity instance entity and ホームスクリーン displayedUpon entity and EngineeringComponent and Likely
(=> (and (instance ?A Antacid) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?A) (instance ?S Stomach) (part ?S ?H) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (and (contains ?S ?F1) (instance ?F1 Fluid))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (and (contains ?S ?F2) (instance ?F2 Fluid))) (phMeasure ?F1 ?N1) (phMeasure ?F2 ?N2)) (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 9407-9429	instance Object and Antacid instance Motion and Ingesting agent Motion and Agent moves Motion and Object instance Object and Stomach part Object and Agent holdsDuring ImmediatePastFn WhenFn Motion and Object は Object を contains %n{ない} instance Object and Fluid holdsDuring ImmediateFutureFn WhenFn Motion and Object は Object を contains %n{ない} instance Object and Fluid phMeasure Object and RealNumber phMeasure Object and RealNumber greaterThan RealNumber and RealNumber
(=> (and (instance ?A ProtonPumpInhibitor) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?A) (instance ?S Stomach) (part ?S ?H) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (and (contains ?S ?F1) (instance ?F1 Fluid))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (and (contains ?S ?F2) (instance ?F2 Fluid))) (phMeasure ?F1 ?N1) (phMeasure ?F2 ?N2)) (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 9468-9490	instance Object and ProtonPumpInhibitor instance Motion and Ingesting agent Motion and Agent moves Motion and Object instance Object and Stomach part Object and Agent holdsDuring ImmediatePastFn WhenFn Motion and Object は Object を contains %n{ない} instance Object and Fluid holdsDuring ImmediateFutureFn WhenFn Motion and Object は Object を contains %n{ない} instance Object and Fluid phMeasure Object and RealNumber phMeasure Object and RealNumber greaterThan RealNumber and RealNumber
(=> (and (instance ?Compression DataCompression) (dataProcessed ?Compression ?Data) (holdsDuring (ImmediatePastFn (WhenFn ?Compression)) (memorySize ?Data (MeasureFn ?Memory ?Measure))) (holdsDuring (ImmediateFutureFn (WhenFn ?Compression)) (memorySize ?Data (MeasureFn ?NewMemory ?Measure)))) (lessThan ?NewMemory ?Memory))	QoSontology.kif 1931-1945	instance ComputerProcess and DataCompression dataProcessed ComputerProcess and DigitalData holdsDuring ImmediatePastFn WhenFn ComputerProcess and memorySize DigitalData and MeasureFn RealNumber and entity holdsDuring ImmediateFutureFn WhenFn ComputerProcess and memorySize DigitalData and MeasureFn RealNumber and entity lessThan RealNumber and RealNumber
(=> (and (instance ?DEPOSITION Deposition) (patient ?DEPOSITION ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?DEPOSITION)) (measure ?OBJ (MeasureFn ?X Joule))) (holdsDuring (ImmediateFutureFn (WhenFn ?DEPOSITION)) (measure ?OBJ (MeasureFn ?Y Joule)))) (lessThan ?Y ?X))	Geography.kif 6704-6718	instance Process and Deposition patient Process and Entity holdsDuring ImmediatePastFn WhenFn Process and measure Entity and MeasureFn RealNumber and Joule holdsDuring ImmediateFutureFn WhenFn Process and measure Entity and MeasureFn RealNumber and Joule lessThan RealNumber and RealNumber
(=> (and (instance ?E Motion) (instance ?T Tremor) (instance ?D Damper) (patient ?T ?O) (part ?D ?O) (causes ?E ?T) (instance ?U UnitOfLength) (holdsDuring (WhenFn ?E) (physicalAmplitude ?T (MeasureFn ?A1 ?U))) (holdsDuring (ImmediateFutureFn ?E) (physicalAmplitude ?T (MeasureFn ?A2 ?U)))) (greaterThan ?A1 ?A2))	Cars.kif 777-792	instance Process and Motion instance Process and Tremor instance Object and Damper patient Process and Object part Object and Object causes Process and Process instance Entity and UnitOfLength holdsDuring WhenFn Process and physicalAmplitude Process and MeasureFn RealNumber and Entity holdsDuring ImmediateFutureFn Process and physicalAmplitude Process and MeasureFn RealNumber and Entity greaterThan RealNumber and RealNumber
(=> (and (instance ?L Lever) (instance ?P Pushing) (instance ?M1 Motion) (instance ?U UnitOfLength) (destination ?P ?E1) (physicalEnd ?E1 ?L) (physicalEnd ?E2 ?L) (not (equal ?E1 ?E2)) (holdsDuring (ImmediatePastFn (WhenFn ?M1)) (located ?E1 ?P1)) (holdsDuring (ImmediateFutureFn (WhenFn ?M1)) (located ?E1 ?P2)) (holdsDuring (ImmediatePastFn (WhenFn ?M1)) (located ?E2 ?P3)) (holdsDuring (ImmediateFutureFn (WhenFn ?M1)) (located ?E2 ?P4)) (distance ?P1 ?P2 (MeasureFn ?D1 ?U)) (distance ?P3 ?P4 (MeasureFn ?D2 ?U))) (greaterThan ?D2 ?D1))	Mid-level-ontology.kif 1289-1312	instance Object and Lever instance Process and Pushing instance Physical and Motion instance UnitOfMeasure and UnitOfLength destination Process and Object physicalEnd Object and Object physicalEnd Object and Object equal Object and Object holdsDuring ImmediatePastFn WhenFn Physical and located Object and Process holdsDuring ImmediateFutureFn WhenFn Physical and located Object and Process holdsDuring ImmediatePastFn WhenFn Physical and located Object and Process holdsDuring ImmediateFutureFn WhenFn Physical and located Object and Process distance Process, Process and MeasureFn RealNumber and UnitOfMeasure distance Process, Process and MeasureFn RealNumber and UnitOfMeasure greaterThan RealNumber and RealNumber
(=> (and (instance ?LI LoggingIn) (hasAccount ?U ?A) (accountAtSite ?A ?S) (equal ?T (ImmediateFutureFn (WhenFn ?LI))) (agent ?LI ?U)) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?U) (patient ?P ?S)))) Possibility))	ComputingBrands.kif 3935-3949	instance Process and LoggingIn hasAccount Agent and UserAccount accountAtSite UserAccount and WebSite equal TimeInterval and ImmediateFutureFn WhenFn Process agent Process and Agent modalAttribute holdsDuring TimeInterval and entity instance entity and ComputerProcess agent entity and Agent patient entity and WebSite and Possibility
(=> (and (instance ?LI LoggingIn) (hasAccount ?U ?A) (deviceAccount ?A ?C) (equal ?T (ImmediateFutureFn (WhenFn ?LI))) (agent ?LI ?U)) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?U) (instrument ?P ?C)))) Possibility))	ComputingBrands.kif 3951-3965	instance Process and LoggingIn hasAccount Agent and UserAccount deviceAccount UserAccount and Computer equal TimeInterval and ImmediateFutureFn WhenFn Process agent Process and Agent modalAttribute holdsDuring TimeInterval and entity instance entity and ComputerProcess agent entity and Agent instrument entity and Computer and Possibility
(=> (and (instance ?MC MuscleRelaxing) (patient ?MC ?M) (instance ?M Muscle) (holdsDuring (ImmediatePastFn (WhenFn ?MC)) (length ?M (MeasureFn ?N1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?MC)) (length ?M (MeasureFn ?N2 ?U)))) (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 10063-10078	instance Process and MuscleRelaxing patient Process and Entity instance Entity and Muscle holdsDuring ImmediatePastFn WhenFn Process and length Entity and MeasureFn RealNumber and entity holdsDuring ImmediateFutureFn WhenFn Process and length Entity and MeasureFn RealNumber and entity greaterThan RealNumber and RealNumber
(=> (and (instance ?MC MuscularContraction) (patient ?MC ?M) (instance ?M Muscle) (holdsDuring (ImmediatePastFn (WhenFn ?MC)) (length ?M (MeasureFn ?N1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?MC)) (length ?M (MeasureFn ?N2 ?U)))) (greaterThan ?N1 ?N2))	Mid-level-ontology.kif 10041-10056	instance Process and MuscularContraction patient Process and Entity instance Entity and Muscle holdsDuring ImmediatePastFn WhenFn Process and length Entity and MeasureFn RealNumber and entity holdsDuring ImmediateFutureFn WhenFn Process and length Entity and MeasureFn RealNumber and entity greaterThan RealNumber and RealNumber
(=> (and (instance ?SCO SelfConnectedObject) (instance ?C Compressing) (patient ?C ?SCO) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N1 ?V))) (instance ?V UnitOfVolume) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N2 ?V)))) (greaterThan ?N1 ?N2))	Cars.kif 1987-1999	instance Entity and SelfConnectedObject instance Process and Compressing patient Process and Entity holdsDuring ImmediatePastFn WhenFn Process and measure Entity and MeasureFn RealNumber and Entity instance Entity and UnitOfVolume holdsDuring ImmediateFutureFn WhenFn Process and measure Entity and MeasureFn RealNumber and Entity greaterThan RealNumber and RealNumber
(=> (and (instance ?SUBLIMATION Sublimation) (patient ?SUBLIMATION ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?SUBLIMATION)) (measure ?OBJ (MeasureFn ?X Joule))) (holdsDuring (ImmediateFutureFn (WhenFn ?SUBLIMATION)) (measure ?OBJ (MeasureFn ?Y Joule)))) (greaterThan ?Y ?X))	Geography.kif 6756-6770	instance Process and Sublimation patient Process and Entity holdsDuring ImmediatePastFn WhenFn Process and measure Entity and MeasureFn RealNumber and Joule holdsDuring ImmediateFutureFn WhenFn Process and measure Entity and MeasureFn RealNumber and Joule greaterThan RealNumber and RealNumber

consequent

(=> (agreementRevisionDate ?AGR ?DATE ?CHANGE) (exists (?TIME) (and (instance ?TIME ?DATE) (or (and (holdsDuring (ImmediatePastFn ?TIME) (not (subProposition ?CHANGE ?AGR))) (holdsDuring (ImmediateFutureFn ?TIME) (subProposition ?CHANGE ?AGR))) (and (holdsDuring (ImmediatePastFn ?TIME) (subProposition ?CHANGE ?AGR)) (holdsDuring (ImmediateFutureFn ?TIME) (not (subProposition ?CHANGE ?AGR))))))))	Government.kif 724-739	agreementRevisionDate Proposition, TimePosition and Proposition TimePosition instance TimePosition and TimePosition holdsDuring ImmediatePastFn TimePosition and subProposition Proposition and Proposition holdsDuring ImmediateFutureFn TimePosition and subProposition Proposition and Proposition holdsDuring ImmediatePastFn TimePosition and subProposition Proposition and Proposition holdsDuring ImmediateFutureFn TimePosition and subProposition Proposition and Proposition
(=> (and (agreementEffectiveDate ?AGR ?DATE) (confersObligation ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsObligation ?FORMULA ?AGENT)))	Government.kif 700-705	agreementEffectiveDate Agreement and TimePoint confersObligation Formula, Agreement and CognitiveAgent instance TimePosition and TimePoint holdsDuring ImmediateFutureFn TimePosition and holdsObligation Formula and CognitiveAgent
(=> (and (agreementEffectiveDate ?AGR ?DATE) (confersRight ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?FORMULA ?AGENT)))	Government.kif 707-712	agreementEffectiveDate Agreement and TimePoint confersRight Formula, Agreement and CognitiveAgent instance TimePosition and TimePoint holdsDuring ImmediateFutureFn TimePosition and holdsRight Formula and CognitiveAgent
(=> (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 ?ACT ActivatingADeactivatedAccount) (instance ?AC UserAccount) (patient ?ACT ?AC)) (and (holdsDuring (ImmediatePastFn (WhenFn ?ACT)) (attribute ?AC AccountDeactivated)) (holdsDuring (ImmediateFutureFn (WhenFn ?ACT)) (attribute ?AC AccountActive))))	ComputingBrands.kif 4445-4454	instance Process and ActivatingADeactivatedAccount instance Entity and UserAccount patient Process and Entity holdsDuring ImmediatePastFn WhenFn Process and attribute Entity and AccountDeactivated holdsDuring ImmediateFutureFn WhenFn Process and attribute Entity and AccountActive
(=> (and (instance ?B Braking) (patient ?B ?O)) (and (holdsDuring (ImmediatePastFn (WhenFn ?B)) (equal (MeasureFn ?A1 MilesPerHour) (AccelerationFn ?FQ ?T ?O ?D))) (holdsDuring (ImmediateFutureFn (WhenFn ?B)) (equal (MeasureFn ?A2 MilesPerHour) (AccelerationFn ?FQ ?T ?O ?D))) (greaterThan ?A1 ?A2)))	Cars.kif 1252-1267	instance Process and Braking patient Process and Entity holdsDuring ImmediatePastFn WhenFn Process and equal MeasureFn RealNumber and MilesPerHour and AccelerationFn entity, entity, Entity and entity holdsDuring ImmediateFutureFn WhenFn Process and equal MeasureFn RealNumber and MilesPerHour and AccelerationFn entity, entity, Entity and entity greaterThan RealNumber and RealNumber
(=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P)))	Mid-level-ontology.kif 29146-29153	instance Process and Covering patient Process and Entity instrument Process and Object holdsDuring ImmediateFutureFn WhenFn Process and covers Object and Entity
(=> (and (instance ?CP ChangingAccountInfo) (agent ?CP ?A) (hasAccount ?A ?UA) (accountInformation ?UA ?N1)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?N2) (and (not (equal ?N2 ?N1)) (accountInformation ?UA ?N2)))))	ComputingBrands.kif 4086-4098	instance Process and ChangingAccountInfo agent Process and Agent hasAccount Agent and UserAccount accountInformation UserAccount and Proposition holdsDuring ImmediateFutureFn WhenFn Process and entity equal entity and Proposition accountInformation UserAccount and entity
(=> (and (instance ?CP ChangingPassword) (agent ?CP ?A) (hasAccount ?A ?UA) (password ?P1 ?UA)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?P2) (and (instance ?P2 ComputerPassword) (not (equal ?P2 ?P1)) (password ?P2 ?UA)))))	ComputingBrands.kif 4042-4055	instance Process and ChangingPassword agent Process and Agent hasAccount Agent and UserAccount password ComputerPassword and UserAccount holdsDuring ImmediateFutureFn WhenFn Process and entity instance entity and ComputerPassword equal entity and ComputerPassword password entity and UserAccount
(=> (and (instance ?CP ChangingUserName) (agent ?CP ?A) (hasAccount ?A ?UA) (userName ?UA ?N1)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?N2) (and (instance ?N2 UserName) (not (equal ?N2 ?N1)) (userName ?UA ?N2)))))	ComputingBrands.kif 4064-4077	instance Process and ChangingUserName agent Process and Agent hasAccount Agent and UserAccount userName UserAccount and UserName holdsDuring ImmediateFutureFn WhenFn Process and entity instance entity and UserName equal entity and UserName userName UserAccount and entity
(=> (and (instance ?CP CreatingAnAccount) (agent ?CP ?A)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?UA ?P1 ?N) (and (hasAccount ?A ?UA) (password ?P1 ?UA) (userName ?UA ?N)))))	ComputingBrands.kif 4106-4116	instance Process and CreatingAnAccount agent Process and Agent holdsDuring ImmediateFutureFn WhenFn Process and entity entity and entity hasAccount Agent and entity password entity and entity userName entity and entity
(=> (and (instance ?Closing ClosingAnAccount) (patient ?Closing ?Account)) (and (holdsDuring (ImmediatePastFn (WhenFn ?Closing)) (instance ?Account FinancialAccount)) (holdsDuring (ImmediateFutureFn (WhenFn ?Closing)) (not (instance ?Account FinancialAccount)))))	FinancialOntology.kif 391-401	instance Process and ClosingAnAccount patient Process and Entity holdsDuring ImmediatePastFn WhenFn Process and instance Entity and FinancialAccount holdsDuring ImmediateFutureFn WhenFn Process and instance Entity and FinancialAccount
(=> (and (instance ?D DeletingAnAccount) (instance ?AC Account) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (hasAccount ?A ?AC)) (patient ?D ?AC) (agent ?D ?A)) (holdsDuring (ImmediateFutureFn (WhenFn ?D)) (not (hasAccount ?A ?AC))))	ComputingBrands.kif 4529-4539	instance Process and DeletingAnAccount instance Entity and Account holdsDuring ImmediatePastFn WhenFn Process and hasAccount Agent and Entity patient Process and Entity agent Process and Agent holdsDuring ImmediateFutureFn WhenFn Process and hasAccount Agent and Entity
(=> (and (instance ?DAM Damaging) (instance ?OBJ Device) (patient ?DAM ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DAM)) (attribute ?OBJ DeviceDamaged)))	Mid-level-ontology.kif 29457-29465	instance Process and Damaging instance Entity and Device patient Process and Entity holdsDuring ImmediateFutureFn WhenFn Process and attribute Entity and DeviceDamaged
(=> (and (instance ?DEACT DeactivatingAnAccount) (instance ?AC UserAccount) (patient ?DEACT ?AC)) (and (holdsDuring (ImmediateFutureFn (WhenFn ?DEACT)) (attribute ?AC AccountDeactivated)) (holdsDuring (ImmediatePastFn (WhenFn ?DEACT)) (attribute ?AC AccountActive))))	ComputingBrands.kif 4461-4470	instance Process and DeactivatingAnAccount instance Entity and UserAccount patient Process and Entity holdsDuring ImmediateFutureFn WhenFn Process and attribute Entity and AccountDeactivated holdsDuring ImmediatePastFn WhenFn Process and attribute Entity and AccountActive
(=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM) (and (result ?DEATH ?REM) (instance ?REM OrganicObject) (holdsDuring (FutureFn (WhenFn ?DEATH)) (attribute ?REM Dead)) (=> (holdsDuring (ImmediateFutureFn (WhenFn ?DEATH)) (part ?OBJ ?REM)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (part ?OBJ ?ORG))))))	Merge.kif 10130-10145	instance Process and Death instance Agent and Organism experiencer Process and Agent Entity result Process and Entity instance Entity and OrganicObject holdsDuring FutureFn WhenFn Process and attribute Entity and Dead holdsDuring ImmediateFutureFn WhenFn Process and part entity and Entity holdsDuring ImmediatePastFn WhenFn Process and part entity and Agent
(=> (and (instance ?Deposit Deposit) (instance ?Account FinancialAccount) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Deposit)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (AdditionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Deposit)) (MeasureFn ?Balance2 ?CUNIT)))	FinancialOntology.kif 436-453	instance FinancialTransaction and Deposit instance FinancialAccount and FinancialAccount destination FinancialTransaction and CurrencyFn FinancialAccount transactionAmount FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure currentAccountBalance FinancialAccount, ImmediatePastFn WhenFn FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure equal RealNumber and AdditionFn RealNumber and RealNumber currentAccountBalance FinancialAccount, ImmediateFutureFn FutureFn FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure
(=> (and (instance ?EV Evacuation) (agent ?EV ?MIL) (instance ?MIL MilitaryOrganization) (experiencer ?EV ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?EV)) (attribute ?P Evacuee)))	MilitaryPersons.kif 133-140	instance Process and Evacuation agent Process and Agent instance Agent and MilitaryOrganization experiencer Process and Agent holdsDuring ImmediateFutureFn WhenFn Process and attribute Agent and Evacuee
(=> (and (instance ?F Faucet) (instance ?LM LiquidMotion) (patient ?LM ?L) (located ?LM ?F)) (holdsDuring (ImmediateFutureFn (WhenFn ?LM)) (not (exists (?T) (and (instance ?T Tube) (contains ?T ?L))))))	engineering.kif 938-951	instance Object and Faucet instance Process and LiquidMotion patient Process and Entity located Process and Object holdsDuring ImmediateFutureFn WhenFn Process and entity instance entity and Tube entity は Entity を contains %n{ない}
(=> (and (instance ?F Forgetting) (experiencer ?F ?A)) (exists (?P) (and (holdsDuring (ImmediateFutureFn (WhenFn ?F)) (not (knows ?A ?P))) (holdsDuring (ImmediatePastFn (WhenFn ?F)) (knows ?A ?P)))))	ComputingBrands.kif 4414-4424	instance Process and Forgetting experiencer Process and Agent entity holdsDuring ImmediateFutureFn WhenFn Process and knows Agent and entity holdsDuring ImmediatePastFn WhenFn Process and knows Agent and entity
(=> (and (instance ?H Hotline) (telephoneNumber ?H ?O) (instance ?O Organization)) (hasPurpose ?H (exists (?T) (and (instance ?T Telephoning) (destination ?T ?O) (modalAttribute (exists (?C) (and (instance ?C Communication) (instrument ?C ?H) (equal (BeginFn (WhenFn ?C)) (BeginFn (ImmediateFutureFn (WhenFn ?T)))))) Likely)))))	Mid-level-ontology.kif 24425-24446	instance TelecomNumber and Hotline telephoneNumber TelecomNumber and Agent instance Agent and Organization hasPurpose TelecomNumber and entity instance entity and Telephoning destination entity and Agent modalAttribute entity instance entity and Communication instrument entity and TelecomNumber equal BeginFn WhenFn entity and BeginFn ImmediateFutureFn WhenFn entity and Likely
(=> (and (instance ?IRRIGATION Irrigating) (patient ?IRRIGATION ?AREA) (instance ?AREA LandArea)) (and (holdsDuring (ImmediatePastFn (WhenFn ?IRRIGATION)) (attribute ?AREA Dry)) (holdsDuring (ImmediateFutureFn (WhenFn ?IRRIGATION)) (attribute ?AREA Damp))))	Geography.kif 5608-5615	instance Process and Irrigating patient Process and Entity instance Entity and LandArea holdsDuring ImmediatePastFn WhenFn Process and attribute Entity and Dry holdsDuring ImmediateFutureFn WhenFn Process and attribute Entity and Damp
(=> (and (instance ?JOIN Hiring) (instance ?ORG Organization) (agent ?JOIN ?ORG) (patient ?JOIN ?PERSON)) (holdsDuring (ImmediateFutureFn (WhenFn ?JOIN)) (employs ?ORG ?PERSON)))	Merge.kif 10508-10517	instance Process and Hiring instance Agent and Organization agent Process and Agent patient Process and Entity holdsDuring ImmediateFutureFn WhenFn Process and employs Agent and Entity
(=> (and (instance ?MTP MovingAwayFromPeople) (agent ?MTP ?A)) (exists (?P) (and (instance ?P Human) (instance ?U UnitOfLength) (holdsDuring (ImmediatePastFn (WhenFn ?MTP)) (distance ?MTP ?A (MeasureFn ?D1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?MTP)) (distance ?MTP ?A (MeasureFn ?D2 ?U))) (greaterThan ?D2 ?D1))))	emotion.kif 1401-1419	instance Process and MovingAwayFromPeople agent Process and Agent Entity instance Entity and Human instance Entity and UnitOfLength holdsDuring ImmediatePastFn WhenFn Process and distance Process, Agent and MeasureFn RealNumber and Entity holdsDuring ImmediateFutureFn WhenFn Process and distance Process, Agent and MeasureFn RealNumber and Entity greaterThan RealNumber and RealNumber
(=> (and (instance ?MTP MovingTowardsPeople) (agent ?MTP ?A)) (exists (?P) (and (instance ?P Human) (instance ?U UnitOfLength) (holdsDuring (ImmediatePastFn (WhenFn ?MTP)) (distance ?MTP ?A (MeasureFn ?D1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?MTP)) (distance ?MTP ?A (MeasureFn ?D2 ?U))) (greaterThan ?D1 ?D2))))	emotion.kif 1435-1453	instance Process and MovingTowardsPeople agent Process and Agent Entity instance Entity and Human instance Entity and UnitOfLength holdsDuring ImmediatePastFn WhenFn Process and distance Process, Agent and MeasureFn RealNumber and Entity holdsDuring ImmediateFutureFn WhenFn Process and distance Process, Agent and MeasureFn RealNumber and Entity greaterThan RealNumber and RealNumber

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(holdsDuring (ImmediateFutureFn (YearFn 1996)) (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity))	Government.kif 2750-2750	holdsDuring ImmediateFutureFn YearFn 1996 and conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity
(holdsDuring (ImmediateFutureFn ?T) (and (instance ?T (DayFn 1 (MonthFn October (YearFn 1992)))) (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))	Government.kif 2771-2774	holdsDuring ImmediateFutureFn TimePosition and instance TimePosition and DayFn 1 and MonthFn October and YearFn 1992 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations

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

KB Term:			Term intersection

English Word: