No TPTP formula. May not be expressible in strict first order. | Merge.kif 15889-15889 | Representational art work is a subclass of art work |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15890-15890 | Representational art work is a subclass of icon |
![]() |