No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2879-2879 |
Posting on blog is a subclass of uploading |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2812-2812 |
Uploading audio file is a subclass of uploading |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2788-2788 |
Uploading image is a subclass of uploading |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2800-2800 |
Uploading video is a subclass of uploading |
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 |
|