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 26407-26407	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 7864-7864	Christian bible is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7875-7875	Old testament is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7879-7879	New testament is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14913-14913	Reference book is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14946-14946	Novel is a subclass of book
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26410-26410	Guide book is a subclass of book