ActiveSync
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1756-1757 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1753-1754 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1749-1751 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1759-1763 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1748-1748 | ActiveSync e' uma sub-classe de ComputerProtocol |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1770-1770 | creator MicrosoftCorporation and ActiveSync |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1767-1767 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1766-1766 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1765-1765 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1768-1768 |