No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2879-2879 |
PostingOnBlog 是 上傳 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2812-2812 |
UploadingAudioFile 是 上傳 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2788-2788 |
UploadingImage 是 上傳 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2800-2800 |
UploadingVideo 是 上傳 的 subclass |
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 |
|