Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15431-15440	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 15409-15409	Fictional text is a subclass of text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14929-14929	Short story is a subclass of fictional text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14934-14934	Mystery story is a subclass of fictional text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14945-14945	Novel is a subclass of fictional text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14950-14950	Dramatic play is a subclass of fictional text