No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1929-1932 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1926-1926 |
compressionRatio 的 1 数量 是 发动机 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1927-1927 |
compressionRatio 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1925-1925 |
compressionRatio 是 二元谓语 的 instance |