No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31079-31084	memberMeasure Set, MeasurementAttribute and LengthMeasure 例 Set and Set 元件 Physical and Set 寬度 Physical and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 871-897	HotelFunctionRoom 的 承租人 能 pay 去使用 Physical 例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租 患者 Process and Entity 目的地 Process and CognitiveAgent 例 Object and Physical 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and Process agent Object and CognitiveAgent 體驗者 Object and CognitiveAgent 擁有 AutonomousAgent and Object 例 Object and Object 使用 Object and CognitiveAgent RealNumber UnitOfMeasure Object 是 對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 RealNumber and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	HotelUnit 的 承租人 能 pay 去使用 Physical 子類 Physical and Object 例 暫住 and HotelUnit Human stays 在 暫住 元件 暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住 例 Process and Process agent Process and Human 位於 Process and 暫住 患者 Process and Object 儀器 Process and Object 資源 Process and Object ProcessRICE UnitOfMeasure Object 是 對於 Human 的 price 測量 ProcessRICE and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 ProcessRICE and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	HotelUnit 的 承租人 能 pay 去使用 Physical 子類 Physical and Process 例 暫住 and HotelUnit Human stays 在 暫住 元件 暫住 and 屬性 AutonomousAgent 患者 Process and Human 例 Process and Physical 例 Process and Physical 子過程 Process and Process 位於 Process and 暫住 ProcessRICE UnitOfMeasure Process 是 對於 Human 的 price 測量 ProcessRICE and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 ProcessRICE and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2744-2757	CognitiveAgent authored HotelPackage 例 HotelPackage and HotelPackage Organization provides HotelPackage HotelPackage 指定 Integer 天數 stay 在 HotelUnit 例 Entity and HotelUnit 元件 Entity and 屬性 Organization CognitiveAgent buys HotelPackage 從 CognitiveAgent TimePosition 等於 TimePosition and 測量 Integer and 一天長度 持有期間 TimePosition and CognitiveAgent 是在 Organization 的 guest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5399-5403	子集 Set and Set 元件 Entity and Set 元件 Entity and Set
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4280-4283	元件 Object and 屬性 AutonomousAgent 擁有 AutonomousAgent and Object

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