No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 617-617 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 616-616 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 614-615 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 618-619 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 613-613 |
IPad 是 AppleComputer 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 612-612 |
IPad 是 TabletComputer 的 subclass |