Booting(booting up) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3204-3205 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3201-3202 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3197-3199 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3207-3209 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3186-3186 | 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 3189-3189 | |
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 3188-3188 | |
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 3192-3192 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3187-3187 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3190-3190 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3195-3195 |
appearance as argument number 4 |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3211-3211 | Computer status is disjointly decomposed into host ready, host down, and booting up |
antecedent |
![]() |
![]() |
![]() |