Collage |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3155-3156 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4620-4620 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3154-3154 | Collage e' uma sub-classe de Objeto de Arte |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15554-15554 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15553-15553 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15552-15552 |