No TPTP formula. May not be expressible in strict first order.	Medicine.kif 104-111	例 Process and Injuring 體驗者 Process and AutonomousAgent 持有期間 眼前的未來 何時 Process and attribute AutonomousAgent and Injury
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5780-5787	例 Process and 灌溉 患者 Process and Entity 例 Entity and LandArea 持有期間 不久的過去 何時 Process and attribute Entity and 乾 持有期間 眼前的未來 何時 Process and attribute Entity and 潮濕
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10683-10692	例 Process and Hiring 例 AutonomousAgent and Organization agent Process and AutonomousAgent 患者 Process and Entity 持有期間 眼前的未來 何時 Process and 採用 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2849-2856	例 Process and 取消訂單 患者 Process and Entity 持有期間 眼前的未來 何時 Process and attribute Entity and ActiveAgreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1442-1457	例 貸款 and 可贖回貸款 CognitiveAgent lends 貸款 貸款 是 CognitiveAgent 的 borrower CurrencyMeasure 是 貸款 的 total 存款 例 Process and 呼叫 agent Process and CognitiveAgent 患者 Process and 貸款 持有義務 卡帕 SymbolicString and 目的地 SymbolicString and CognitiveAgent 時間 SymbolicString and 眼前的未來 何時 Process CurrencyMeasure 是 SymbolicString 的 transaction 總額 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1348-1357	例 貸款 and 貸款 抵押 是 貸款 的 secured CognitiveAgent lends 貸款 例 Process and 財務違約 患者 Process and 貸款 持有期間 眼前的未來 何時 Process and 擁有 CognitiveAgent and 抵押
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 454-470	例 Process and MeasuringBreathing agent Process and AutonomousAgent 例 Object and 肺 部分 Object and Object 例 TimeInterval and TimeInterval 期間 TimeInterval and 何時 Process 持續時間 TimeInterval and 分鐘 患者 Process and Object 持有期間 眼前的未來 何時 Process and entity 知道 AutonomousAgent and breathingRate Object, TimeInterval and entity
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	例 Process and BarMitzvah 患者 Process and Human 例 Human and 男孩 會員 Human and Collection 例 Collection and 猶太教 Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Integer3 TimePosition 例 Integer3 and Integer 等於 Integer3 and 加成 Integer and 13 例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer3 等於 何時 Process and 眼前的未來 TimePosition
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	例 Process and BatMitzvah 患者 Process and Human 例 Human and 女孩 會員 Human and Collection 例 Collection and 猶太教 Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Integer3 TimePosition 例 Integer3 and Integer 等於 Integer3 and 加成 Integer and 13 例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer3 等於 何時 Process and 眼前的未來 TimePosition
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1393-1411	例 Process and MovingAwayFromPeople agent Process and AutonomousAgent Entity Entity, RealNumber and RealNumber 例 Entity and Human 例 Entity and UnitOfLength 持有期間 不久的過去 何時 Process and 距離 Process, AutonomousAgent and 測量 RealNumber and Entity 持有期間 眼前的未來 何時 Process and 距離 Process, AutonomousAgent and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1427-1445	例 Process and MovingTowardsPeople agent Process and AutonomousAgent Entity Entity, RealNumber and RealNumber 例 Entity and Human 例 Entity and UnitOfLength 持有期間 不久的過去 何時 Process and 距離 Process, AutonomousAgent and 測量 RealNumber and Entity 持有期間 眼前的未來 何時 Process and 距離 Process, AutonomousAgent and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22521-22532	例 Process and Nausea 體驗者 Process and CognitiveAgent 相信 CognitiveAgent and 持有期間 眼前的未來 何時 Process and entity 例 entity and Vomiting 體驗者 entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18727-18745	例 TimeInterval and 拉 起源 TimeInterval and Object agent TimeInterval and AutonomousAgent 持有期間 開始 TimeInterval and 位於 AutonomousAgent and AutonomousAgentLOC 目的地 TimeInterval and Entity 持有期間 眼前的未來 開始 TimeInterval and entity entity and entity 距離 AutonomousAgentLOC, Entity and 測量 entity and entity 距離 AutonomousAgentLOC, Object and 測量 entity and entity 比較多 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18705-18723	例 TimeInterval and Pushing 起源 TimeInterval and Object agent TimeInterval and AutonomousAgent 持有期間 開始 TimeInterval and 位於 AutonomousAgent and AutonomousAgentLOC 目的地 TimeInterval and Entity 持有期間 眼前的未來 開始 TimeInterval and entity entity and entity 距離 AutonomousAgentLOC, Entity and 測量 entity and entity 距離 AutonomousAgentLOC, Object and 測量 entity and entity 比較多 entity and entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1075-1080	例 Process and 凍雨 患者 Process and Entity 例 Entity and Water 持有期間 眼前的未來 何時 Process and attribute Entity and 固體
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 408-424	例 FinancialTransaction and 付款 起源 FinancialTransaction and 金融賬戶 的 currency 例 金融賬戶 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 6328-6347	例 Process and 緩解疼痛 患者 Process and Object Physical 暫時重疊 何時 Physical and 不久的過去 何時 Process 例 Physical and 痛 位於 Physical and Object Physical 暫時重疊 何時 Physical and 眼前的未來 何時 Process 例 Physical and 痛 位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6847-6860	例 Process and 地面沉降 患者 Process and Object 例 Object and LandArea 例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 Object 的 elevation 持有期間 眼前的未來 何時 Process and entity 測量 entity and UnitOfMeasure 是 Object 的 elevation 少於 entity and RealNumber
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1071-1081	例 Process and Vaccination 體驗者 Process and AutonomousAgent ProcessAC 例 ProcessAC and Vaccine 持有期間 眼前的未來 何時 Process and 包含 AutonomousAgent and ProcessAC
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 841-863	例 Object and VentedChestSeal 例 Transfer and Attaching objectTransferred Transfer and Object 目的地 Transfer and Entity 有目的 Object and Transfer entity, entity and Entity 例 Transfer and 空氣 例 entity and 肺 例 entity and Chest 部分 entity and Entity 部分 entity and Entity 持有期間 不久的過去 何時 Transfer and 之間 entity, Transfer and entity 有目的 Object and 持有期間 眼前的未來 何時 Transfer and 方位 Transfer, Entity and 外
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2677-2690	例 Process and 侵蝕 例 Physical and 土地形式 患者 Process and Physical 例 UnitOfMeasure and UnitOfVolume 測量 Physical and 測量 RealNumber and UnitOfMeasure 持有期間 眼前的未來 何時 Process and entity 測量 Physical and 測量 entity and UnitOfMeasure 少於 entity and RealNumber
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.	Media.kif 768-788	例 Entity and ReadOnlyMemoryDataStorage 例 Process and Manufacture 結果 Process and Entity 模態屬性 entity entity and entity 例 entity and ContentDevelopment 例 entity and DeletingData 早期 何時 Process and 何時 entity 患者 entity and Entity 患者 entity and entity 持有期間 眼前的未來 何時 entity and entity 是 stored 在 Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 228-235	DevelopmentalAttribute 是 BiologicalProcess 的 life 完成的階段 體驗者 BiologicalProcess and AutonomousAgent 持有期間 眼前的未來 何時 BiologicalProcess and 例 AutonomousAgent and DevelopmentalAttribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2243-2253	擁有 AutonomousAgent and Object 測量 Object and 測量 RealNumber and ShareUnit 股票分割 是 對於 Integer 和 Integer 的 split 持有期間 眼前的未來 何時 股票分割 and 等於 entity and 乘法 RealNumber and Integer 等於 entity and 部 entity and Integer 測量 Object and 測量 entity and ShareUnit
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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