No TPTP formula. May not be expressible in strict first order.	Weather.kif 1482-1493	等於 RealNumber and VarianceAverageFn RealNumber and List 等於 1 and 列表長度 List 等於 RealNumber and 乘法 減法 RealNumber and 清單順序 List and 1 and 減法 RealNumber and 清單順序 List and 1
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1449-1461	等於 RealNumber and VarianceAverageFn Number and List 比較多 列表長度 List and 1 等於 RealNumber and 加成 VarianceAverageFn Number and 清單順序 List and 1 and VarianceAverageFn Number and SubListFn 2, 列表長度 List and List
No TPTP formula. May not be expressible in strict first order.	Media.kif 2106-2113	那只能是 1 values 對於 Relation 的參數 PositiveInteger 例 Relation and Predicate Relation @ARGS 等於 Entity and 清單順序 名單 @ARGS and PositiveInteger 等於 Entity and 清單順序 名單 @ARGS and PositiveInteger 等於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2093-2103	那只能是 1 values 對於 Relation 的參數 PositiveInteger 例 Relation and Predicate Relation @ARGS 等於 Entity and 清單順序 名單 @ARGS and PositiveInteger Entity 等於 Entity and 清單順序 名單 @ARGS and PositiveInteger 等於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2075-2090	那只能是 1 values 對於 Relation 的參數 PositiveInteger 例 Relation and Predicate Entity @ARGS Relation @ARGS 等於 Entity and 清單順序 名單 @ARGS and PositiveInteger Entity 等於 Entity and 清單順序 名單 @ARGS and PositiveInteger 等於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2137-2150	那只能是 Integer values 對於 Relation 的參數 PositiveInteger 例 Relation and Predicate Class Entity and @ARGS 例 Class and SetOrClass Relation @ARGS 等於 Entity and 清單順序 名單 @ARGS and PositiveInteger 例 Entity and Class 等於 基數 Class and Integer
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1064-1068	商船 對 NonnegativeInteger 由來源 GeopoliticalArea fOC 船隻 等於 商船 and GeopoliticalArea 的 merchant 海洋 等於 GeopoliticalArea and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	持有期間 TimePosition and attribute Entity and 被驅逐 公民 Entity and entity-NATION 例 TimePosition and TimeInterval Process Object 例 Object and Nation 等於 Object and entity-NATION 例 Process and 易位 起源 Process and Object 患者 Process and Entity 目的地 Process and entity-NATION 時間部分 TimePosition and 何時 Process
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	持有期間 TimeInterval and attribute entity and 平民流離失所 棲息 entity and entity 位於 entity and GeographicArea 例 GeographicArea and GeographicArea 例 TimeInterval and TimeInterval TimeInterval entity-PLACE and entity-RES 例 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 例 entity-RES and Object 例 entity-PLACE and GeopoliticalArea 位於 entity-RES and entity-PLACE 等於 GeographicArea and entity-PLACE 等於 entity and entity-RES GeographicArea 是 entity-PLACE 的 geographic 次要地區 entity-PLACE 是 GeographicArea 的 geographic 次要地區 持有期間 TimeInterval and 棲息 entity and entity-RES
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1962-1969	在列表中 Entity and ConsecutiveTimeIntervalList 等於 ConsecutiveTimeIntervalList and TimeIntervalListFn TimeInterval and TimeDuration 等於 開始 TimeInterval and 開始 ConsecutiveTimeIntervalList 的 first
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2640-2645	獨立概率 Formula and Formula 等於 可能性 Formula and RealNumber 條件概率 Formula, Formula and RealNumber 等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17192-17202	例 Process and 加速 等於 TimeInterval and 何時 Process 體驗者 Process and AutonomousAgent Process 例 Process and 減速 體驗者 Process and AutonomousAgent 等於 TimeInterval and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 501-514	例 Process and 走動 子過程 Process and Process 例 Process and 步進 子過程 Process and Process 例 Process and 步進 等於 ProcessSTART and 開始 何時 Process 等於 ProcessSTART and 開始 何時 Process 之前 ProcessSTART and ProcessSTART 之前 ProcessSTART and ProcessSTART 等於 Process and Process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1063-1073	例 Attribute and CoffeeGrindAttribute attribute Object and Attribute 例 Object and CoffeeGrind RealNumber PhysicalQuantity grainSize Object and RealNumber 例 PhysicalQuantity and LengthMeasure 等於 PhysicalQuantity and 測量 RealNumber and 毫米
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	例 AccessingWebPage and AccessingWebPage 例 Entity and WebPage 例 Process and 數據傳輸 例 Object and 服務器 例 Process and Requesting 例 AutonomousAgent and WebBrowser 例 TimeInterval and TimeInterval 患者 AccessingWebPage and Entity agent Process and AutonomousAgent 目的地 Process and Object 患者 Process and Entity 起源 Process and Object 目的地 Process and AutonomousAgent 患者 Process and Entity 子過程 Process and AccessingWebPage 子過程 Process and AccessingWebPage 等於 結束 何時 Process and 開始 TimeInterval 等於 結束 何時 Process and 結束 TimeInterval 等於 access 的時間在 AccessingWebPage and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 992-1008	例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite Collection 例 Collection and Collection WebListing 例 WebListing and WebListing WebListing 是在 WebSite hosted AutonomousAgent sells WebListing 會員 WebListing and Collection 等於 樣品對於 sale 由 AutonomousAgent 在 WebSite and Collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 487-499	例 Process and 走動 等於 TimeInterval and 何時 Process Process Process 例 Process and 步進 例 Process and 步進 子過程 Process and Process 子過程 Process and Process 啟動 何時 Process and TimeInterval 飾面 何時 Process and TimeInterval 等於 Process and Process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1964-1975	例 GeographicArea and GeographicArea GeographicArea 的 elevation 高點 是 GeographicArea 的 geographic 次要地區 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 elevation 高點 的 elevation GeographicArea RealNumber GeographicArea 是 GeographicArea 的 geographic 次要地區 等於 GeographicArea and GeographicArea 的 elevation 高點 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 elevation 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1940-1954	例 GeographicArea and GeographicArea GeographicArea 的 elevation 低點 是 GeographicArea 的 geographic 次要地區 例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 elevation 低點 的 elevation GeographicArea RealNumber GeographicArea 是 GeographicArea 的 geographic 次要地區 等於 GeographicArea and GeographicArea 的 elevation 低點 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 elevation 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14681-14690	例 內容承載物理 and Article 例 內容承載物理 and Book 包含內容實例 內容承載物理 and 內容承載物理 內容承載物理 例 內容承載物理 and Article 等於 內容承載物理 and 內容承載物理 包含內容實例 內容承載物理 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	例 TimeInterval and AddToCart 例 Entity and Object 患者 TimeInterval and Entity agent TimeInterval and AutonomousAgent Collection WebSite, TimePosition and TimeInterval 例 Collection and Collection 例 WebSite and WebSite 例 TimeInterval and TimeInterval 使用者 AutonomousAgent 在 WebSite 有 cart Collection 等於 開始 TimeInterval and 結束 TimeInterval 持有期間 TimePosition and 會員 Entity and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and Auctioning SymbolicString entity_PURCHASE_AMOUNT total 價值在 卡帕 SymbolicString and SymbolicString 是 Physical 的 transaction 總額 是 entity_PURCHASE_AMOUNT 等於 Collection 的 total purchase price and entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21775-21794	例 Process and 封鎖 例 Contest and Contest 子過程 Process and Contest AutonomousAgent participates 在 Contest agent Process and AutonomousAgent Contest1 CognitiveAgent 防止 Contest1 and 易位 例 Process and Contest1 CognitiveAgent participates 在 Contest 等於 AutonomousAgent and CognitiveAgent 慾望 CognitiveAgent and entity 例 entity and Contest1 agent entity and AutonomousAgent 子過程 entity and Contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21473-21488	例 Process and 臉紅 體驗者 Process and AutonomousAgent TimeInterval TimeInterval, Entity and Entity 例 Entity and EmotionalState 例 Entity and EmotionalState 等於 Entity and Entity 持有期間 TimeInterval and attribute AutonomousAgent and Entity 持有期間 TimeInterval and attribute AutonomousAgent and Entity 啟動 何時 Process and TimeInterval 飾面 何時 Process and TimeInterval
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
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