No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 654-654 |
AppleIPhonese e' uma sub-classe de AppleIPhone |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 639-639 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 638-638 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 637-637 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 640-640 |
|