LengthMeasure(Medida de Comprimento) |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 888-888 | O argumento numero 2 de totalCoastline e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 678-678 | O argumento numero 2 de totalLandBoundary e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 478-478 | O argumento numero 2 de totalLengthOfHighwaySystem e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 91-91 | O argumento numero 2 de totalLengthOfRailwaySystem e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 650-650 | O argumento numero 2 de totalLengthOfWaterways e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 680-680 | O argumento numero 2 de totalPipelineInArea e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 397-397 | O argumento numero 2 de trackWidth e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2700-2700 | O argumento numero 3 de visibilityInMeteorology e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17566-17566 | O argumento numero 2 de waterDepth e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1411-1411 | O argumento numero 2 de waveHeight e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 590-590 | O argumento numero 2 de wavelength e' uma instancia de Medida de Comprimento |
![]() |