No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3154-3154 |
Computer desktop image is a subclass of image |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 448-448 |
Computer touchscreen keyboard is a subclass of image |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 864-864 |
GUI element is a subclass of image |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 890-890 |
Logo is a subclass of image |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13294-13294 |
Photograph is a subclass of image |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 884-884 |
Textual image is a subclass of image |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26210-26210 |
|