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 | Booting up is an instance of computer status |
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 | Computer status is disjointly decomposed into host ready, host down, and booting up |
antecedent |