No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3190-3190 |
例 啟動中 and 電腦狀態 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2505-2505 |
例 DFU 模式 and 電腦狀態 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2120-2120 |
例 主持人 and 電腦狀態 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2124-2124 |
例 準備好主持 and 電腦狀態 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16410-16410 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16409-16409 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16408-16408 |
|