No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1590-1590 |
AdvancedAudioDistributionProfile e' uma sub-classe de BluetoothNetwork |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1516-1516 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1511-1511 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1510-1510 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1515-1515 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1514-1514 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1509-1509 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1512-1512 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1517-1517 |
|