Meter |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2490-2492 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6693-6696 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1184-1186 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1848-1848 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6691-6691 | Meter e' uma instancia de Sistema International de Unidades |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6690-6690 | Meter e' uma instancia de UnitOfLength |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37343-37343 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37342-37342 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37341-37341 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1316-1323 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2537-2550 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1570-1577 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 403-409 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 453-458 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 427-433 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 435-441 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 721-725 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 744-748 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 767-771 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2653-2658 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2660-2665 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1445-1457 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1426-1438 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1407-1419 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1464-1474 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1391-1400 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1570-1577 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4765-4770 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4830-4835 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4697-4703 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1325-1332 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3869-3875 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3894-3901 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3885-3892 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19083-19089 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1662-1674 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1235-1247 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1155-1167 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1900-1912 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1189-1201 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 205-211 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1860-1872 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1788-1800 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 900-902 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1744-1756 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1542-1554 |
|
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. | Geography.kif 4683-4685 | elevation ElevationHighPointFn SouthernOcean and 0.0 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4687-4689 | elevation ElevationLowPointFn SouthernOcean and -7235.0 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4827-4828 | elevation SeaLevel and 0.0 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3865-3867 | 1.0 NauticalMile(s) e' igual a 1852.0 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7173-7175 | Numero Real Angstrom(s) e' igual a Numero Real + 1.0E-10 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6780-6782 | Numero Real Centimeter(s) e' igual a Numero Real + 0.01 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7186-7188 | Numero Real FootLength(s) e' igual a Numero Real + 0.3048 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7193-7195 | Numero Real Inch(s) e' igual a Numero Real + 0.0254 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6799-6802 | Numero Real Kilometer(s) e' igual a Numero Real + 1000 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7097-7100 | Numero Real Micrometer(s) e' igual a Numero Real + 0.0000001 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7200-7202 | Numero Real Mile(s) e' igual a Numero Real + 1609.344 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6789-6792 | Numero Real Millimeter(s) e' igual a Numero Real + 0.001 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3973-3973 | SquareKilometer e' igual a SquareUnitFn 1 mil Meters |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3972-3972 | SquareMeter e' igual a SquareUnitFn Meter |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4671-4674 | O comprimento de ShorelineFn SouthernOcean and Antarctica e' 17968.0 1 mil Meters(s) |