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 8460-8462
(domain ImmediateFutureFn 1 TimePosition)	Merge.kif 8457-8457	domain ImmediateFutureFn, 1 and TimePosition
(instance ImmediateFutureFn TemporalRelation)	Merge.kif 8454-8454	instance ImmediateFutureFn and TemporalRelation
(instance ImmediateFutureFn TotalValuedRelation)	Merge.kif 8456-8456	instance ImmediateFutureFn and TotalValuedRelation
(instance ImmediateFutureFn UnaryFunction)	Merge.kif 8455-8455	instance ImmediateFutureFn and UnaryFunction
(range ImmediateFutureFn TimeInterval)	Merge.kif 8458-8458	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 29339-29339
(termFormat ChineseLanguage ImmediateFutureFn "紧接未来函数")	chinese_format.kif 464-464
(termFormat ChineseTraditionalLanguage ImmediateFutureFn "眼前的未來")	domainEnglishFormat.kif 29338-29338
(termFormat EnglishLanguage ImmediateFutureFn "immediate future")	domainEnglishFormat.kif 29337-29337

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 3229-3243	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 9764-9786	instance Object and Antacid instance Motion and Ingesting agent Motion and AutonomousAgent moves Motion and Object instance Object and Stomach part Object and AutonomousAgent 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 9825-9847	instance Object and ProtonPumpInhibitor instance Motion and Ingesting agent Motion and AutonomousAgent moves Motion and Object instance Object and Stomach part Object and AutonomousAgent 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 1926-1940	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 6714-6728	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 1299-1322	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 3970-3984	instance Process and LoggingIn hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite equal TimeInterval and ImmediateFutureFn WhenFn Process agent Process and AutonomousAgent modalAttribute holdsDuring TimeInterval and entity instance entity and ComputerProcess agent entity and AutonomousAgent 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 3986-4000	instance Process and LoggingIn hasAccount AutonomousAgent and UserAccount deviceAccount UserAccount and Computer equal TimeInterval and ImmediateFutureFn WhenFn Process agent Process and AutonomousAgent modalAttribute holdsDuring TimeInterval and entity instance entity and ComputerProcess agent entity and AutonomousAgent 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 10420-10435	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 10398-10413	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 6766-6780	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 738-753	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 714-719	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 721-726	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 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 ?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 4480-4489	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 ?Bond SecuredBond) (securedBy ?Bond ?Security) (possesses ?Agent ?Bond) (instance ?Default FinancialDefault) (patient ?Default ?Bond)) (holdsDuring (ImmediateFutureFn (WhenFn ?Default)) (possesses ?Agent ?Security)))	FinancialOntology.kif 2410-2419	instance FinancialAccount and SecuredBond securedBy FinancialAccount and Collateral possesses AutonomousAgent and FinancialAccount instance Process and FinancialDefault patient Process and FinancialAccount holdsDuring ImmediateFutureFn WhenFn Process and possesses AutonomousAgent and Collateral
(=> (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 4121-4133	instance Process and ChangingAccountInfo agent Process and AutonomousAgent hasAccount AutonomousAgent 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 4077-4090	instance Process and ChangingPassword agent Process and AutonomousAgent hasAccount AutonomousAgent 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 4099-4112	instance Process and ChangingUserName agent Process and AutonomousAgent hasAccount AutonomousAgent 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 4141-4151	instance Process and CreatingAnAccount agent Process and AutonomousAgent holdsDuring ImmediateFutureFn WhenFn Process and entity entity and entity hasAccount AutonomousAgent 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 4564-4574	instance Process and DeletingAnAccount instance Entity and Account holdsDuring ImmediatePastFn WhenFn Process and hasAccount AutonomousAgent and Entity patient Process and Entity agent Process and AutonomousAgent holdsDuring ImmediateFutureFn WhenFn Process and hasAccount AutonomousAgent and Entity
(=> (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 4496-4505	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 10170-10185	instance Process and Death instance AutonomousAgent and Organism experiencer Process and AutonomousAgent 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 AutonomousAgent
(=> (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 AutonomousAgent instance AutonomousAgent and MilitaryOrganization experiencer Process and AutonomousAgent holdsDuring ImmediateFutureFn WhenFn Process and attribute AutonomousAgent 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 4449-4459	instance Process and Forgetting experiencer Process and AutonomousAgent entity holdsDuring ImmediateFutureFn WhenFn Process and knows AutonomousAgent and entity holdsDuring ImmediatePastFn WhenFn Process and knows AutonomousAgent and entity
(=> (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 5618-5625	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 10567-10576	instance Process and Hiring instance AutonomousAgent and Organization agent Process and AutonomousAgent patient Process and Entity holdsDuring ImmediateFutureFn WhenFn Process and employs AutonomousAgent and Entity
(=> (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order)) (holdsDuring (ImmediateFutureFn (WhenFn ?Kill)) (not (attribute ?Order ActiveAgreement))))	FinancialOntology.kif 2847-2854	instance Process and CancellingAnOrder patient Process and Entity holdsDuring ImmediateFutureFn WhenFn Process and attribute Entity and ActiveAgreement
(=> (and (instance ?Loan CallableLoan) (lender ?Loan ?Lender) (borrower ?Loan ?Borrower) (totalBalance ?Loan ?Amount) (instance ?Call Call) (agent ?Call ?Lender) (patient ?Call ?Loan)) (holdsObligation (KappaFn ?Payment (and (destination ?Payment ?Lender) (time ?Payment (ImmediateFutureFn (WhenFn ?Call))) (transactionAmount ?Payment ?Amount))) ?Borrower))	FinancialOntology.kif 1428-1443	instance Loan and CallableLoan lender Loan and CognitiveAgent borrower Loan and CognitiveAgent totalBalance Loan and CurrencyMeasure instance Process and Call agent Process and CognitiveAgent patient Process and Loan holdsObligation KappaFn SymbolicString and destination SymbolicString and CognitiveAgent time SymbolicString and ImmediateFutureFn WhenFn Process transactionAmount SymbolicString and CurrencyMeasure and CognitiveAgent
(=> (and (instance ?Loan Loan) (securedBy ?Loan ?Security) (lender ?Loan ?Bank) (instance ?Default FinancialDefault) (patient ?Default ?Loan)) (holdsDuring (ImmediateFutureFn (WhenFn ?Default)) (possesses ?Bank ?Security)))	FinancialOntology.kif 1334-1343	instance Loan and Loan securedBy Loan and Collateral lender Loan and CognitiveAgent instance Process and FinancialDefault patient Process and Loan holdsDuring ImmediateFutureFn WhenFn Process and possesses CognitiveAgent and Collateral
(=> (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 1393-1411	instance Process and MovingAwayFromPeople agent Process and AutonomousAgent Entity instance Entity and Human instance Entity and UnitOfLength holdsDuring ImmediatePastFn WhenFn Process and distance Process, AutonomousAgent and MeasureFn RealNumber and Entity holdsDuring ImmediateFutureFn WhenFn Process and distance Process, AutonomousAgent 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 ?T) (and (instance ?T (DayFn 1 (MonthFn October (YearFn 1992)))) (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))	Government.kif 2791-2794	holdsDuring ImmediateFutureFn TimePosition and instance TimePosition and DayFn 1 and MonthFn October and YearFn 1992 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations
(holdsDuring (ImmediateFutureFn ?TIME) (and (instance ?TIME (YearFn 1996)) (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)))	Government.kif 2765-2769	holdsDuring ImmediateFutureFn TimePosition and instance TimePosition and YearFn 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity

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

KB Term:			Term intersection

English Word: