lengthOfBroadGaugeRailway |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 177-180 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 174-174 | O argumento numero 1 de lengthOfBroadGaugeRailway e' uma instancia de Area Geografica |
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 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 173-173 | lengthOfBroadGaugeRailway e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1475-1475 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1474-1474 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1473-1473 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33971-33971 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33970-33970 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33969-33969 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 182-189 | lengthOfBroadGaugeRailway Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 191-199 |
|