measure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2632-2634
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7515-7518
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1347-1349
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7512-7512	域測量, 1 and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7513-7513	域測量, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7511-7511	例測量 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7510-7510	例測量 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 607-607
No TPTP formula. May not be expressible in strict first order.	english_format.kif 610-610
No TPTP formula. May not be expressible in strict first order.	french_format.kif 368-368
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 177-177
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2102-2102
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 320-320
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 378-378
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 794-794
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 215-215
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 390-390
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 409-409
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 350-350
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 868-868	子關係吸收劑量 and 測量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7527-7527	子關係年齡 and 測量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26770-26770	子關係氣溫 and 測量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7857-7857	子關係氣壓 and 測量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1379-1379	子關係有效範圍 and 測量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1005-1005	子關係艦隊載重噸位 and 測量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 987-987	子關係船隊總註冊噸位 and 測量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7540-7540	子關係 linearExtent and 測量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14655-14655	子關係 loudness and 測量
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1766-1766	子關係記憶體大小 and 測量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10760-10760	子關係 phMeasure and 測量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 393-393	子關係軌道寬度 and 測量

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14501-14507	測量 Physical and 測量 RealNumber and 公噸測量 Physical and 測量乘法 RealNumber and 2205.0 and 磅質量
No TPTP formula. May not be expressible in strict first order.	Geography.kif 378-380	測量 Physical and 測量 RealNumber and 圓周角度測量 Physical and 測量乘法 60.0 and RealNumber and 弧分
No TPTP formula. May not be expressible in strict first order.	Geography.kif 397-399	測量 Physical and 測量 RealNumber and 弧分測量 Physical and 測量乘法 60.0 and RealNumber and 弧秒
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14222-14227	測量 Physical and 測量 RealNumber and OunceMass 測量 Physical and 測量部 RealNumber and 16.0 and 磅質量
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2536-2539	測量 Solution and 測量 RealNumber and 酸鹼度 RealNumber 是 Solution 的氫 potential
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7607-7622	amount Substance, CorpuscularObject and 測量 RealNumber and UnitOfMass 例 SubstanceI and Substance 測量 SubstanceI and 測量 RealNumber and UnitOfMass 部分 SubstanceI and CorpuscularObject List 在列表中測量 RealNumber and UnitOfMass and List 等於 List and AmountsFn Substance, CorpuscularObject and UnitOfMass 等於 RealNumber and ListSumFn List
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19037-19048	SelfConnectedObject 的 approximate diameter 是測量 RealNumber and RealNumberM Object 的 radius 是測量部 RealNumber and 2.0 and RealNumberM 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 例 RealNumberM and UnitOfLength 例 UnitOfMeasure and UnitOfVolume 等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	attribute Object and FamilyStylePortion 測量 Object and 測量 RealNumber and UnitOfMeasure attribute Object and FamilyStylePortion 測量 Object and 測量 RealNumber and UnitOfMeasure 例 Object and Class 例 Object and Class 例 UnitOfMeasure and UnitOfMeasure 比較多 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.	FinancialOntology.kif 2022-2043	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Buying 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格例 UnitOfMeasure and UnitOfCurrency AutonomousAgent 為了安全 asks 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 AutonomousAgent and SymbolicStringingTime and 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2045-2066	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 13915-13928	測量 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 655-665	GeographicArea comparative 地區 BinaryRelationExtendedToQuantities 對於 PositiveRealNumber 跟 GeographicArea 在一起例 UnitOfMeasure and UnitOfArea 測量 GeographicArea and 測量 RealNumber and UnitOfMeasure 測量 GeographicArea and 測量 RealNumber and UnitOfMeasure BinaryRelationExtendedToQuantities 測量 RealNumber and UnitOfMeasure and 測量乘法 PositiveRealNumber and RealNumber and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 234-249	concentration 測量 RealNumber and UnitOfMeasure, Substance, 測量 RealNumber and UnitOfMeasure and Mixture 例 SubstanceI and Substance 部分 SubstanceI and Mixture 測量 SubstanceI and 測量 RealNumber and UnitOfMeasure 部分 SubstanceI and Mixture 例 SubstanceI2 and Substance 等於 SubstanceI and SubstanceIE2 部分 SubstanceI2 and Mixture 測量 Mixture and 測量 RealNumber and UnitOfMeasure approximateValue RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2569-2587	engineIdleSpeed 內燃機 and RotationFn 測量 RealNumber and MilesPerHour and TimeDuration 例 Object and 汽車例 Process and GasPedal 例 Process and Pushing 目的地 Process and Object 部分內燃機 and Object 部分 Object and Object 例 Object and Crankshaft 部分 Object and 內燃機持有期間何時 Process and 測量 Object and RotationFn 測量 entity and MilesPerHour and TimeDuration 模態屬性比較多 entity and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 862-866	等於輻射測量 and 測量 RealNumber and 拉德測量 Object and 輻射測量吸收劑量 Object and 輻射測量
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2868-2886	governorSpeed SpeedGovernor and FunctionQuantity 等於測量 RealNumber and MilesPerHour and 速度 LengthMeasure and TimeDuration 等於測量 RealNumber and MilesPerHour and 速度 LengthMeasure and TimeDuration 比較多 RealNumber and RealNumber 等於 RealNumberPROB and 可能性測量 SpeedGovernor and 測量 RealNumber and MilesPerHour 等於 RealNumberPROB and 可能性測量 SpeedGovernor and 測量 RealNumber and MilesPerHour 比較多 RealNumberPROB and RealNumberPROB
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2551-2567	持有期間 TimePosition and 測量 Object and FunctionQuantity engineIdleSpeed 內燃機 and FunctionQuantity 例 Object and 汽車部分內燃機 and Object 部分 Object and 內燃機模態屬性 entity entity 期間 entity and TimePosition 例 entity and Pushing 目的地 entity and entity 部分 entity and Object and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31776-31797	持有期間 TimeInterval and attribute AutonomousAgent and Dieting 持有期間 TimeInterval and attribute AutonomousAgent and Dieting 例 Object and Meal 例 Process and Eating agent Process and AutonomousAgent 資源 Process and Object 期間何時 Process and TimeInterval 測量 Object and 測量 RealNumber and 卡路里例 Object and Meal 例 Process and Eating agent Process and AutonomousAgent 資源 Process and Object 期間何時 Process and TimeInterval 測量 Object and 測量 RealNumber and 卡路里模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Food.kif 1321-1332	例 Object and Americano 部分 Substance and Object 部分 Substance and Object 例 Substance and Espresso 例 Substance and 飲用水測量 Substance and 測量 90.0 and 攝氏度 mixtureRatio Substance, Substance, RealNumber, RealNumber and 升 approximateValue RealNumber and 0.03 approximateValue RealNumber and 0.15
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2861-2872	例 Object and Brine 測量 Object and 測量 1.0 and 升部分 Object and Object 例 Object and 鹽測量 Object and 測量 RealNumber and 公克比較多 RealNumber and 35.0 小於或等於 RealNumber and 260.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13905-13913	例 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.	Cars.kif 4142-4174	例 Object and BimetalTemperatureSensor 例 Object and Metal 例 Object and Metal 等於 Object and Object 部分 Object and Object 部分 Object and Object 例 Entity and TemperatureMeasure 例 Entity and TemperatureMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 等於 Entity and Entity 等於 TimePosition and TimePosition 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber 等於部 RealNumber and RealNumber and 部 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Food.kif 1285-1301	例 Object and Cappuccino 部分 Substance and Object 部分 Substance and Object 例 Substance and Espresso 例 Substance and MilkFoam mixtureRatio Substance, Substance, RealNumber, RealNumber and 升部分 SelfConnectedObject and Substance 例 SelfConnectedObject and 氣泡上 SelfConnectedObject and Substance 測量 SelfConnectedObject and 測量 RealNumber and 毫米 approximateValue RealNumber and 0.03 approximateValue RealNumber and 0.15 approximateValue RealNumber and 20.0

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7800-7808	更大 Object and Object RealNumber RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14501-14507	測量 Physical and 測量 RealNumber and 公噸測量 Physical and 測量乘法 RealNumber and 2205.0 and 磅質量
No TPTP formula. May not be expressible in strict first order.	Geography.kif 378-380	測量 Physical and 測量 RealNumber and 圓周角度測量 Physical and 測量乘法 60.0 and RealNumber and 弧分
No TPTP formula. May not be expressible in strict first order.	Geography.kif 397-399	測量 Physical and 測量 RealNumber and 弧分測量 Physical and 測量乘法 60.0 and RealNumber and 弧秒
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14222-14227	測量 Physical and 測量 RealNumber and OunceMass 測量 Physical and 測量部 RealNumber and 16.0 and 磅質量
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2094	測量 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 2022-2043	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Buying 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格例 UnitOfMeasure and UnitOfCurrency AutonomousAgent 為了安全 asks 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 AutonomousAgent and SymbolicStringingTime and 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2045-2066	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.	Hotel.kif 1186-1201	attribute Object and Oversized 立即實例 Object and Class 子類 Class and HotelUnit Physical RealNumber, RealNumber and UnitOfMeasure 立即實例 Physical and Class 例 UnitOfMeasure and UnitOfArea 測量 Physical and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 RealNumber and AreaMeasure 例 RealNumber and AreaMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26782-26791	attribute Object and Attribute 例 Attribute and TemperatureAttribute 例 Object and Object Object 測量 Object and Object 例 Object and TemperatureMeasure attribute Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14432-14441	Object 的 maximum 預期價值是測量 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 14443-14454	Object 的 maximum 預期價值是測量 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 entity and 測量 RealNumber and UnitOfMeasure and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14462-14471	Object 的預期 value 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and CompositeUnitOfMeasure 模態屬性 entity RealNumberUANTITY 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and UnitOfMeasure 比較多 RealNumberUANTITY and 乘法 RealNumber and 1.5 and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14473-14482	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 14401-14410	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 14412-14423	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.	Merge.kif 6156-6167	UnitOfMeasure 是 unit 在 Graph 例 GraphElement and GraphNode 圖形部分 GraphElement and Graph 圖形部分 GraphArc and Graph 例 GraphArc and GraphArc Physical 的 abstract counterpart 是 GraphElement Physical 的 abstract counterpart 是 GraphArc 弧重 GraphArc and RealNumber 測量 Physical and 測量 RealNumber and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1172-1184	立即實例 Object and Class 立即實例 Physical and Class attribute Object and Oversized ObjectSIZE PhysicalSIZE and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 測量 Object and 測量 ObjectSIZE and UnitOfMeasure 測量 Physical and 測量 PhysicalSIZE and UnitOfMeasure 比較多 ObjectSIZE and PhysicalSIZE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26817-26832	立即實例 Object and Class 立即實例 Object and Class attribute Object and ColdTemperature attribute Object and HotTemperature RealNumber RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 例 RealNumber and TemperatureMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 RealNumber and TemperatureMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18071-18092	例 Process and 加速 agent Process and AutonomousAgent RealNumber RealNumber, RealNumber, RealNumber, entity and entity 持有期間開始何時 Process and 測量 AutonomousAgent and 速度測量 RealNumber and entity and 測量 RealNumber and entity 持有期間結束何時 Process and 測量 AutonomousAgent and 速度測量 RealNumber and entity and 測量 RealNumber and entity 比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29927-29931	例 Physical and 錒例 Physical and Atom 測量 Physical and 測量 227 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28593-28597	例 Physical and 鋁例 Physical and Atom 測量 Physical and 測量 26.9815 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30033-30037	例 Physical and 銤例 Physical and Atom 測量 Physical and 測量 243 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29227-29231	例 Physical and 銻例 Physical and Atom 測量 Physical and 測量 121.75 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28676-28680	例 Physical and 氬例 Physical and Atom 測量 Physical and 測量 39.948 and amu

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: