LengthMeasure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2403-2404
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6235-6236
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1086-1087
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8570-8570
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6233-6233	子類 LengthMeasure and ConstantQuantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4927-4927	範圍基準 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5594-5594	範圍直徑 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5613-5613	範圍半徑 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1498-1498	子類高度測量 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1303-1303	子類高度測量 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1823-1823	子類高度測量 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	french_format.kif 981-981	子類高度測量 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 516-516	子類高度測量 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 520-520	子類高度測量 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2665-2665	子類高度測量 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 933-933	子類高度測量 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 556-556	子類高度測量 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 815-815	子類高度測量 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 1002-1002	子類高度測量 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 521-521	子類高度測量 and LengthMeasure

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6648-6648	域速度, 1 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6659-6659	域速度, 1 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7746-7746	域高度, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19520-19520	域 approximateDiameter, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5702-5702	域 arcLength, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1301-1301	域期間平均降雨量, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 212-212	域口徑, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32822-32822	域 circumference, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1539-1539	域 cylinderBore, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14710-14710	域 defaultMaximumHeight, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14776-14776	域 defaultMaximumLength, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14830-14830	域 defaultMaximumSphereRadius, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14743-14743	域 defaultMaximumWidth, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14694-14694	域 defaultMinimumHeight, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14760-14760	域 defaultMinimumLength, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14811-14811	域 defaultMinimumSphereRadius, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14727-14727	域 defaultMinimumWidth, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7702-7702	域直徑, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7724-7724	域距離, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1611-1611	域有效範圍, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1880-1880	域海拔, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18110-18110	域幾何距離, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7561-7561	域高度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5081-5081	域 highTide, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3205-3205	域載貨草案, 2 and LengthMeasure

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.	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.	Cars.kif 2970-2996	例 Object and Odometer 例 Object and 車輛部分 Object and Object 例 Motion and 易位儀器 Motion and Object 路徑 Motion and 公交專用道公交專用道的 distance 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and LengthMeasure 有目的 Object and entity entity, RealNumberIST and UnitOfMeasure 例 entity and Measuring 儀器 entity and Object RealNumberIST 是 Object 的 measurement 讀數在列表中 RealNumber and entity 持有期間何時結束 entity and 等於 RealNumberIST and 測量 ListSumFn entity and UnitOfMeasure attribute Object and ResetMeasuringDevice

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6349-6353	等於測量 RealNumber and UnitOfMeasure and PhysicalQuantity 例 UnitOfMeasure and UnitOfLength 例 PhysicalQuantity and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Food.kif 1063-1073	例 Attribute and CoffeeGrindAttribute attribute Object and Attribute 例 Object and CoffeeGrind RealNumber PhysicalQuantity grainSize Object and RealNumber 例 PhysicalQuantity and LengthMeasure 等於 PhysicalQuantity and 測量 RealNumber and 毫米
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1377-1382	例 Physical and 跑道 LengthMeasure 例 LengthMeasure and LengthMeasure length Physical and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 825-830	例 Physical and 均勻的周邊區域 LengthMeasure 例 LengthMeasure and LengthMeasure 寬度 Physical and LengthMeasure

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: