FutureFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2743-2744
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8556-8557
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1469-1470
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8553-8553	域未來, 1 and TimePosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8550-8550	例未來 and TemporalRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8552-8552	例未來 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8551-8551	例未來 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8554-8554	範圍未來 and TimeInterval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 461-461
No TPTP formula. May not be expressible in strict first order.	english_format.kif 467-467
No TPTP formula. May not be expressible in strict first order.	french_format.kif 267-267
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 115-115
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2057-2057
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 219-219
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 273-273
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 602-602
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 155-155
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 288-288
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 294-294
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 240-240
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25332-25332
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 462-462
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25331-25331
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25330-25330
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 186-186
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 241-241

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14983-14986	協議有 expiration TimePoint 持有期間未來 TimePoint and 屬性協議 and ActiveAgreement
No TPTP formula. May not be expressible in strict first order.	Government.kif 510-517	TimeInterval 是 GeopoliticalArea 的 independence 日期例 TimePosition and TimeInterval 持有期間未來 TimePosition and entity GeopoliticalArea 是 entity 的 dependent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10287-10302	例 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.	Merge.kif 12121-12137	例 Process and 決定 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Set 結果 Process and 內容承載物理例內容承載物理 and 內容承載物理 containsFormula 內容承載物理 and 持有期間未來何時 Process and entity 元件 entity and Entity 例 entity and IntentionalProcess agent 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.	Medicine.kif 3616-3632	例 Transfer and 注射例 Object and Adalimumab objectTransferred Transfer and Object 位於 Transfer and Object 例 Object and BodyPart 目的地 Transfer and Entity 模態屬性 entity 持有期間 entity and attribute Entity and PainFn Object 期間 entity and 未來何時 Transfer and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12380-12386	例 Process and Killing 患者 Process and Entity 持有期間開始何時 Process and attribute Entity and 活的持有期間未來何時 Process and attribute Entity and 死
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9397-9408	例 Object and Poison 例 Motion and Ingesting 移動 Motion and Object 體驗者 Motion and AutonomousAgent 模態屬性持有期間未來何時 Motion and attribute AutonomousAgent and 盲 and 可能性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13332-13337	例 Process and 命名患者 Process and Entity 目的地 Process and Entity 持有期間未來何時 Process and 名 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 153-160	例 Process and ReachingAgreement agent Process and AutonomousAgent 結果 Process and Entity 例 Entity and 協議持有期間未來何時 Process and Entity 是 AutonomousAgent 的 party 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 466-481	例 FinancialTransaction and 退出例金融賬戶 and 金融賬戶起源 FinancialTransaction and 金融賬戶測量 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.	Mid-level-ontology.kif 23225-23233	例 Process and 自殺性爆炸事件 agent Process and CognitiveAgent 相信 CognitiveAgent and 持有期間未來何時 Process and attribute CognitiveAgent and 死
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10593-10605	例 Physical and Antidepressant 有目的 Physical and entity entity 例 entity and Ingesting objectTransferred entity and Physical agent Physical and entity 持有期間未來何時 entity and attribute entity and Depression
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10613-10625	例 Physical and Antipsychotic 有目的 Physical and entity entity 例 entity and Ingesting objectTransferred entity and Physical agent Physical and entity 持有期間未來何時 entity and attribute entity and 精神病
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1046-1059	例 Entity and 可預防的疾病 Entity Entity and Process 例 Entity and Vaccine 例 Process and Putting 目的地 Process and Entity 例 Entity and Human 模態屬性持有期間未來何時 Process and attribute Entity and Entity and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8563-8565	例 TimeInterval and TimeInterval 等於未來 TimeInterval and 時間間隔結束 TimeInterval and 正無窮大
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8559-8561	例 TimeInterval and TimeInterval 短暫相遇 TimeInterval and 未來 TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8577-8579	例 TimePosition and TimeInterval 啟動眼前的未來 TimePosition and 未來 TimePosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13317-13337	例 Physical and AntiInflammatory 有目的 Physical and entity entity and entityN 例 entity and Inflammation 體驗者 entity and entity 例 entityN and Ingesting 之前開始何時 entity and 開始何時 entityN 持有期間未來何時 entity and entity 例 entity and Inflammation 體驗者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23215-23223	例 Process and 自殺性爆炸事件 AutonomousAgent agent Process and AutonomousAgent 持有期間未來何時 Process and attribute AutonomousAgent and 死

statement

No TPTP formula. May not be expressible in strict first order.	Media.kif 2501-2504	持有期間未來 TimePosition and 例 Serbia and 歐洲國家例 TimePosition and 天 5 and 月 June and 年 2006
No TPTP formula. May not be expressible in strict first order.	Media.kif 2496-2499	持有期間未來 TimePosition and 例 Serbia and 獨立國家例 TimePosition and 天 5 and 月 June and 年 2006
No TPTP formula. May not be expressible in strict first order.	Media.kif 2506-2509	持有期間未來 TimePosition and 名 "Republic of Serbia" and Serbia 例 TimePosition and 天 5 and 月 June and 年 2006
No TPTP formula. May not be expressible in strict first order.	Media.kif 2528-2531	持有期間未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 例 Montenegro and 歐洲國家
No TPTP formula. May not be expressible in strict first order.	Media.kif 2523-2526	持有期間未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 例 Montenegro and 獨立國家
No TPTP formula. May not be expressible in strict first order.	Media.kif 2533-2536	持有期間未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 名 "Montenegro" and Montenegro
No TPTP formula. May not be expressible in strict first order.	Media.kif 2546-2550	持有期間未來 TimePosition and 例 TimePosition and 天 3 and 月 June and 年 2006 例塞爾維亞和黑山 and 獨立國家

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: