No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2881-2881 |
AppleDockPort e' uma sub-classe de ComputerPort |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2870-2870 |
USBPort e' uma sub-classe de ComputerPort |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2569-2569 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2574-2574 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2573-2573 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2568-2568 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2567-2567 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2572-2572 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2570-2570 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2575-2575 |
|