Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15453-15462	If a content bearing physical is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of fictional text and a cognitive agent is the author of the kind of content bearing object, then there exists a formula such that the content bearing physical subsumes the content of the formula and the formula is an instance of formula and the cognitive agent doesn't believe the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15431-15431	Fictional text is a subclass of text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14928-14928	Short story is a subclass of fictional text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14933-14933	Mystery story is a subclass of fictional text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14944-14944	Novel is a subclass of fictional text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14949-14949	Dramatic play is a subclass of fictional text