LengthMeasure
|
|
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 6245-6246 | |
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 8571-8571 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6243-6243 | Medida de Comprimento e' uma sub-classe de Quantidade Constante |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4858-4858 | O contra-dominio de DatumFn e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4934-4934 | O contra-dominio de DiameterFn e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4953-4953 | O contra-dominio de RadiusFn e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1498-1498 | AltitudeMeasure e' uma sub-classe de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1303-1303 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1823-1823 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 981-981 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 516-516 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 520-520 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2665-2665 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 933-933 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 556-556 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 1002-1002 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 521-521 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6658-6658 | O argumento numero 1 de SpeedFn e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6669-6669 | O argumento numero 1 de VelocityFn e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7740-7740 | O argumento numero 3 de altitude e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17969-17969 | O argumento numero 2 de approximateDiameter e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1307-1307 | O argumento numero 3 de averageRainfallForPeriod e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 212-212 | O argumento numero 2 de caliber e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31163-31163 | O argumento numero 2 de circumfrence e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1539-1539 | O argumento numero 2 de cylinderBore e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13388-13388 | O argumento numero 2 de defaultMaximumHeight e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13454-13454 | O argumento numero 2 de defaultMaximumLength e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13508-13508 | O argumento numero 2 de defaultMaximumSphereRadius e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13421-13421 | O argumento numero 2 de defaultMaximumWidth e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13372-13372 | O argumento numero 2 de defaultMinimumHeight e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13438-13438 | O argumento numero 2 de defaultMinimumLength e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13489-13489 | O argumento numero 2 de defaultMinimumSphereRadius e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13405-13405 | O argumento numero 2 de defaultMinimumWidth e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7696-7696 | O argumento numero 2 de diameter e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7718-7718 | O argumento numero 3 de distance e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1381-1381 | O argumento numero 2 de effectiveRange e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1892-1892 | O argumento numero 2 de elevation e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18055-18055 | O argumento numero 3 de geometricDistance e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7552-7552 | O argumento numero 2 de height e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5012-5012 | O argumento numero 3 de highTide e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2710-2710 | O argumento numero 2 de ladenDraft e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 175-175 | O argumento numero 2 de lengthOfBroadGaugeRailway e' uma instancia de Medida de Comprimento |
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 4066-4098 |
|
consequent |