|
|
  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 | 啟動中 是 电脑状态 的 instance |
| 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 | 电脑状态 分拆成不相交的 准备好主持, 主持人, 和 啟動中 |
| 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 |
|
|
|