No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2857-2857 |
USBCable 是 连接线 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2720-2720 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2725-2725 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2724-2724 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2719-2719 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2723-2723 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2718-2718 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2726-2726 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2721-2721 |
|