PositiveInteger(正整数) |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 742-742 | 最大的复制 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 721-721 | 最小重复 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1016-1016 | CPU的数量 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 729-729 | numberOfCustomers 的 1 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5913-5913 | 路径长度 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 72-72 | 人员运输能力 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 769-769 | 端口号 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 777-777 | 过程ID 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21683-21683 | 质子数 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1203-1203 | 滑动窗口尺寸 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 362-362 | 配价 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 25-25 | 武器携带能力 的 3 数量 是 正整数 的 instance |