PositiveInteger |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 742-742 | 域 最大的複制, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 721-721 | 域 最小重複, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1016-1016 | 域 CPU的數量, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 729-729 | 域 numberOfCustomers, 1 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5914-5914 | 域 路徑長度, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 72-72 | 域 人員運輸能力, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 769-769 | 域 端口號, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 777-777 | 域 過程ID, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21711-21711 | 域 質子數, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1203-1203 | 域 滑動窗口尺寸, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 362-362 | 域 價, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 25-25 | 域 武器攜帶能力, 3 and PositiveInteger |