Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15431-15440	ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma sub-classe de FictionalText Agente Cognitivo e' o autor de Objeto Representendo Conteudo Abstrato Formula ContentBearingPhysical subsume o conteudo de Formula Formula e' uma instancia de Formula Agente Cognitivo acredita que Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15409-15409	FictionalText e' uma sub-classe de Texto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14929-14929	ShortStory e' uma sub-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14934-14934	MysteryStory e' uma sub-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14945-14945	Novel e' uma sub-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14950-14950	DramaticPlay e' uma sub-classe de FictionalText