No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3489-3489 |
ComputerBackingUp e' uma sub-classe de DataTransfer |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2659-2659 |
NetworkCommunication e' uma sub-classe de DataTransfer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3591-3591 |
SoftwareInstallation e' uma sub-classe de DataTransfer |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18600-18600 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18599-18599 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18598-18598 |
|