No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2879-2879 |
子類 PostingOnBlog and 上傳 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2812-2812 |
子類 UploadingAudioFile and 上傳 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2788-2788 |
子類 UploadingImage and 上傳 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2800-2800 |
子類 UploadingVideo and 上傳 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64299-64299 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64298-64298 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64301-64301 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64300-64300 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64296-64296 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64297-64297 |
|