totalLengthOfRailwaySystem |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 93-96 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 90-90 | 域 鐵路系統總長度, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 91-91 | 域 鐵路系統總長度, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 89-89 | 例 鐵路系統總長度 and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2511-2511 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2510-2510 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2509-2509 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58588-58588 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58587-58587 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58586-58586 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 98-105 | LengthMeasure 是 GeographicArea 的 total 鐵路系統長度 length 卡帕 SymbolicString and 例 SymbolicString and 鐵路 位於 SymbolicString and GeographicArea and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 107-115 |
|