Booting
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3208-3209 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3205-3206 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3201-3203 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3211-3213 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3190-3190 | 例 啟動中 and 電腦狀態 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3193-3193 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3198-3198 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3192-3192 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3197-3197 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3196-3196 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3191-3191 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3194-3194 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3199-3199 |
appearance as argument number 4 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3215-3215 | 不相交分解 電腦狀態, 準備好主持, 主持人 and 啟動中 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3231-3245 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3217-3229 |