No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3154-3154 |
ComputerDesktopImage est une sous-classe de Image |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 448-448 |
ComputerTouchscreenKeyboard est une sous-classe de Image |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 864-864 |
GUIElement est une sous-classe de Image |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 890-890 |
Logo est une sous-classe de Image |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13294-13294 |
Photograph est une sous-classe de Image |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 884-884 |
TextualImage est une sous-classe de Image |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26210-26210 |
|