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 |
AppleIPad e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 612-612 |
AppleIPad e' uma sub-classe de TabletComputer |