Sigma KB Term Intersection

(=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FictionalText) (authors ?AGENT ?CLASS)) (exists (?CONTENT) (and (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula) (not (believes ?AGENT ?CONTENT)))))	Merge.kif 15453-15462	Wenn ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht} und ContentBearingObject ist eine teilkategorie von FictionalText und CognitiveAgent ist der schreiber von ContentBearingObject, dann es gibt Formula um ContentBearingPhysical fasst das Inhalt von Formula zusammen und Formula ist ein fall von Formula %n{nicht} und CognitiveAgent glaubt nicht, dass ** Formula
(subclass FictionalText Text)	Merge.kif 15431-15431	FictionalText ist eine teilkategorie von Text
(subclass ShortStory FictionalText)	Mid-level-ontology.kif 14928-14928	ShortStory ist eine teilkategorie von FictionalText
(subclass MysteryStory FictionalText)	Mid-level-ontology.kif 14933-14933	MysteryStory ist eine teilkategorie von FictionalText
(subclass Novel FictionalText)	Mid-level-ontology.kif 14944-14944	Novel ist eine teilkategorie von FictionalText
(subclass DramaticPlay FictionalText)	Mid-level-ontology.kif 14949-14949	DramaticPlay ist eine teilkategorie von FictionalText