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 est une instance de syst�me d'unit� international |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6690-6690 | Meter est une instance 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) est Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7173-7175 | Nombre r�el Angstrom(s) est nombre r�el + 1.0E-10 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6780-6782 | Nombre r�el Centimeter(s) est nombre r�el + 0.01 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7186-7188 | Nombre r�el FootLength(s) est nombre r�el + 0.3048 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7193-7195 | Nombre r�el Inch(s) est nombre r�el + 0.0254 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6799-6802 | Nombre r�el Kilometer(s) est nombre r�el + 1000 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7097-7100 | Nombre r�el Micrometer(s) est nombre r�el + 0.0000001 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7200-7202 | Nombre r�el Mile(s) est nombre r�el + 1609.344 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6789-6792 | Nombre r�el Millimeter(s) est nombre r�el + 0.001 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3973-3973 | SquareKilometer est SquareUnitFn 1 millier Meters |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3972-3972 | SquareMeter est SquareUnitFn Meter |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4671-4674 | Le longueur de ShorelineFn SouthernOcean and Antarctica est 17968.0 1 millier Meters(s) |