No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 745-745 |
AppleIMac e' uma sub-classe de AppleComputer |
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 628-628 |
AppleIPhone e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 816-816 |
AppleIPod e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 801-801 |
AppleMacBook e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 786-786 |
AppleMacBookAir e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 771-771 |
AppleMacBookPro e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 757-757 |
AppleMacPro e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 105-105 |
AppleMacintoshComputer e' uma sub-classe de AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64455-64455 |
|