ImmediateFutureFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2745-2746
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8569-8571
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1471-1472
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8566-8566	域眼前的未來, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8563-8563	例眼前的未來 and TemporalRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8565-8565	例眼前的未來 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8564-8564	例眼前的未來 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8567-8567	範圍眼前的未來 and TimeInterval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 463-463
No TPTP formula. May not be expressible in strict first order.	english_format.kif 469-469
No TPTP formula. May not be expressible in strict first order.	french_format.kif 268-268
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 137-137
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2058-2058
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 220-220
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 274-274
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 605-605
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 176-176
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 289-289
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 295-295
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 278-278
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29377-29377
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 464-464
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29376-29376
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29375-29375
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 187-187
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 279-279

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3231-3245	持有期間 Physical and attribute EngineeringComponent and 啟動中持有期間 Physical and attribute EngineeringComponent and 準備好主持等於 Physical and 眼前的未來何時 Physical 例 EngineeringComponent and ComputerDisplay 連接的工程組件 EngineeringComponent and EngineeringComponent 模態屬性 entity 例 entity and 主頁面 entity 是在 EngineeringComponent displayed and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10663-10685	例 Object and Antacid 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間不久的過去何時 Motion and 包含 Object and Object 例 Object and 流體持有期間眼前的未來何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10724-10746	例 Object and ProtonPumpInhibitor 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間不久的過去何時 Motion and 包含 Object and Object 例 Object and 流體持有期間眼前的未來何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2032-2046	例電腦程序 and 數據壓縮數字數據是由電腦程序 processed 持有期間不久的過去何時電腦程序 and 數字數據 requires 測量 RealNumber and entity 持有期間眼前的未來何時電腦程序 and 數字數據 requires 測量 RealNumber and entity 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7084-7098	例 Process and Deposition 患者 Process and Entity 持有期間不久的過去何時 Process and 測量 Entity and 測量 RealNumber and 焦耳持有期間眼前的未來何時 Process and 測量 Entity and 測量 RealNumber and 焦耳少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	例 Process and Motion 例 Process and 震例 Object and Damper 患者 Process and Object 部分 Object and Object 原因 Process and Process 例 Entity and UnitOfLength 持有期間何時 Process and physicalAmplitude Process and 測量 RealNumber and Entity 持有期間眼前的未來 Process and physicalAmplitude Process and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1316-1328	例 Process and Impacting 患者 Process and Entity 持有期間眼前的未來 Process and attribute Entity and ImpairedBodyPartFn 腦模態屬性持有期間眼前的未來 Process and attribute Entity and Concussion and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1325-1348	例 Object and Lever 例 Process and Pushing 例 Physical and Motion 例 UnitOfMeasure and UnitOfLength 目的地 Process and Object physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 持有期間不久的過去何時 Physical and 位於 Object and Process 持有期間眼前的未來何時 Physical and 位於 Object and Process 持有期間不久的過去何時 Physical and 位於 Object and Process 持有期間眼前的未來何時 Physical and 位於 Object and Process 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3972-3986	例 Process and LoggingIn AutonomousAgent 有 account 用戶帳號用戶帳號是在 WebSite 的 account 等於 TimeInterval and 眼前的未來何時 Process agent Process and AutonomousAgent 模態屬性持有期間 TimeInterval and entity 例 entity and 電腦程序 agent entity and AutonomousAgent 患者 entity and WebSite and 可能性
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3988-4002	例 Process and LoggingIn AutonomousAgent 有 account 用戶帳號 deviceAccount 用戶帳號 and 電腦等於 TimeInterval and 眼前的未來何時 Process agent Process and AutonomousAgent 模態屬性持有期間 TimeInterval and entity 例 entity and 電腦程序 agent entity and AutonomousAgent 儀器 entity and 電腦 and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11379-11394	例 Process and MuscleRelaxing 患者 Process and Entity 例 Entity and Muscle 持有期間不久的過去何時 Process and length Entity and 測量 RealNumber and entity 持有期間眼前的未來何時 Process and length Entity and 測量 RealNumber and entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11357-11372	例 Process and MuscularContraction 患者 Process and Entity 例 Entity and Muscle 持有期間不久的過去何時 Process and length Entity and 測量 RealNumber and entity 持有期間眼前的未來何時 Process and length Entity and 測量 RealNumber and entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1971-1983	例 Entity and SelfConnectedObject 例 Process and Compressing 患者 Process and Entity 持有期間不久的過去何時 Process and 測量 Entity and 測量 RealNumber and Entity 例 Entity and UnitOfVolume 持有期間眼前的未來何時 Process and 測量 Entity and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7136-7150	例 Process and Sublimation 患者 Process and Entity 持有期間不久的過去何時 Process and 測量 Entity and 測量 RealNumber and 焦耳持有期間眼前的未來何時 Process and 測量 Entity and 測量 RealNumber and 焦耳比較多 RealNumber and RealNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 701-716	Proposition agreement 對於 Proposition 的修改日期 TimePosition TimePosition 例 TimePosition and TimePosition 持有期間不久的過去 TimePosition and 次提案 Proposition and Proposition 持有期間眼前的未來 TimePosition and 次提案 Proposition and Proposition 持有期間不久的過去 TimePosition and 次提案 Proposition and Proposition 持有期間眼前的未來 TimePosition and 次提案 Proposition and Proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 677-682	TimePoint 是協議的 agreement 生效日期授予義務 Formula, 協議 and CognitiveAgent 例 TimePosition and TimePoint 持有期間眼前的未來 TimePosition and 持有義務 Formula and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 684-689	TimePoint 是協議的 agreement 生效日期賦予權利 Formula, 協議 and CognitiveAgent 例 TimePosition and TimePoint 持有期間眼前的未來 TimePosition and 堅持正確 Formula and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1035-1048	例 Process and 任命患者 Process and Entity entity entity 持有期間開始何時 Process and 佔據位置 Entity, entity and entity 持有期間眼前的未來何時 Process and 佔據位置 Entity, entity and entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4482-4491	例 Process and ActivatingADeactivatedAccount 例 Entity and 用戶帳號患者 Process and Entity 持有期間不久的過去何時 Process and attribute Entity and AccountDeactivated 持有期間眼前的未來何時 Process and attribute Entity and AccountActive
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1252-1267	例 Process and Braking 患者 Process and Entity 持有期間不久的過去何時 Process and 等於測量 RealNumber and MilesPerHour and AccelerationFn entity, entity, Entity and entity 持有期間眼前的未來何時 Process and 等於測量 RealNumber and MilesPerHour and AccelerationFn entity, entity, Entity and entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2411-2420	例金融賬戶 and 擔保債券抵押是金融賬戶的 secured 擁有 AutonomousAgent and 金融賬戶例 Process and 財務違約患者 Process and 金融賬戶持有期間眼前的未來何時 Process and 擁有 AutonomousAgent and 抵押
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15984-15991	例 Process and Covering 患者 Process and Entity 儀器 Process and Object 持有期間眼前的未來何時 Process and covers Object and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 755-773	例 Process and Cricothyroidotomy 患者 Process and Entity 有目的 Process and 持有期間不久的過去何時 Process and entity 例 entity and ImpairmentFn Breathing 患者 entity and Entity 持有期間眼前的未來何時 Process and entity 例 entity and ImpairmentFn Breathing 患者 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2772-2784	例 Entity and COVIDAntibody 持有期間 TimePosition and attribute entity and Covid19 部分 Entity and entity 持有期間眼前的未來 TimePosition and 模態屬性 attribute entity and Covid19 and 較不可能
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4123-4135	例 Process and ChangingAccountInfo agent Process and AutonomousAgent AutonomousAgent 有 account 用戶帳號 accountInformation 用戶帳號 and Proposition 持有期間眼前的未來何時 Process and entity 等於 entity and Proposition accountInformation 用戶帳號 and entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4079-4092	例 Process and ChangingPassword agent Process and AutonomousAgent AutonomousAgent 有 account 用戶帳號用戶帳號有 password 電腦密碼持有期間眼前的未來何時 Process and entity 例 entity and 電腦密碼等於 entity and 電腦密碼用戶帳號有 password entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4101-4114	例 Process and ChangingUserName agent Process and AutonomousAgent AutonomousAgent 有 account 用戶帳號用戶帳號的 user name 是用戶名持有期間眼前的未來何時 Process and entity 例 entity and 用戶名等於 entity and 用戶名用戶帳號的 user name 是 entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4143-4153	例 Process and CreatingAnAccount agent Process and AutonomousAgent 持有期間眼前的未來何時 Process and entity entity and entity AutonomousAgent 有 account entity entity 有 password entity entity 的 user name 是 entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 391-401	例 Process and 關閉帳戶患者 Process and Entity 持有期間不久的過去何時 Process and 例 Entity and 金融賬戶持有期間眼前的未來何時 Process and 例 Entity and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4566-4576	例 Process and DeletingAnAccount 例 Entity and Account 持有期間不久的過去何時 Process and AutonomousAgent 有 account Entity 患者 Process and Entity agent Process and AutonomousAgent 持有期間眼前的未來何時 Process and AutonomousAgent 有 account Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30996-31004	例 Process and Damaging 例 Entity and Device 患者 Process and Entity 持有期間眼前的未來何時 Process and attribute Entity and DeviceDamaged
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4498-4507	例 Process and DeactivatingAnAccount 例 Entity and 用戶帳號患者 Process and Entity 持有期間眼前的未來何時 Process and attribute Entity and AccountDeactivated 持有期間不久的過去何時 Process and attribute Entity and AccountActive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10283-10298	例 Process and Death 例 AutonomousAgent and Organism 體驗者 Process and AutonomousAgent Entity entity 結果 Process and Entity 例 Entity and OrganicObject 持有期間未來何時 Process and attribute Entity and 死持有期間眼前的未來何時 Process and 部分 entity and Entity 持有期間不久的過去何時 Process and 部分 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 436-453	例 FinancialTransaction and 存款例金融賬戶 and 金融賬戶目的地 FinancialTransaction and 金融賬戶的 currency 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額金融賬戶對於 %3 的 current 帳戶存款等於 RealNumber and 加成 RealNumber and RealNumber 金融賬戶對於 %3 的 current 帳戶存款
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 133-140	例 Process and 疏散 agent Process and AutonomousAgent 例 AutonomousAgent and 軍事組織體驗者 Process and AutonomousAgent 持有期間眼前的未來何時 Process and attribute AutonomousAgent and 撤離者
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1252-1265	例 Object and Faucet 例 Process and 液體運動患者 Process and Entity 位於 Process and Object 持有期間眼前的未來何時 Process and entity 例 entity and 管包含 entity and Entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4451-4461	例 Process and Forgetting 體驗者 Process and AutonomousAgent entity 持有期間眼前的未來何時 Process and 知道 AutonomousAgent and entity 持有期間不久的過去何時 Process and 知道 AutonomousAgent and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26041-26062	例 TelecomNumber and Hotline TelecomNumber 是 AutonomousAgent 的 telephone number 例 AutonomousAgent and Organization 有目的 TelecomNumber and entity 例 entity and 致電目的地 entity and AutonomousAgent 模態屬性 entity 例 entity and Communication 儀器 entity and TelecomNumber 等於開始何時 entity and 開始眼前的未來何時 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1316-1328	例 Process and Impacting 患者 Process and Entity 持有期間眼前的未來 Process and attribute Entity and ImpairedBodyPartFn 腦模態屬性持有期間眼前的未來 Process and attribute Entity and Concussion and 容易

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 2753-2756	持有期間眼前的未來 TimePosition and 例 TimePosition and 天 1 and 月 October and 年 1992 安第斯國際社會是 "Andean Community of Nations" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2727-2731	持有期間眼前的未來 TimePosition and 例 TimePosition and 年 1996 法語社區的代理機構是 "Agency for the French_Speaking Community" 的 conventional 全名

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: