Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Media.kif 1900-1904	If an entity publishes a class holds during a time position and the class is a subclass of book, then book publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26395-26395	Book is a subclass of document
No TPTP formula. May not be expressible in strict first order.	Media.kif 1073-1073	Book is a subclass of hardcopy document
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7863-7863	Christian bible is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7874-7874	Old testament is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7878-7878	New testament is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14912-14912	Reference book is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14945-14945	Novel is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26398-26398	Guide book is a subclass of book