Image(image) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28117-28119 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28116-28116 | Image is a subclass of visual content bearing object |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3150-3150 | 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 14634-14634 | 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 28120-28120 | Textual image is a subclass of image |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Music.kif 310-310 | The number 2 argument of album cover is an instance of image |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 149-149 | The number 1 argument of displayed upon is an instance of image |
consequent |
![]() |
![]() |
![]() |