No TPTP formula. May not be expressible in strict first order.	Economy.kif 2530-2532	GeopoliticalArea 對 PositiveRealNumber 和 TimeInterval 在週期 GeopoliticalArea 由部分 export 夥伴 小於或等於 PositiveRealNumber and 1.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1275-1277	RealNumber 是 GeopoliticalArea 的 highest 平分家庭收入 小於或等於 RealNumber and 1.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1257-1259	RealNumber 是對於 GeopoliticalArea 在週期 RealNumber 的 highest 平分家庭收入 小於或等於 RealNumber and 1.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3105-3110	持有期間 TimePosition and attribute entity and GoodAQIAirQuality airQualityIndex entity and RealNumber 小於或等於 RealNumber and 50
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3118-3125	持有期間 TimePosition and attribute entity and ModerateAQIAirQuality airQualityIndex entity and RealNumber 小於或等於 RealNumber and 100 大於或等於 RealNumber and 51
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3146-3153	持有期間 TimePosition and attribute entity and UnhealthyAQIAirQuality airQualityIndex entity and RealNumber 小於或等於 RealNumber and 200 大於或等於 RealNumber and 151
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3160-3167	持有期間 TimePosition and attribute entity and UnhealthyAQIAirQuality airQualityIndex entity and RealNumber 小於或等於 RealNumber and 300 大於或等於 RealNumber and 201
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3132-3139	持有期間 TimePosition and attribute entity and UnhealthyForSensitiveAQIAirQuality airQualityIndex entity and RealNumber 小於或等於 RealNumber and 150 大於或等於 RealNumber and 101
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 375-380	持有期間 TimePosition and 例 entity and 人類寶貝 年齡 entity and 測量 RealNumber and 年持續時間 小於或等於 RealNumber and 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 294-299	持有期間 TimePosition and 例 entity and 人類的孩子 年齡 entity and 測量 RealNumber and 年持續時間 小於或等於 RealNumber and 14
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2738-2740	GeopoliticalArea 對於 PositiveRealNumber 由一部分 GeopoliticalArea import 夥伴 小於或等於 PositiveRealNumber and 1.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2723-2725	GeopoliticalArea 對 PositiveRealNumber 和 TimeInterval 在週期 GeopoliticalArea 由一部分 import 夥伴 小於或等於 PositiveRealNumber and 1.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1313-1315	NonnegativeRealNumber 是 GeopoliticalArea 基於基尼指數的 income 分配 小於或等於 NonnegativeRealNumber and 100.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1300-1302	GeopoliticalArea 對於 TimeInterval 在週期 NonnegativeRealNumber 基於基尼指數 income 分配 小於或等於 NonnegativeRealNumber and 100.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1341-1343	GeopoliticalArea 是 對於 TimeInterval 在週期 RealNumber 的顧客價格的 inflation 速率 小於或等於 RealNumber and 1.0
No TPTP formula. May not be expressible in strict first order.	WMD.kif 205-211	例 Physical and Bacterium RealNumber 寬度 Physical and 測量 RealNumber and 儀表 大於或等於 RealNumber and 0.000001 小於或等於 RealNumber and 0.000002
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2131-2135	例 GeopoliticalArea and 美國城市 小於或等於 基數 GeopoliticalArea 的 resident and 基數 紐約市美國 的 resident
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8621-8623	例 Entity and 天 PositiveInteger and Month 小於或等於 PositiveInteger and 31
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2799-2811	例 Transfer and Drizzling Collection SelfConnectedObject and RealNumber 例 Collection and Collection 例 SelfConnectedObject and Water 例 SelfConnectedObject and LiquidDrop 會員 SelfConnectedObject and Collection objectTransferred Transfer and Collection SelfConnectedObject 的 approximate diameter 是 測量 RealNumber and 毫米 模態屬性 小於或等於 RealNumber and 0.5 and 容易
No TPTP formula. May not be expressible in strict first order.	Weather.kif 656-666	例 Process and TropicalDepression GeographicArea RealNumber 例 GeographicArea and GeographicArea Process 是 located 在 GeographicArea 等於 測量 RealNumber and MilesPerHour and Mean1MinuteWindSpeedFn GeographicArea and 何時 Process 小於或等於 RealNumber and 38.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 712-723	例 Process and TropicalStorm GeographicArea RealNumber 例 GeographicArea and GeographicArea Process 是 located 在 GeographicArea 等於 測量 RealNumber and MilesPerHour and Mean1MinuteWindSpeedFn GeographicArea and 何時 Process 大於或等於 RealNumber and 39.0 小於或等於 RealNumber and 74.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1415-1417
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1399-1401	按職業期間劃分的勞動力比例 GeopoliticalArea, Attribute, RealNumber and TimeInterval 小於或等於 RealNumber and 1.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1229-1231	RealNumber 是 GeopoliticalArea lowest 平分家庭收入 小於或等於 RealNumber and 1.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1212-1214	GeopoliticalArea 對於 TimeInterval 在週期 RealNumber 的 lowest 平分家庭收入 小於或等於 RealNumber and 1.0
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