Millimeter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Millimeter

Millimeter(毫米)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2515-2515
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6784-6785
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1214-1215
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6787-6787	例毫米 and UnitOfLength

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37805-37805
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37804-37804
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37803-37803

antecedent

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
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.	Food.kif 1399-1415	例 Object and Latte 部分 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.21 approximateValue RealNumber and 12.0
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1576-1583	例圈 and AuditoryCanal 部分圈 and Object attribute Object and Healthy 直徑圈 and 測量 RealNumber and 毫米 approximateValue RealNumber and 0.7
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1526-1533	例圈 and EustachianTube 部分圈 and Object attribute Object and Healthy 直徑圈 and 測量 RealNumber and 毫米 approximateValue RealNumber and 3.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7311-7316	例 SelfConnectedObject and Boulder SelfConnectedObject 的 approximate diameter 是測量 RealNumber and 毫米比較多 RealNumber and 256.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7288-7295	例 SelfConnectedObject and Cobble SelfConnectedObject 的 approximate diameter 是測量 RealNumber and 毫米比較多 256.0 and RealNumber 比較多 RealNumber and 64.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7265-7272	例 SelfConnectedObject and Pebble SelfConnectedObject 的 approximate diameter 是測量 RealNumber and 毫米比較多 64.0 and RealNumber 比較多 RealNumber and 2.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17972-17980	部分 SelfConnectedObject and Object 例 Object and 粘土 SelfConnectedObject 的 approximate diameter 是測量 RealNumber and 毫米比較多 0.004 and RealNumber 比較多 RealNumber and 0.001
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4375-4383	部分 SelfConnectedObject and Object 例 Object and 砂 SelfConnectedObject 的 approximate diameter 是測量 RealNumber and 毫米比較多 2.0 and RealNumber 比較多 RealNumber and 0.062
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4420-4428	部分 SelfConnectedObject and Object 例 Object and 淤泥 SelfConnectedObject 的 approximate diameter 是測量 RealNumber and 毫米比較多 0.062 and RealNumber 比較多 RealNumber and 0.004

consequent

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.	Media.kif 1243-1248	例 Object and OpticalDisc attribute Object and MiniSizeDisc 寬度 Object and 測量 80 and 毫米
No TPTP formula. May not be expressible in strict first order.	Media.kif 1230-1235	例 Object and OpticalDisc attribute Object and StandardSizeDisc 寬度 Object and 測量 120 and 毫米
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2803-2815	例 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 1109-1123	例 Physical and 大雨持有期間何時 Physical and entity entity 例 entity and Region Physical 是 located 在 entity rain 的 rate 在 entity 期間何時 Physical 是測量 1 and 小時是測量 entity and 毫米的 per 比較多 entity and 10.0 比較多 50.0 and entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1057-1070	例 Entity and 下雨 Entity Entity and Class 例 Entity and Collection 例 Entity and Water 例 Entity and LiquidDrop 例 Entity, Class, 會員 Entity and Entity, objectTransferred Entity and Entity, Class 的 minimum 預期半徑是測量 0.1 and 毫米 and Class 的 maximum 預期半徑是測量 9.0 and 毫米

statement

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 316-317	測量 25.0 and 毫米是 GAU12U 的 caliber
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 393-394	測量 7.62 and 毫米是 M240 的 caliber
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 282-283	測量 25.0 and 毫米是 M242 的 caliber
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 497-498	測量 12.7 and 毫米是 m2褐變的 caliber
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 574-575	測量 12.7 and 毫米是 M3M 的 caliber
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 433-434	測量 7.62 and 毫米是 M60 的 caliber
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 636-637	測量 40.0 and 毫米是 Mk19 的 caliber
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 828-829	測量 83.0 and 毫米是 SMAW掩體破壞者的 caliber
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 531-532	測量 12.7 and 毫米是 XM218 的 caliber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6789-6792	等於測量 RealNumber and 毫米 and 測量乘法 RealNumber and 0.001 and 儀表

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