Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21088-21100	ArtCritic e' um atributo de Objeto Objeto tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Objeto de Arte tempo de existencia de Objeto engloba tempo de existencia de Entidade Entidade e' uma instancia de Entidade Entidade e' uma sub-classe de Artigo Objeto e' o autor de Entidade Entidade inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15861-15861	Objeto de Arte e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3096-3096	PaintedPicture e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3121-3121	Wallpaper e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3143-3143	Sculpture e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3157-3157	Sketch e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3161-3161	Collage e' uma sub-classe de Objeto de Arte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15889-15889	RepresentationalArtWork e' uma sub-classe de Objeto de Arte