lessThan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1729-1730
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1839-1840
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 337-338
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1836-1836	域少於, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1837-1837	域少於, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1831-1831	例少於 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1833-1833	例少於 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1834-1834	例少於 and RelationExtendedToQuantities
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1832-1832	例少於 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1835-1835	trichotomizing 少於 and RealNumber

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 141-141
No TPTP formula. May not be expressible in strict first order.	english_format.kif 142-142
No TPTP formula. May not be expressible in strict first order.	french_format.kif 92-92
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 163-163
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1919-1919
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 44-44
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 76-76
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 172-172
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 202-202
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 111-111
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 91-91
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 325-325
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1850-1850	逆比較多 and 少於
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 142-142
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34144-34144
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34143-34143
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 52-52
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 326-326

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7524-7530	例 SelfConnectedObject and LiquidDrop SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 少於 500.0 and RealNumber 例 SelfConnectedObject and Droplet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3051-3062	金融工具金融工具Price and RealNumber 例協議 and 看漲期權金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於金融工具Price and RealNumber AutonomousAgent 是協議的 out 資兂短缺
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3002-3013	金融工具金融工具Price and RealNumber 例協議 and 看漲期權金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於 RealNumber and 金融工具Price AutonomousAgent 是協議的 in 金錢
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3015-3026	金融工具金融工具Price and RealNumber 例協議 and 放選項金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於金融工具Price and RealNumber AutonomousAgent 是協議的 in 金錢
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3064-3075	金融工具金融工具Price and RealNumber 例協議 and 放選項金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於 RealNumber and 金融工具Price AutonomousAgent 是協議的 out 資兂短缺
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	breathingRate AutonomousAgent, TimeInterval and Integer 例 TimeInterval and Minute Integer 例 Integer and RecreationOrExercise agent Integer and AutonomousAgent 期間 TimeInterval and 何時 Integer 持有期間 TimeInterval and attribute AutonomousAgent and 人類成人比較多 Integer and 16 少於 Integer and 12 持有期間 TimeInterval and attribute AutonomousAgent and Healthy
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	金融賬戶對於 %3 的 current 帳戶存款少於 RealNumber and 0 等於 RealNumber and 減法 0 and RealNumber 金融賬戶是對於 Day 的 overdraft 測量 RealNumber and 美國美元
No TPTP formula. May not be expressible in strict first order.	Media.kif 3068-3089	等於 SymbolicString and ReverseFn SymbolicString 等於 NonnegativeInteger and SymbolicString 的 length 比較多 NonnegativeInteger and 1 比較多 NonnegativeInteger and 0 少於 NonnegativeInteger and NonnegativeInteger 等於 Integer and 天花板部減法 NonnegativeInteger and 1 and 2 等於 NonnegativeIntegerEW and 加成減法 Integer and NonnegativeInteger and Integer 等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeInteger 對於加成 1 and NonnegativeInteger 等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeIntegerEW 對於加成 1 and NonnegativeIntegerEW
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 701-714	例金融賬戶 and 金融賬戶金融賬戶是對於測量 RealNumber and UnitOfMeasure 的 minimum 金額使用帳戶例 UnitOfMeasure and UnitOfCurrency 金融賬戶對於 %3 的 current 帳戶存款少於 RealNumber and RealNumber Process 例 Process and 罰款日期 Process and Day 目的地 Process and 金融賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 759-775	例責任賬戶 and 責任賬戶責任賬戶是對於月持續時間的 minimum 費用測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency Process TimeInterval 例 TimeInterval and Month 目的地 Process and 責任賬戶的 currency 責任賬戶 payments 對於 TimeInterval 每周期測量 RealNumber and UnitOfMeasure 少於 RealNumber and RealNumber Process 例 Process and 罰款目的地 Process and 責任賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 342-348	例 Entity and Human 持有期間 TimePosition and 年齡 Entity and 測量 RealNumber and 年持續時間比較多 RealNumber and 12 少於 RealNumber and 20 持有期間 TimePosition and 例 Entity and 青少年
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 269-274	例 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.	Merge.kif 13863-13878	例 Entity and PureSubstance 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 melting 點例 UnitOfMeasure and UnitOfTemperature 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber 少於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 液體 Process 暫時重疊何時 Process and TimeInterval 例 Process and Melting 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13880-13893	例 Entity and PureSubstance 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 melting 點持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 少於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 固體 Process 暫時重疊何時 Process and TimeInterval 例 Process and Freezing 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2667-2673	例 WaterArea and 水路對於 WaterArea 從 Physical 的 depth 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfLength 少於 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是草案 WaterArea 的 navigable
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13809-13818	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 凱文度是 PureSubstance 的 boiling 點測量 RealNumber and 凱文度是 PureSubstance 的 melting 點測量 Object and 測量 RealNumber and 凱文度比較多 RealNumber and RealNumber 少於 RealNumber and RealNumber attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13829	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 凱文度是 PureSubstance 的 melting 點測量 RealNumber and 英寸汞是 Object 的 barometric 壓力比較多 RealNumber and 29.92 測量 Object and 測量 RealNumber and 凱文度少於 RealNumber and RealNumber attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 694-710	@ROW processes 的 list 在列表中 Physical and 名單 @ROW 在列表中 Physical and 名單 @ROW 等於清單順序名單 @ROW and PositiveInteger and Physical 等於清單順序名單 @ROW and PositiveInteger and Physical 少於 PositiveInteger and PositiveInteger 早期何時 Physical and 何時 Physical
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 430-445	CognitiveAgent sells Entity 對於測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency Entity 的 price 從 CognitiveAgent 根據 PricingScheme 是測量 RealNumber and UnitOfMeasure PricingScheme 是 valid 對於 AutonomousAgent 例 Entity and Entity 例 Process and Buying 立即實例 AutonomousAgent and AutonomousAgent agent Process and AutonomousAgent 起源 Process and CognitiveAgent 少於 RealNumber and RealNumber 模態屬性 RealNumber 是 Process 的 transaction 總額 and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5968-5982	typicalBloodVolume Mammal and 測量 RealNumber and UnitOfMeasure 持有期間 TimePosition and bloodVolume Entity and 測量 RealNumber and UnitOfMeasure 例 Entity and Mammal 比較多乘法 RealNumber and 2.0 and RealNumber 少於 RealNumber and 乘法 0.8 and RealNumber 持有期間 TimePosition and attribute Entity and SevereBloodLoss
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5950-5962	typicalBloodVolume Mammal and 測量 RealNumber and UnitOfMeasure 持有期間 TimePosition and bloodVolume Entity and 測量 RealNumber and UnitOfMeasure 例 Entity and Mammal 少於乘法 RealNumber and 2.0 and RealNumber 持有期間 TimePosition and attribute Entity and CatastrophicBloodLoss
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3682-3695	持有期間 TimePosition and minDeviceOperatingTemp entity and 測量 TimePosition and entity 例 entity and UnitOfTemperature 位於 entity and entity attribute entity and 設備上測量 TimePosition and entity 是 entity 的 air 溫度少於 TimePosition and TimePosition 模態屬性持有期間眼前的未來 TimePosition and attribute entity and DeviceDamaged and 容易
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3708-3721	持有期間 TimePosition and minDeviceStorageTemp entity and 測量 TimePosition and entity 例 entity and UnitOfTemperature 位於 entity and entity attribute entity and 設備關閉測量 TimePosition and entity 是 entity 的 air 溫度少於 TimePosition and TimePosition 模態屬性持有期間眼前的未來 TimePosition and attribute entity and DeviceDamaged and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1240-1246	持有期間 TimePosition and oxygenSaturation entity and entity 少於 entity and 92.0 持有期間 TimePosition and attribute entity and Hypoxia

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千個生存出生裡的 deaths and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and 1000 and RealNumber 等於 entityDEATHCOUNT and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 年齡 entity and 測量 entity and 年持續時間少於 entity and 1 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 entityDEATHCOUNT and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1948-1952	例 RealNumber and NegativeRealNumber 少於 RealNumber and 0 例 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1867-1871	小於或等於 RealNumber and RealNumber 等於 RealNumber and RealNumber 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 女測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克少於 RealNumber and 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 男測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克少於 RealNumber and 13
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18728-18737	attribute Position and 大學新生佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 少於 RealNumber and 1
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.	Dining.kif 1148-1156	條件概率 attribute entity and ComfortFood, attribute entity and HeartHealthyFood and RealNumber 條件概率 attribute entity and ComfortFood, attribute entity and HeartHealthyFood and RealNumber 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2623-2628	降低可能性 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 13577-13586	Object 的預期 value 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and CompositeUnitOfMeasure 模態屬性 entity RealNumberUANTITY 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and UnitOfMeasure 少於 RealNumberUANTITY and 乘法 RealNumber and .5 and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13505-13514	Object 的 minimum 預期價值是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and CompositeUnitOfMeasure 模態屬性 entity RealNumberUANTITY 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and UnitOfMeasure 少於 RealNumberUANTITY and RealNumber and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13516-13527	Object 的 minimum 預期價值是測量 RealNumber and UnitOfMeasure 子類 Class and NonCompositeUnitOfMeasure 例 UnitOfMeasure and Class 模態屬性 entity RealNumberUANTITY and entity 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and entity 例 entity and Class 少於 RealNumberUANTITY and RealNumber and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13467-13477	Object 的 minimum 預期半徑是測量 RealNumber and UnitOfMeasure 例 Object and Object attribute Object and 球模態屬性 RealNumberADIUS Object 的 radius 是測量 RealNumberADIUS and UnitOfMeasure 少於 RealNumberADIUS and RealNumber and 較不可能
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4958-4972	等於最不常見的倍數 @ROW and Integer 等於 Integer and 0 Integer 少於 Integer and Integer Integer 在列表中 Integer and 名單 @ROW 等於剩餘 Integer and Integer and 0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4868-4872	例二維角度 and 銳角 RealNumber 是二維角度的 angular 量測少於 RealNumber and 90.0
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	例 AutonomousAgent and AutonomousAgent CognitiveAgent 是個 potential customer 對於 AutonomousAgent 模態屬性例 entity and Reserving 目的地 entity and AutonomousAgent and 必要性條件概率 entityES1 例 entityES1 and Reservation CognitiveAgent reserves entityES1 AutonomousAgent fulfills entityES1 , AutonomousAgent 是 CognitiveAgent 的 customer and RealNumber 條件概率 entityES2 例 entityES2 and Reservation CognitiveAgent reserves entityES2 AutonomousAgent fulfills entityES2 , AutonomousAgent 是 CognitiveAgent 的 customer and RealNumber 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1391-1400	例 Object and 飛機場 attribute Object and 很短的跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表少於 RealNumber and 914
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.	Weather.kif 892-898	例 Region and GeographicArea 例 Process and 天氣晴朗 Process 是 located 在 Region NonnegativeRealNumber Region 少於 NonnegativeRealNumber and 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 882-890	例 Region and GeographicArea 例 Process and 天氣晴朗 Process 是 located 在 Region NonnegativeRealNumber NonnegativeRealNumber Region 少於 NonnegativeRealNumber and 0.3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4698-4708	例 SelfConnectedObject and 瓶子底部 SelfConnectedObject and SelfConnectedObject 上 SelfConnectedObject and SelfConnectedObject 例 UnitOfMeasure and UnitOfLength 寬度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 寬度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10961-10974	例 Process and Cooling 患者 Process and Entity Entity RealNumber and RealNumber 例 Entity and TemperatureMeasure 持有期間開始何時 Process and 等於測量 Entity and Entity and RealNumber 持有期間結束何時 Process and 等於測量 Entity and Entity and RealNumber 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 620-630	例 Process and CPR 例 Motion and Compressing 路徑 Motion and Object 子過程 Motion and Process length Object and 測量 RealNumber and 厘米比較多 RealNumber and 5.0 少於 RealNumber and 6.0

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.

Merge.kif 6099-6106

GraphPath GraphPath 例 GraphPath and 切集 Graph 例 GraphPath and 最小割集 Graph 路徑長度 GraphPath and PositiveInteger 路徑長度 GraphPath and PositiveInteger 少於 PositiveInteger and PositiveInteger

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: