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