Book concept from the SUMO knowledge base

Book	*documentation* A Text that has pages and is bound
Book	is a kind of Text
Text	has axiom (=> (instance ?TEXT Text) (exists (?PART1 ?PART2) (and (part ?PART1 ?TEXT) (part ?PART2 ?TEXT) (instance ?PART1 Sentence) (instance ?PART2 Sentence) (not (equal ?PART1 ?PART2)))))
Text	*is second domain* of** authors
ContentBearingObject	has relatedInternalConcept containsInformation
	*is first domain* of** containsInformation
	*is first domain* of** equivalentContentClass
	*is first domain* of** equivalentContentInstance
	*is first domain* of** subsumesContentClass
	*is first domain* of** subsumesContentInstance
Object	*is disjoint* from** Process
	*is third domain* of** between
	*is third domain* of** capability
	*is third domain* of** connects