greaterThanOrEqualTo - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1735-1736
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1881-1883
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 343-344
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1877-1877	域大於或等於, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1878-1878	域大於或等於, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1873-1873	例大於或等於 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1874-1874	例大於或等於 and PartialOrderingRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1875-1875	例大於或等於 and RelationExtendedToQuantities
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1879-1879	逆大於或等於 and 小於或等於
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1876-1876	trichotomizing 大於或等於 and RealNumber

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 113-113
No TPTP formula. May not be expressible in strict first order.	english_format.kif 113-113
No TPTP formula. May not be expressible in strict first order.	french_format.kif 78-78
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 122-122
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1905-1905
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 30-30
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 79-79
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 130-130
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 162-162
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 97-97
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 77-77
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 250-250
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 114-114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26537-26537
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26536-26536
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 38-38
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 251-251

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7469-7479	例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 大於或等於 RealNumber and 2.5 Object5 例 Object5 and FineParticulateMatter 部分 Object5 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1885-1889	大於或等於 RealNumber and RealNumber 等於 RealNumber and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 arable 土地大於或等於 RealNumber and 0.0 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 區域例 RealNumber and AreaMeasure 等於 RealNumber and 乘法 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 arable 土地
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 arable 土地大於或等於 RealNumber and 0.0 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 區域例 UnitOfMeasure and UnitOfArea GeographicArea 例 GeographicArea and 耕地 GeographicArea 是 GeographicArea 的 geographic 次要地區測量 GeographicArea and 測量乘法 RealNumber and RealNumber and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Selling 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格 AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於安全例 UnitOfMeasure and UnitOfCurrency 大於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 SymbolicStringingTime and AutonomousAgent and 協議
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13854	測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Entity and PureSubstance 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 大於或等於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 加油站 Process 暫時重疊何時 Process and TimeInterval 例 Process and Boiling 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1316-1323	熱帶氣候區是 GeographicArea 地區的 climate 類別例 Month and Month GeographicArea 對於測量 RealNumber and 毫儀表在 Month 週期的 average 降雨量大於或等於 RealNumber and 60.0 濕熱帶氣候區是 GeographicArea 地區的 climate 類別
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 219-225	例 Entity and Human 持有期間 TimePosition and 年齡 Entity and 測量 RealNumber and 年持續時間大於或等於 RealNumber and 18 持有期間 TimePosition and 例 Entity and 人類成人
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2165-2176	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 other 土地使用地區大於或等於 RealNumber and 0.0 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 區域例 UnitOfMeasure and UnitOfArea 等於 RealNumber and 乘法 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 other 土地使用地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2178-2196	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 other 土地使用地區大於或等於 RealNumber and 0.0 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 區域例 UnitOfMeasure and UnitOfArea GeographicArea 例 GeographicArea and LandArea 例 GeographicArea and 耕地例 GeographicArea and 永久性耕地 GeographicArea 是 GeographicArea 的 geographic 次要地區測量 GeographicArea and 測量乘法 RealNumber and RealNumber and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2125-2136	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 permanent 農作地區大於或等於 RealNumber and 0.0 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 區域例 UnitOfMeasure and UnitOfArea 等於 RealNumber and 乘法 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 permanent 農作地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2138-2152	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 permanent 農作地區大於或等於 RealNumber and 0.0 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 區域例 UnitOfMeasure and UnitOfArea GeographicArea 例 GeographicArea and 永久性耕地 GeographicArea 是 GeographicArea 的 geographic 次要地區測量 GeographicArea and 測量乘法 RealNumber and RealNumber and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Government.kif 1176-1189	次提案強制選舉法 and Nation 的 regional 法律公民 Human and Nation 測量 RealNumber and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber 例選舉 and Nation 的 election Process 例 Process and 選舉的 voting agent Process and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1120-1130	次提案普選法 and Nation 的 regional 法律公民 Human and Nation 測量 RealNumber and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber 例選舉 and Nation 的 election 能力選舉的 voting , agent and Human

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1926-1930	例 RealNumber and NonnegativeRealNumber 大於或等於 RealNumber and 0 例 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 359-365	attribute Mammal and Healthy restingBreathingRate Mammal and Integer 大於或等於 Integer and 12 大於或等於 16 and Integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18743-18753	attribute Position and 大學三年級佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 大於或等於 RealNumber and 2 少於 RealNumber and 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18759-18769	attribute Position and 大學高年級佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 大於或等於 RealNumber and 3 少於 RealNumber and 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18775-18785	attribute Position and 大學二年級學生佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 大於或等於 RealNumber and 1 少於 RealNumber and 2
No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	公民 Human and Nation 次提案普選法 and Nation 的 regional 法律賦予權利 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1419-1425	溫帶氣候區是 GeographicArea 地區的 climate 類別例 TimeInterval and Month 1 對於 %3 在 %2 週期的 average 溫度大於或等於 RealNumber and -3.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6022-6028	等於最小加權路徑 GraphNode and GraphNode and GraphPath 等於路徑重量 GraphPath and RealNumber 例 GraphPath and 圖形路徑 GraphNode and GraphNode 等於路徑重量 GraphPath and RealNumber 大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1445-1457	例 Object and 飛機場 attribute Object and 長跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表大於或等於 RealNumber and 2438 小於或等於 RealNumber and 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1426-1438	例 Object and 飛機場 attribute Object and 中長跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表大於或等於 RealNumber and 1524 小於或等於 RealNumber and 2437
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1407-1419	例 Object and 飛機場 attribute Object and 短跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表大於或等於 RealNumber and 914 小於或等於 RealNumber and 1523
No TPTP formula. May not be expressible in strict first order.	Weather.kif 917-925	例 Region and GeographicArea 例 Process and 部分多雲的天氣 Process 是 located 在 Region NonnegativeRealNumber Region 大於或等於 NonnegativeRealNumber and 0.3 小於或等於 NonnegativeRealNumber and 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 906-915	例 Region and GeographicArea 例 Process and 部分多雲的天氣 Process 是 located 在 Region NonnegativeRealNumber NonnegativeRealNumber Region 大於或等於 NonnegativeRealNumber and 0.3 小於或等於 NonnegativeRealNumber and 0.7
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8045-8052	例 GeopoliticalArea and GeopoliticalArea 等於 Integer and 基數 GeopoliticalArea 的 citizenry 等於 Integer and 基數 GeopoliticalArea 的 resident 大於或等於 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 686-699	例金融賬戶 and 金融賬戶金融賬戶是對於測量 RealNumber and UnitOfMeasure 的 minimum 金額開戶例 UnitOfMeasure and UnitOfCurrency FinancialTransaction TimePoint and RealNumber 目的地 FinancialTransaction and 金融賬戶的 currency 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額大於或等於 RealNumber and RealNumber TimePoint 是金融賬戶的 agreement 生效日期日期 FinancialTransaction and TimePoint
No TPTP formula. May not be expressible in strict first order.	Food.kif 571-578	例 Food and 咖啡豆 attribute Food and DarkRoast roastedToTemperature Food and RealNumber 大於或等於 RealNumber and 225 小於或等於 RealNumber and 245
No TPTP formula. May not be expressible in strict first order.	Food.kif 495-502	例 Food and 咖啡豆 attribute Food and LightRoast roastedToTemperature Food and RealNumber 大於或等於 RealNumber and 196 小於或等於 RealNumber and 205
No TPTP formula. May not be expressible in strict first order.	Food.kif 533-540	例 Food and 咖啡豆 attribute Food and MediumRoast roastedToTemperature Food and RealNumber 大於或等於 RealNumber and 210 小於或等於 RealNumber and 219
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13839	例 Process and Boiling 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Entity and PureSubstance 患者 Process and Entity 持有期間何時 Process and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4645-4658	例 Object and CoffeeArabica 測量 Object and 測量 RealNumber and 公克例 ObjectC and Caffeine 部分 ObjectC and Object 測量 ObjectC and 測量 RealNumber and 公克等於 RealNumber and 部 RealNumber and RealNumber 大於或等於 RealNumber and 0.008 小於或等於 RealNumber and 0.014
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4669-4682	例 Object and CoffeeRobusta 測量 Object and 測量 RealNumber and 公克例 ObjectC and Caffeine 部分 ObjectC and Object 測量 ObjectC and 測量 RealNumber and 公克等於 RealNumber and 部 RealNumber and RealNumber 大於或等於 RealNumber and 0.017 小於或等於 RealNumber and 0.04
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	例 Object and Crystal attribute Object and MonoCrystalline 例 SelfConnectedObject and Substance attribute SelfConnectedObject and 固體 attribute SelfConnectedObject and PolyCrystalline 例 SelfConnectedObject and Substance 表面 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject ObjectLNT Integer and Object 例 ObjectLNT and Collection Integer 是 ObjectLNT 的 member 計數大於或等於 Integer and 4 會員 Object and ObjectLNT 部分 Object and SelfConnectedObject 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Food.kif 1367-1385	例 Object and FlatWhite 部分 Substance and Object 部分 Substance and Object 例 Substance and Espresso 例 Substance and MilkFoam mixtureRatio Substance, Substance, RealNumber, RealNumber and 升部分 SelfConnectedObject and Substance 部分 SelfConnectedObject and Substance 上 SelfConnectedObject and Substance 例 SelfConnectedObject and 氣泡測量 SelfConnectedObject and 測量 RealNumber and 毫米 approximateValue RealNumber and 0.03 approximateValue RealNumber and 0.15 大於或等於 RealNumber and 1.0 小於或等於 RealNumber and 20.0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2811-2830	例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object 例 Entity and 汽油例 Entity and UnitOfVolume 持有期間 TimePosition and 包含 Object and Entity 測量 Entity and 測量 entity and Entity attribute Object and EngineFlooded 有目的 Object and Entity entity 例 Entity and 汽油包含 Object and Entity 測量 Entity and 測量 entity and Entity 大於或等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1003-1012	例選舉 and AutonomousAgent 的 election 例 Process and 選舉的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最小年紀年齡 AutonomousAgent and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1092-1103	包含信息 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE 公民 ?AGENT and ?POLITY 測量 ?VOTINGAGE and 年持續時間是 ?POLITY 的 suffrage 最小年紀年齡 ?AGENT and 測量 ?AGE and 年持續時間大於或等於 ?AGE and ?VOTINGAGE 例 ?ELECTION and ?POLITY 的 election 能力 ?ELECTION 的 voting , agent and ?AGENT and 普選法
No TPTP formula. May not be expressible in strict first order.	Government.kif 1160-1174	包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE 公民 ?VOTER and ?POLITY 測量 ?VOTINGAGE and 年持續時間是 ?POLITY 的 suffrage 最小年紀年齡 ?VOTER and 測量 ?AGE and 年持續時間大於或等於 ?AGE and ?VOTINGAGE 例 ?ELECTION and ?POLITY 的 election ?VOTING 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER and 強制選舉法
No TPTP formula. May not be expressible in strict first order.	Military.kif 872-881	等於 GeopoliticalArea 的 available 軍事服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	等於 GeopoliticalArea 的 fit 對於軍服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.

Media.kif 1965-1965

大於或等於基數 TwelveApostles and 11

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: