| HostReady(host ready) | | host_ready, 准备好主持, 準備好主持 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2104-2105 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2103-2103 | Host ready is an instance of computer status |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3046-3046 | Computer status is disjointly decomposed into host ready, host down, and booting up |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28573-28573 | "准备好主持" is the printable form of host ready in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28572-28572 | "準備好主持" is the printable form of host ready in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28571-28571 | "host ready" is the printable form of host ready in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3060-3074 |
|
|
|
|