No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3190-3190 |
Booting e' uma instancia de ComputerStatus |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2505-2505 |
DeviceFirmwareUpdateMode e' uma instancia de ComputerStatus |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2120-2120 |
HostDown e' uma instancia de ComputerStatus |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2124-2124 |
HostReady e' uma instancia de ComputerStatus |
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 |
|