No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21089-21101 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15839-15839 | Art work is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3096-3096 | Painted picture is a subclass of art work |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3121-3121 | Wallpaper is a subclass of art work |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3143-3143 | Sculpture is a subclass of art work |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3157-3157 | Sketch is a subclass of art work |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3161-3161 | Collage is a subclass of art work |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15867-15867 | Representational art work is a subclass of art work |