No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1391-1397 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1386-1386 |
域 按職業期間劃分的勞動力比例, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1387-1387 |
域 按職業期間劃分的勞動力比例, 2 and Attribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1388-1388 |
域 按職業期間劃分的勞動力比例, 3 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1389-1389 |
域子類 按職業期間劃分的勞動力比例, 4 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1385-1385 |
例 按職業期間劃分的勞動力比例 and QuaternaryPredicate |