No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2881-2881 |
DockPort is a subclass of port |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2870-2870 |
USB port is a subclass of port |
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 |
|