Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15453-15462	ContentBearingPhysical est une instance de objet exprimant un sens objet exprimant un sens est une sous-classe de FictionalText agent cognitif est l' auteur de objet exprimant un sens formule ContentBearingPhysical classe le contenu de formule formule est une instance de formule agent cognitif ne croit %n{pas} formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15431-15431	FictionalText est une sous-classe de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14928-14928	ShortStory est une sous-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14933-14933	MysteryStory est une sous-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14944-14944	Novel est une sous-classe de FictionalText
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14949-14949	DramaticPlay est une sous-classe de FictionalText